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 Ferae Linnaeus, 1758
                           Order †Creodonta Cope, 1875
                             Family †Hyaenodontidae Leidy, 1869
                               Subfamily †Hyaenodontinae Leidy, 1869
                                 Tribe †Proviverrini Schlosser, 1886
                                   01 Genus †Prototomus Cope, 1874
                                   02 Genus †Arfia Van Valen, 1965
                                   03 Genus †Sinopa Leidy, 1871
                                   04 Genus †Gazinocyon Polly, 1996
                                   05 Genus †Tritemnodon Matthew, 1906
                                   06 Genus †Acarictis Gingerich & Deutsch, 1989
                                   07 Genus †Protoproviverra Lemoine, 1891
                                   08 Genus †Galecyon Gingerich & Deutsch, 1989
                                   09 Genus †Proviverra Rütimeyer, 1862
                                   10 Genus †Prodissopsalis Matthes, 1952
                                   11 Genus †Paratritemnodon Rao, 1973
                                   12 Genus †Pyrocyon Gingerich & Deutsch, 1989
                                   13 Genus †Propterodon Martin, 1906
                                   14 Genus †Cynohyaenodon Filhol, 1873
                                   15 Genus †Quercitherium Filhol, 1880
                                   16 Genus †Praecodens Lange-Badre, 1981
                                   17 Genus †Matthodon Lange-Badré & Haubold, 1990
                                   18 Genus †Proviverroides Bown, 1982 see Genus Sinopa Leidy, 1871
                                   19 Genus †Paracynohyaenodon Martin, 1906
                                   20 Genus †Alienetherium Lange-Badre, 1981
                                   21 Genus †Allopterodon Ginsburg, Arques, de Broin, le Calvez, Mouton, Obert, Prive-Gill & Roucan, 1978
                                   22 Genus †Eurotherium Polly & Lange-Badre, 1993
                                   23 Genus †Masrasector Simons & Gingerich, 1974
                                   24 Genus †Metasinopa Osborn, 1909
                                   26 Genus †Dissopsalis Pilgrim, 1910