Mammaliaformes Rowe 1988, nom. cl. inval. see Clade Mammaliaformes Rowe 1988 [Rowe 2020]
   [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
                                   Genus †Prototomus Cope, 1874
                                   Genus †Arfia Van Valen, 1965
                                   Genus †Sinopa Leidy, 1871
                                   Genus †Gazinocyon Polly, 1996
                                   Genus †Tritemnodon Matthew, 1906
                                   Genus †Acarictis Gingerich & Deutsch, 1989
                                   Genus †Protoproviverra Lemoine, 1891
                                   Genus †Galecyon Gingerich & Deutsch, 1989
                                   Genus †Proviverra Rütimeyer, 1862
                                   Genus †Prodissopsalis Matthes, 1952
                                   Genus †Paratritemnodon Rao, 1973
                                   Genus †Pyrocyon Gingerich & Deutsch, 1989
                                   Genus †Cynohyaenodon Filhol, 1873
                                   Genus †Quercitherium Filhol, 1880
                                   Genus †Praecodens Lange-Badre, 1981
                                   Genus †Matthodon Lange-Badré & Haubold, 1990
                                   Genus †Proviverroides Bown, 1982 see Genus Sinopa Leidy, 1871
                                   Genus †Paracynohyaenodon Martin, 1906
                                   Genus †Alienetherium Lange-Badre, 1981
                                   Genus †Allopterodon Ginsburg, Arques, de Broin, le Calvez, Mouton, Obert, Prive-Gill & Roucan, 1978
                                   Genus †Eurotherium Polly & Lange-Badre, 1993
                                   Genus †Masrasector Simons & Gingerich, 1974
                                   Genus †Metasinopa Osborn, 1909
                                   Genus †Dissopsalis Pilgrim, 1910
                                   Genus †Propterodon Martin, 1906