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 Ungulata Linnaeus, 1766
                          
 Mirorder Eparctocyona McKenna, 1975
                            
 Order Artiodactyla Owen, 1848 - even-toed ungulates
 see Order Cetartiodactyla Montgelard, Catzeflis & Douzery, 1997
                              
 Suborder Ruminantia Scopoli, 1777
                                
 Superfamily Cervoidea Batsch, 1788
                                  
 Family Cervidae Batsch, 1788 - deer
                                    
 Subfamily Cervinae Batsch, 1788
                                      
 Tribe †Megacerini Viret, 1961
                                        
 Genus †Arvernoceros Heintz, 1968 - Arde deer