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 †Triconodonta Osborn, 1888 see Order Triconodonta Osborn, 1888
         Genus †Hallautherium Clemens, 1980