Class Mammalia Linnaeus, 1758 - mammals Order Primates Linnaeus, 1758 - primates Family Cercopithecidae Gray, 1821 - Old World monkeys Subfamily Colobinae Jerdon, 1867 Genus Procolobus Rochebrune, 1887 - olive colobus monkey Procolobus badius (Kerr, in Linnaeus, 1792) see Piliocolobus badius (Kerr, in Linnaeus, 1792)