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 pennantii (Waterhouse, 1838) see Piliocolobus pennantii (Waterhouse, 1838)