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
           1 Procolobus badius (Kerr, in Linnaeus, 1792) see Piliocolobus badius (Kerr, in Linnaeus, 1792)
           2 Procolobus pennantii (Waterhouse, 1838) see Piliocolobus pennantii (Waterhouse, 1838)
           3 Procolobus preussi (Matschie, 1900) see Piliocolobus preussi (Matschie, 1900)
           4 Procolobus rufomitratus (Peters, 1879) see Piliocolobus rufomitratus (Peters, 1879)
           5 Procolobus verus (van Beneden, 1838) - olive colobus
           6 Subgenus Piliocolobus Rochebrune, 1877 see Genus Piliocolobus Rochebrune, 1887
           7 Subgenus Procolobus Rochebrune, 1877 see Genus Procolobus Rochebrune, 1887