Mammaliaformes Rowe 1988
   [crown] Class Mammalia Linnaeus, 1758 - mammals
     Subclass Theriiformes Rowe, 1988 see Division Theriiformes Rowe, 1988
       Infraclass Holotheria Wible, Rougier, Novacek, McKenna & Dashzeveg, 1995 see Clade Holotheria Wible, Rougier, Novacek, McKenna & Dashzeveg 1995
         Superlegion Trechnotheria McKenna, 1975 see Clade Trechnotheria McKenna 1975
           Legion Cladotheria McKenna, 1975 see Clade Cladotheria McKenna 1975
             Sublegion Zatheria McKenna, 1975 see Clade Zatheria McKenna 1975
               Infralegion Tribosphenida McKenna, 1975 see Subclass Boreosphenida Luo, Cifelli & Kielan-Jaworowska, 2001
                 [crown] Supercohort Theria Parker & Haswell, 1897 - therians see Subclass Theria Parker & Haswell, 1897
                   Cohort Placentalia Owen, 1837 - placentals
                     Magnorder Epitheria McKenna, 1975 see Cohort Placentalia Owen, 1837
                       Superorder Preptotheria McKenna, 1975
                         Grandorder Ungulata Linnaeus, 1766
                           Mirorder Altungulata Prothero & Schoch, 1989
                             Order Uranotheria McKenna & Bell, 1997 see Grandorder Paenungulata Simpson, 1945
                               Suborder Hyracoidea Huxley, 1869 - hyraxes see Order Hyracoidea Huxley, 1869
                                 Family Procaviidae Thomas, 1892 - hyraxes
                                   1 Genus †Prohyrax Stromer, 1926
                                   2 Genus Procavia Storr, 1780 - large-toothed rock hyraxes
                                   3 Genus Heterohyrax Gray, 1868 - gray hyraxes
                                   4 Genus †Gigantohyrax Kitching, 1965
                                   5 Genus Dendrohyrax Gray, 1868 - tree hyraxes