Mammaliaformes Rowe 1988
   [crown] Class Mammalia Linnaeus, 1758 - mammals
     Subclass Theriiformes Rowe, 1988 see Division Theriiformes Rowe, 1988
       Infraclass †Triconodonta Osborn, 1888 see Order Triconodonta Osborn, 1888
         Family †Amphilestidae Osborn, 1888
           Subfamily †Amphilestinae Osborn, 1888 see Family Amphilestidae Osborn, 1888
             Genus †Phascolodon Simpson, 1925, nom. illeg. see Genus Comodon Kretzoi & Kretzoi, 2000