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 rufomitratus (Peters, 1879) see Piliocolobus rufomitratus (Peters, 1879)