Natura - nature
actualia - actual entities
Mundus Plinius - physical world
naturalia - natural bodies
[crown] Clade Biota Wagner 2004 [Wiemann, de Queiroz, Rowe, Planavsky, Anderson, Gogarten, Turner & Gauthier 2020]
Clade neomura Cavalier-Smith, 1987
Domain Eukaryota Chatton, 1925 - eukaryotes
Clade discaria Cavalier-Smith, 2021
Clade dorsates Cavalier-Smith, 2021
Clade podiates Cavalier-Smith, 2012
[crown] Clade Amorphea Adl et al. 2012 [Simpson, Medina & Adl 2020]
[crown] Clade Obazoa Brown, Sharpe, Silberman, Heiss, Lang, Simpson & Roger 2013
[crown] Clade Opisthokonta Cavalier-Smith 1987 [Simpson & Medina 2020] - animal-fungal clade
Superkingdom Holozoa Lang, O'Kelly, Nerad, Gray & Burger, 2002
Clade filozoa Shalchian-Tabrizi, Minge, Espelund, Orr, Ruden, Jakobsen & Cavalier-Smith, 2008
Kingdom Animalia Linnaeus, 1758 - animals
Clade Planulozoa Wallberg, Thollesson, Farris & Jondelius 2004
Subkingdom Bilateria Hatschek, 1888 - bilaterians
Clade Nephrozoa Jondelius, Ruiz-Trillo, Baguñà & Riutort 2002
Infrakingdom Protostomia Grobben, 1908
Superphylum Ecdysozoa Aguinaldo, Turbeville, Linford, Rivera, Garey, Raff & Lake, 1997
Panarthropoda Nielsen, 1995 - panarthropods
Tactopoda Budd, 2001
Phylum Arthropoda Siebold, 1848 - arthropods
Euarthropoda
Antennulata
Subphylum Mandibulata Snodgrass, 1938
Infraphylum Pancrustacea Zrzavý & Štys, 1997
Altocrustacea
Miracrustacea
Superclass Hexapoda Latreille, 1825
Cercophora
Class Insecta Linnaeus, 1758 - insects
Subclass Dicondylia Haeckel, 1866
Infraclass Pterygota Lang, 1888
Metapterygota
Neoptera Martynov, 1923
Eumetabola
Holometabola
Superorder Hymenopterida
Order Hymenopteraᵀ Linnaeus, 1758 - ants, bees, and wasps
Neohymenoptera
Euhymenoptera
Suborder Apocrita Gerstaecker, 1867
Aculeata Latreille, 1802
Superfamily Vespoidea Latreille, 1802
Family Formicidae Latreille, 1809 - ants
Subfamily group "formicomorph group"
Subfamily Formicinaeᵀ Latreille, 1809
Group "formicite tribal group"ᵀ
Tribe Formiciniᵀ Latreille, 1809
Genus Proformica Ruzsky, 1903
Proformica alaica Kuznetsov-Ugamsky, 1926
Proformica buddhaensis Ruzsky, 1915
Proformica caucasea (Santschi, 1925)
Proformica coriacea Kuznetsov-Ugamsky, 1927
Proformica dolichocephala Kuznetsov-Ugamsky, 1927
Proformica epinotalis Kuznetsov-Ugamsky, 1927
Proformica ferreri Bondroit, 1918
Proformica flavosetosa (Viehmeyer, 1922)
Proformica jacoti (Wheeler, 1923)
Proformica kaszabi Dlussky, 1969
Proformica kobachidzei Arnol'di, 1968
Proformica korbi (Emery, 1909)
Proformica kosswigi (Donisthorpe, 1950)
Proformica kusnezowi (Santschi, 1928)
Proformica longiseta Collingwood, 1978
Proformica mongolica (Emery, 1901)
Proformica nasuta (Nylander, 1856)
Proformica nitida Kuznetsov-Ugamsky, 1923
Proformica oculatissima (Forel, 1886)
Proformica pilosiscapa Dlussky, 1969
Proformica seraphimi Tarbinsky, 1970
Proformica similis Dlussky, 1969
Proformica splendida Dlussky, 1965
Proformica striaticeps (Forel, 1911)