life see Clade Biota Wagner 2004 [Wiemann, de Queiroz, Rowe, Planavsky, Anderson, Gogarten, Turner & Gauthier 2020]
   Eukaryota Chatton, 1925 - eukaryotes see Domain Eukaryota Chatton, 1925
     Metazoa Haeckel 1874 - multicellular animals see Kingdom Animalia Linnaeus, 1758
       Bilateria Hatschek, 1888 - bilaterians see Subkingdom Bilateria Hatschek, 1888
         Nephrozoa Jondelius, Ruiz-Trillo, Baguñà & Riutort 2002
           Deuterostomia Grobben, 1908 - deuterostomes see Infrakingdom Deuterostomia Grobben, 1908
             Phylum Chordata Bateson, 1885 - chordates
               Subphylum Vertebrata Cuvier, 1812 - vertebrates see Infraphylum Vertebrata Lamarck, 1801
                 Infraphylum Gnathostomata Gegenbaur, 1874 - jawed vertebrates see Superclass Gnathostomata Gegenbaur, 1874
                   Class Osteichthyes Huxley, 1880 - bony fishes and tetrapods see Clade Osteichthyes Huxley 1880 [Moore & Near 2020]
                     Subclass Sarcopterygii Romer, 1955 - lobe-finned fishes and tetrapods see [unranked] Sarcopterygii Romer, 1955
                       Infraclass Tetrapodomorpha Ahlberg, 1991 see [unranked] Tetrapodomorpha Ahlberg, 1991
                         Osteolepidida Boulenger 1901 [Cloutier & Ahlberg 1996]
                           Eotetrapodiformes Coates & Friedman, 2010
                             Elpistostegalia Camp & Allison, 1961
                               Superclass Tetrapoda Goodrich, 1930 - tetrapods see Clade Tetrapoda Hatschek & Cori 1896 [Gauthier, Kluge & Rowe 1988], nom. cl. inval.
                                 Class Neotetrapoda Gaffney, 1979
                                   Superorder Reptiliomorpha Säve-Söderbergh, 1934 see [unranked] Reptiliomorpha Säve-Söderbergh, 1934
                                     Batrachosauria
                                       Order Unnamed
                                         Series Amniota Haeckel, 1866 see Clade Amniota Haeckel 1866 [Laurin & Reisz 2020]
                                           Class Synapsida Osborn, 1903 see Clade Synapsida Osborn 1903 [Gauthier et al. 1989], nom. cl. inval.
                                             Order Unnamed
                                               Suborder Unnamed
                                                 Order Therapsida Broom, 1905 see [unranked] Therapsida Broom, 1905
                                                   Theriodontia Owen, 1876
                                                     Suborder †Cynodontia Owen, 1861 - cynodonts see Clade Cynodontia Owen 1861 [Gauthier, Kluge & Rowe 1988], nom. cl. inval.
                                                       Epicynodontia Hopson & Kitching 2001
                                                         Eucynodontia Kemp 1982 [Rowe 1993]
                                                           Infraorder Probainognathia see [unranked] Probainognathia Hopson, 1990
                                                             Infrasuborder Mammaliamorpha see Clade Mammaliamorpha Rowe 1988, nom. cl. inval.
                                                               Family †Tritylodontidae Cope