| Alloformica aberrans Mayr, 1877 | |
| Alloformica flavicornis Kuznetsov-Ug..., 1926 | |
| Alloformica nitidior Forel, 1904 | |
| Alloformica obscurior Dlussky, 1990 | |
| Cataglyphis abyssinica Forel, 1904 | |
| Cataglyphis abyssinicus Forel, 1904 | |
| Cataglyphis acutinodis Collingwood ..., 1996 | |
| Cataglyphis adenensis Forel, 1904 | |
| Cataglyphis adenensis bugnioni Santschi, 1929 | |
| Cataglyphis aenescens Nylander, 1849 | |
| Cataglyphis agostii Sharaf, 2007 | |
| Cataglyphis albicans Roger, 1859 | Dwarf surfclam |
| Cataglyphis albicans albicans Roger, 1859 | |
| Cataglyphis alibabae Pisarski, 1965 | |
| Cataglyphis altisquamis André, 1881 | Atlantic surfclam |
| Cataglyphis aphrodite Salata, Deme..., 2023 | |
| Cataglyphis arenaria Finzi, 1940 | |
| Cataglyphis arenarius Finzi, 1940 | |
| Cataglyphis argentata Radoszkowsky, 1876 | |
| Cataglyphis asiriensis Collingwood, 1985 | |
| Cataglyphis aurata Menozzi, 1932 | |
| Cataglyphis auratus Menozzi, 1932 | |
| Cataglyphis bazoftensis Khalili-Mogh..., 2021 | |
| Cataglyphis bellicosa Karavaiev, 1924 | |
| Cataglyphis bellicosus Karavaiev, 1924 | |
| Cataglyphis bergiana Arnoldi, 1964 | |
| Cataglyphis bergianus Arnol’di, 1964 | |
| Cataglyphis bicolor Fabricius, 1793 | Sahara Desert ant |
| Cataglyphis bicolor bicolor Fabricius, 1793 | |
| Cataglyphis bicolor rufiventris (Emery, 1925) | ⇒ Cataglyphis nodus Brullé, 1833 |
| Cataglyphis bicoloripes Walker, 1871 | |
| Cataglyphis bombycina Roger, 1859 | Saharan silver ant |
| Cataglyphis bombycina sinaitica Wheeler, W.M..., 1916 | |
| Cataglyphis bombycinus Roger, 1859 | Wavy-line astarte |
| Cataglyphis bombycinus bombycinus Roger, 1859 | |
| Cataglyphis bucharica Emery, 1925 | |
| Cataglyphis bucharicus Emery, 1925 | |
| Cataglyphis cana Santschi, 1925 | |
| Cataglyphis chionistrae Salata, Deme..., 2023 | |
| Cataglyphis cinnamomea Karavaiev, 1910 | |
| Cataglyphis cinnamomeus Karavaiev, 1910 | Hooked surfclam |
| Cataglyphis cretica Forel, 1910 | |
| Cataglyphis cugiai Menozzi, 1939 | Beautiful crassatella |
| Cataglyphis cuneinodis Arnoldi, 1964 | |
| Cataglyphis cursor Fonscolombe, 1846 | Southern acornshell |
| Cataglyphis cursor cursor Fonscolombe, 1846 | |
| Cataglyphis cursor rockingeri Forel, 1911 | |
| Cataglyphis dejdaranensis Khalili-Mogh..., 2021 | |
| Cataglyphis diehlii Forel, 1902 | |
| Cataglyphis douwesi De Haro & Co..., 2000 | |
| Cataglyphis elegantissima Arnoldi, 1968 | |
| Cataglyphis emeryi Karavaiev, 1910 | Hooked surfclam |
| Cataglyphis emmae Forel, 1909 | |
| Cataglyphis emmae emmae Forel, 1909 | |
| Cataglyphis fici Salata, Kiya..., 2021 | |
| Cataglyphis fisheri Sharaf, Coll..., 2015 | |
| Cataglyphis flavitibia Chang & He, 2002 | |
| Cataglyphis flavobrunnea Collingwood ..., 1996 | |
| Cataglyphis flavobrunneus Collingwood ..., 1996 | |
| Cataglyphis floricola Tinaut, 1993 | |
| Cataglyphis foreli Ruzsky, 1903 | Hemphill surfclam |
| Cataglyphis fortis Forel, 1902 | |
| Cataglyphis frigida André, 1881 | |
| Cataglyphis frigida persica Emery, 1906 | |
| Cataglyphis frigidus André, 1881 | Atlantic surfclam |
| Cataglyphis frigidus persicus Emery, 1906 | |
| Cataglyphis fritillariae Khalili-Mogh..., 2021 | |
| Cataglyphis gadeai De Haro & Co..., 2003 | |
| Cataglyphis glabilabia Chang & He, 2002 | |
| Cataglyphis golestanica Salata, Yazd..., 2025 | |
| Cataglyphis gracilens Santschi, 1929 | |
| Cataglyphis harteni Collingwood ..., 1996 | |
| Cataglyphis helanensis Chang & He, 2002 | |
| Cataglyphis hellenica Forel, 1886 | |
| Cataglyphis hellenicus Forel, 1886 | Transverse micro-cockle |
| Cataglyphis hispanica Emery, 1906 | |
| Cataglyphis hispanicus Emery, 1906 | |
| Cataglyphis holgerseni Collingwood ..., 1996 | |
| Cataglyphis humeya Tinaut, 1991 | Flat surfclam |
| Cataglyphis iberica Emery, 1906 | |
| Cataglyphis ibericus Emery, 1906 | |
| Cataglyphis indica Pisarski, 1961 | |
| Cataglyphis indicus Pisarski, 1961 | Dish surfclam |
| Cataglyphis isis Forel, 1913 | |
| Cataglyphis israelensis Ionescu & Eyer, 2016 | |
| Cataglyphis italica Emery, 1906 | |
| Cataglyphis italicus Emery, 1906 | |
| Cataglyphis karakalensis | ⇒ Cataglyphis bergiana Arnoldi, 1964 |
| Cataglyphis kurdistanica Pisarski, 1965 | |
| Cataglyphis kurdistanicus Pisarski, 1965 | |
| Cataglyphis laevior Santschi, 1929 | |
| Cataglyphis lirabiensis Khalili-Mogh..., 2023 | |
| Cataglyphis livida André, 1881 | |
| Cataglyphis lividus André, 1881 | Atlantic surfclam |
| Cataglyphis longipedem Eichwald, 1841 | |
| Cataglyphis lunatica Baroni Urbani, 1969 | |
| Cataglyphis lunaticus Baroni Urbani, 1969 | |
| Cataglyphis lutea Pisarski, 1967 | |
| Cataglyphis machmal Radchenko & ..., 1991 | Lost gaper |
| Cataglyphis mauritanicus Emery, 1906 | |
| Cataglyphis minima Collingwood, 1985 | |
| Cataglyphis minimus Collingwood, 1985 | |
| Cataglyphis minos Borowiec & S..., 2022 | |
| Cataglyphis niger André, 1881 | Atlantic surfclam |
| Cataglyphis nigra André, 1881 | |
| Cataglyphis nigripes Arnoldi, 1964 | Hemphill surfclam |
| Cataglyphis nodus Brullé, 1833 | |
| Cataglyphis opacior Collingwood ..., 1996 | |
| Cataglyphis otini Santschi, 1929 | |
| Cataglyphis oxiana Arnoldi, 1964 | |
| Cataglyphis pallida Mayr, 1877 | |
| Cataglyphis pallidus Mayr, 1877 | |
| Cataglyphis piligera Arnoldi, 1964 | |
| Cataglyphis piliscapa Forel, 1901 | |
| Cataglyphis piliscapus (Forel, 1901) | ⇒ Cataglyphis piliscapa Forel, 1901 |
| Cataglyphis pubescens Radchenko & ..., 2010 | |
| Cataglyphis rosenhaueri Santschi, 1925 | |
| Cataglyphis ruber Forel, 1903 | Dwarf surfclam |
| Cataglyphis rubra Forel, 1903 | |
| Cataglyphis sabulosa Kugler, J., 1981 | |
| Cataglyphis sabulosus Kugler, 1981 | Clery surfclam |
| Cataglyphis saharae Santschi, 1929 | |
| Cataglyphis savignyi Dufour, 1862 | |
| Cataglyphis semitonsa Santschi, 1929 | |
| Cataglyphis setipes Forel, 1894 | Compact astarte |
| Cataglyphis shahrekordensis Khalili-Mogh..., 2023 | |
| Cataglyphis shuaibensis Collingwood ..., 1996 | |
| Cataglyphis stigmata Radchenko & ..., 2010 | |
| Cataglyphis stigmatus Radchenko & ..., 2010 | |
| Cataglyphis takyrica Dlussky, 1990 | |
| Cataglyphis tartessica Amor & Ortega, 2014 | |
| Cataglyphis therii Santschi, 1921 | |
| Cataglyphis turcomanica Forel, 1894 | |
| Cataglyphis turcomanicus Forel, 1894 | |
| Cataglyphis urens Collingwood, 1985 | |
| Cataglyphis vaucheri Emery, 1906 | |
| Cataglyphis velox Santschi, 1929 | |
| Cataglyphis viatica Fabricius, 1787 | |
| Cataglyphis viaticoides André, 1881 | Atlantic surfclam |
| Cataglyphis viaticus Fabricius, 1787 | |
| Cataglyphis viaticus viaticus Fabricius, 1787 | |
| Cataglyphis zakharovi Radchenko, 1997 | |
| Cataglyphoides constrictus ♰ G. L. Mayr, 1868 | |
| Cataglyphoides dlusskyi ♰ Radchenko & ..., 2020 | |
| Cataglyphoides intermedius ♰ G. M. Dlussky, 2008 | |
| Conoformica bitterfeldiana ♰ G. M. Dlussky, 2008 | |
| Formica (Coptoformica) bruni Kutter, 1967 | |
| Formica (Coptoformica) brunneonitida (Dlussky, 1964) | ⇒ Formica forsslundi Lohmander, 1949 |
| Formica (Coptoformica) exsecta Nylander, 1846 | Excised wood ant |
| Formica exsecta etrusca (Nylander, 1846) | ⇒ Formica exsecta Nylander, 1846 |
| Formica exsecta exsecta Nylander, 1846 | |
| Formica exsecta rubens (Nylander, 1846) | ⇒ Formica exsecta Nylander, 1846 |
| Formica (Coptoformica) fennica Seifert, 2000 | |
| Formica (Coptoformica) foreli Bondroit, 1918 | |
| Formica (Coptoformica) forsslundi Lohmander, 1949 | Gilded wedgeclam |
| Formica (Coptoformica) longiceps (Dlussky Dlussky, 1964) | ⇒ Formica manchu Wheeler, W.M., 1929 |
| Formica (Coptoformica) mesasiatica Dlussky, 1964 | |
| Formica (Coptoformica) nemoralis (Dlussky, 1964) | ⇒ Formica exsecta Nylander, 1846 |
| Formica (Coptoformica) pisarskii Dlussky, 1964 | |
| Formica (Coptoformica) pressilabris Nylander, 1846 | Subcancellate ervilia |
| Formica (Coptoformica) suecica Adlerz, 1902 | |
| Formica (Formica) aquilonia Yarrow, 1955 | Scottish Wood Ant |
| Formica (Formica) dusmeti Emery, 1909 | |
| Formica (Formica) frontalis Santschi, 1919 | |
| Formica (Formica) glebaria (Nylander, 1846) | ⇒ Formica cunicularia Latreille, 1798 |
| Formica (Formica) japonica Motschoulsky, 1866 | |
| Formica (Formica) lugubris Zetterstedt, 1838 | Hairy wood ant |
| Formica (Formica) nigricans (Emery, 1909) | ⇒ Formica pratensis Retzius, 1783 |
| Formica (Formica) nigropratensis Betrem, 1962 | |
| Formica (Formica) paralugubris Seifert, 1996 | |
| Formica (Formica) polyctena Förster, 1850 | European Red Wood Ant |
| Formica (Formica) pratensis Retzius, 1783 | Black-backed meadow ant |
| Formica pratensis nuda Ruzsky, 1926 | |
| Formica pratensis pratensis Retzius, 1783 | |
| Formica pratensis rufoides Retzius, 1783 | |
| Formica pratensis staerckei Betrem, 1960 | |
| Formica (Formica) rufa Linnaeus, 1761 | Davidson's bush-mallow |
| Formica rufa angusticeps Staercke, 1947 | |
| Formica rufa brevisetosa Ruzsky, 1926 | |
| Formica rufa constricta Karavaiev, 1929 | |
| Formica rufa obscurata Santschi, 1925 | |
| Formica rufa piniphila Linnaeus, 1761 | |
| Formica rufa rufa Linnaeus, 1761 | |
| Formica rufa rufobrevisetosa Ruzsky, 1926 | |
| Formica rufa rufopratensoides Forel, 1874 | |
| Formica rufa tshugunovi Ruzsky, 1914 | |
| Formica (Formica) truncorum Fabricius, 1804 | Aleutian macoma |
| Formica truncorum finzii Stitz, 1939 | |
| Formica truncorum truncorum Fabricius, 1804 | |
| Formica (Iberoformica) gerardi (Bondroit, 1917) | ⇒ Iberoformica gerardi Bondroit, 1917 |
| Formica (Iberoformica) subrufa (Roger, 1859) | ⇒ Iberoformica subrufa Roger, 1859 |
| Formica (Raptiformica) sanguinea Latreille, 1798 | Blood-Red Ant |
| Formica (Serviformica) antiqua ♰ Dlussky, 1967 | |
| Formica (Serviformica) balcanina (Petrov & Col..., 1993) | ⇒ Formica cinerea Mayr, 1853 |
| Formica (Serviformica) baltica ♰ Dlussky, 1967 | |
| Formica (Serviformica) candida Smith, F., 1878 | Black bog ant |
| Formica candida formosae Emery, 1925 | |
| Formica (Serviformica) cinerea Mayr, 1853 | |
| Formica cinerea cinerea Mayr, 1853 | |
| Formica cinerea cinereoimitans Ruzsky, 1905 | |
| Formica cinerea fuscocinerea Forel, 1874 | |
| Formica cinerea italica (Finzi, 1928) | ⇒ Formica cinerea Mayr, 1853 |
| Formica (Serviformica) cinereofusca Karavaiev, 1929 | |
| Formica (Serviformica) cinereorufibarbis Forel, 1874 | |
| Formica (Serviformica) cunicularia Latreille, 1798 | |
| Formica (Serviformica) decipiens Bondroit, 1918 | |
| Formica (Serviformica) fusca (Linnaeus, 1758) | ⇒ Tetramorium caespitum Linnaeus, 1758 |
| Formica fusca alpicola Gredler, 1858 | |
| Formica fusca fusca Linnaeus, 1758 | |
| Formica fusca fuscolemani Samsinak, 1951 | |
| Formica fusca hyrcana Arnol´di, 1968 | |
| Formica fusca rufobarboides Emery, 1897 | |
| Formica fusca tombeuri Bondroit, 1917 | |
| Formica (Serviformica) fuscocinerea Forel, 1874 | |
| Formica (Serviformica) gagates Latreille, 1798 | |
| Formica (Serviformica) gagatoides Ruzsky, 1904 | |
| Formica (Serviformica) glauca Ruzsky, 1896 | |
| Formica (Serviformica) hayashi Terayama & H..., 1996 | |
| Formica (Serviformica) imitans Ruzsky, 1902 | Green jackknife |
| Formica (Serviformica) japonica Motschoulsky, 1866 | |
| Formica (Serviformica) kozlovi Dlussky, 1965 | |
| Formica (Serviformica) lefrancoisi (Bondroit, 1918) | ⇒ Formica fuscocinerea Forel, 1874 |
| Formica (Serviformica) lemani Bondroit, 1917 | |
| Formica (Serviformica) lusatica (Seifert, 1997) | ⇒ Formica clara Forel, 1886 |
| Formica (Serviformica) parvula ♰ J. S. Presl, 1822 | Atlantic razor |
| Formica (Serviformica) picea (Nylander, 1846) | ⇒ Camponotus piceus Leach, 1825 |
| Formica picea formosae Emery, 1925 | |
| Formica (Serviformica) pyrenaea Bondroit, 1918 | |
| Formica (Serviformica) rufibarbis Fabricius, 1793 | Red barbed ant |
| Formica rufibarbis clarorufibarbis Wheeler & Mann, 1916 | |
| Formica rufibarbis rufibarbis Fabricius, 1793 | |
| Formica rufibarbis subpilosorufibarbis Ruzsky, 1905 | |
| Formica (Serviformica) selysi Bondroit, 1918 | |
| Formica (Serviformica) subpilosa Ruzsky, 1902 | Green jackknife |
| Formica (Serviformica) subrufoides Forel, 1913 | |
| Formica (Serviformica) torrentium (Bernard, 1967) | ⇒ Formica selysi Bondroit, 1918 |
| Formica (Serviformica) transkaucasica (Nasonov, 1889) | ⇒ Formica candida Smith, F., 1878 |
| Formica (Serviformica) uralensis Ruzsky, 1895 | Western strawberry-cockle |
| Formica accreta Francoeur, 1973 | |
| Formica adamsi Wheeler, W.M., 1909 | Sickle jackknife |
| Formica adelungi Forel, 1904 | |
| Formica aemula ♰ Heer, 1867 | Pacific duckclam |
| Formica alsatica ♰ N. Theobald, 1937 | Granulose cleftclam |
| Formica altayensis Xia & Zheng, 1997 | |
| Formica altipetens Wheeler, W.M., 1913 | Orcutt nakedclam |
| Formica anatolica Seifert & Sc..., 2009 | |
| Formica anceps (Roger, 1863) | ⇒ Iridomyrmex anceps Roger, 1863 |
| Formica approximans Wheeler, W.M., 1933 | |
| Formica archboldi Smith, M.R., 1944 | Flat diplodon |
| Formica arenicola Buckley, 1866 | |
| Formica argentea Wheeler, W.M., 1912 | Silvery Field Ant |
| Formica aserva Forel, 1901 | Round combshell |
| Formica aseta Chang & He, 2002 | |
| Formica atavina Heer, 1850 | Channeled duckclam |
| Formica auxillacensis ♰ L. Piton, 1935 | |
| Formica bauckhorni ♰ Meunier, 1915 | |
| Formica beijingensis Wu, 1990 | |
| Formica biamoensis ♰ Dlussky, Ras..., 2015 | |
| Formica biophilica Trager, 2007 | |
| Formica bradleyi Wheeler, W.M., 1913 | Orcutt nakedclam |
| Formica breviscapa Chang & He, 2002 | |
| Formica buphthalma ♰ O. Novák, 1878 | |
| Formica canadensis Santschi, 1914 | Northern riffleshell |
| Formica cantalica ♰ L. Piton, 1935 | |
| Formica caucasicola Seifert & Sc..., 2021 | |
| Formica ceps ♰ J. F. Zhang, 1989 | |
| Formica ciliata Mayr, 1886 | Cande diplodon |
| Formica clara Forel, 1886 | Atlantic diplodon |
| Formica clara clara | |
| Formica clara sinae Emery, 1925 | |
| Formica clarissima Emery, 1925 | |
| Formica coloradensis Creighton, 1940 | |
| Formica comata Wheeler, W.M., 1909 | |
| Formica conica Fabricius, 1798 | |
| Formica cordieri Bondroit, 1917 | |
| Formica corsica Seifert, 2002 | |
| Formica dachaidanensis Chang & He, 2002 | |
| Formica dakotensis Emery, 1893 | Tapered pigtoe |
| Formica delinghaensis Chang & He, 2002 | |
| Formica demersa ♰ O. Heer, 1849 | Channeled duckclam |
| Formica densiventris Viereck, 1903 | |
| Formica difficilis Emery, 1893 | Tapered pigtoe |
| Formica dolosa Buren, 1944 | |
| Formica exercita Walker, 1859 | |
| Formica exsectoides Forel, 1886 | Allegheny mound ant |
| Formica exsectorubens Ruzsky, 1905 | |
| Formica flavifemoralis ♰ J. Zhang, 1994 | |
| Formica flori ♰ G. L. Mayr, 1868 | |
| Formica fossaceps Buren, 1942 | |
| Formica fragilis ♰ O. Heer, 1867 | Pacific duckclam |
| Formica francoeuri Bolton, 1995 | Lens lucine |
| Formica fukaii Wheeler, W.M., 1914 | |
| Formica fuscicauda Motschoulsky, 1863 | Alaska razor |
| Formica georgica Seifert, 2002 | |
| Formica gibbosa ♰ (J. S. Presl, 1822) | ⇒ Dolichoderus quadridenticulatus Roger, 1862 |
| Formica glabra (Gmelin, 1790) | ⇒ Formica candida Smith, F., 1878 |
| Formica glabridorsis Santschi, 1925 | |
| Formica glacialis Wheeler, W.M., 1908 | Rough razor |
| Formica globiventris ♰ O. Heer, 1849 | Channeled duckclam |
| Formica gnava Buckley, 1866 | |
| Formica gravelyi Mukerjee, 1930 | Transparent razor |
| Formica gravida ♰ O. Heer, 1849 | Channeled duckclam |
| Formica gulosa (Fabricius, 1775) | ⇒ Myrmecia gulosa Fabricius, 1775 |
| Formica gustawi ♰ G. M. Dlussky, 2002 | |
| Formica helvetica Seifert, 2021 | |
| Formica heteroptera ♰ T. D. A. Coc..., 1920 | |
| Formica hewitti Wheeler, W.M., 1917 | Sickle jackknife |
| Formica horrida ♰ W. M. Wheeler, 1915 | Many-line lucine |
| Formica immersa ♰ Heer, 1850 | Channeled duckclam |
| Formica impexa Wheeler, W.M., 1905 | |
| Formica incerta Buren, 1944 | Uncertain Field Ant |
| Formica incisa (Smith, F., 1858) | ⇒ Lasius bicornis Foerster, 1850 |
| Formica integroides Wheeler, W.M., 1913 | Orcutt nakedclam |
| Formica kashmirica Stärcke, 1935 | |
| Formica kollari ♰ Heer, 1867 | Pacific duckclam |
| Formica kupyanskayae Bolton, 1995 | Lens lucine |
| Formica kutscheri ♰ G. M. Dlussky, 2008 | |
| Formica laeviceps Creighton, 1940 | |
| Formica lasioides Emery, 1893 | Tapered pigtoe |
| Formica latinodosa ♰ N. Theobald, 1937 | Granulose cleftclam |
| Formica lavateri ♰ O. Heer, 1849 | Channeled duckclam |
| Formica lavateri major ♰ Heer, 1867 | |
| Formica lepida Wheeler, W.M., 1913 | Orcutt nakedclam |
| Formica linquensis ♰ J. F. Zhang, 1989 | |
| Formica liogaster Chang & He, 2002 | |
| Formica liopthalma Chang & He, 2002 | |
| Formica litoralis Kuznetsov-Ug..., 1926 | |
| Formica longicollis ♰ Heer, 1850 | Channeled duckclam |
| Formica longipes (Jerdon, 1851) | ⇒ Anoplolepis gracilipes Smith, 1857 |
| Formica longiventris Heer, 1850 | Channeled duckclam |
| Formica lucida ♰ C. G. Giebel, 1856 | Minor jackknife |
| Formica luteola ♰ J. S. Presl, 1822 | Atlantic razor |
| Formica macrocephala ♰ (Heer, 1850) | ⇒ Camponotus macrocephalus Erichson, 1842 |
| Formica macrognatha ♰ J. S. Presl, 1822 | Atlantic razor |
| Formica macrophthalma ♰ Heer, 1850 | Channeled duckclam |
| Formica maculipennis ♰ N. Theobald, 1935 | |
| Formica manchu Wheeler, W.M., 1929 | |
| Formica manni Wheeler, W.M., 1913 | Orcutt nakedclam |
| Formica martynovi ♰ V. V. Popov, 1933 | California jackknife |
| Formica microgyna Wheeler, W.M., 1903 | |
| Formica miniocca Chang & He, 2002 | |
| Formica minuta Lowne, 1865 | Rosy jackknife |
| Formica moki Wheeler, W.M., 1906 | |
| Formica montana (Wheeler, W.M., 1910) | ⇒ Formica lugubris Zetterstedt, 1838 |
| Formica mucescens Wheeler, W.M., 1913 | Orcutt nakedclam |
| Formica naefi Kutter, 1957 | |
| Formica nasuta (Nylander, 1856) | ⇒ Proformica nasuta Nylander, 1856 |
| Formica neoclara Emery, 1893 | Tapered pigtoe |
| Formica neogagates Viereck, 1903 | New World Black Ant |
| Formica neorufibarbis Emery, 1893 | Tapered pigtoe |
| Formica nepticula Wheeler, W.M., 1905 | |
| Formica nigra ♰ J. S. Presl, 1822 | Atlantic razor |
| Formica nigriceps (Smith, 1858) | ⇒ Camponotus nigriceps Smith, F., 1858 |
| Formica nitidiventris (Emery, 1893) | ⇒ Formica talbotae Wilson, 1977 |
| Formica oblita ♰ Heer, 1867 | Pacific duckclam |
| Formica obscura ♰ (O. Heer, 1849) | ⇒ Dolichoderus satanus Bolton, 1995 |
| Formica obscuripes Forel, 1886 | Thatching ant |
| Formica obscuriventris Mayr, 1870 | Northern Red Wood Ant |
| Formica obsidiana Emery, 1923 | Dwarf tiger lucine |
| Formica obtecta ♰ O. Heer, 1849 | Channeled duckclam |
| Formica obtusopilosa Emery, 1893 | Tapered pigtoe |
| Formica obvoluta ♰ O. Heer, 1849 | Channeled duckclam |
| Formica occulta Francoeur, 1973 | |
| Formica ocella Heer, 1850 | Channeled duckclam |
| Formica oculata ♰ (O. Heer, 1849) | ⇒ Opisthopsis panops Bolton, 1995 |
| Formica opaciventris Emery, 1893 | Tapered pigtoe |
| Formica ophthalmica Heer, 1850 | Channeled duckclam |
| Formica orangea Seifert & Sc..., 2009 | |
| Formica orbata ♰ Heer, 1850 | Channeled duckclam |
| Formica oreas Wheeler, W.M., 1903 | Orcutt nakedclam |
| Formica oregonensis Cole, 1938 | |
| Formica ovala ♰ J. F. Zhang, 1989 | |
| Formica ovata Reich, 1793 | |
| Formica pacifica Francoeur, 1973 | |
| Formica palaeopolonica ♰ Dlussky, 2008 | |
| Formica paleosibirica ♰ Dlussky, Ras..., 2015 | |
| Formica pallidefulva Latreille, 1802 | Peony |
| Formica pallidefulva nitidiventris (Latreille, 1802) | ⇒ Formica pallidefulva Latreille, 1802 |
| Formica pamirica Dlussky, 1965 | |
| Formica parexsecta ♰ Dlussky & Pu..., 2014 | |
| Formica pergandei Emery, 1893 | Tapered pigtoe |
| Formica perpilosa Wheeler, W.M., 1913 | Orcutt nakedclam |
| Formica persica Seifert & Sc..., 2009 | |
| Formica phaethusa ♰ W. M. Wheeler, 1915 | Many-line lucine |
| Formica pices Emery, 1925 | |
| Formica pices formosae Emery, 1925 | |
| Formica picipes Reich, 1793 | |
| Formica pitoni ♰ N. Theobald, 1935 | |
| Formica planipilis Creighton, 1940 | |
| Formica podzolica Francoeur, 1973 | |
| Formica postoculata Kennedy & De..., 1937 | Chalky macoma |
| Formica primitiva ♰ O. Heer, 1849 | Channeled duckclam |
| Formica primordialis ♰ O. Heer, 1849 | Channeled duckclam |
| Formica procera ♰ O. Heer, 1849 | Channeled duckclam |
| Formica propinqua Creighton, 1940 | |
| Formica puberula Emery, 1893 | Tapered pigtoe |
| Formica pulchella ♰ O. Heer, 1849 | Channeled duckclam |
| Formica quadrata ♰ F. Holl, 1829 | Beveled macoma |
| Formica querquetulana Kennedy & De..., 1937 | Sleek macoma |
| Formica radchenkoi ♰ G. M. Dlussky, 2008 | |
| Formica ravida Creighton, 1940 | |
| Formica ribbeckei Radchenko & ..., 2021 | |
| Formica robusta ♰ F. M. Carpenter, 1930 | Fine-line lucine |
| Formica rubescens (Leach, 1825) | ⇒ Formica cunicularia Latreille, 1798 |
| Formica rubicunda Emery, 1893 | Tapered pigtoe |
| Formica ruficeps Motschoulsky, 1863 | Alaska razor |
| Formica rufolucida Collingwood, 1962 | Middendorff macoma |
| Formica schardj Forskål, 1775 | |
| Formica schaufussi (Mayr, 1866) | ⇒ Formica talbotae Wilson, 1977 |
| Formica sentschuensis Ruzsky, 1915 | Oval macoma |
| Formica sepulta ♰ N. Theobald, 1937 | Granulose cleftclam |
| Formica serresi ♰ N. Theobald, 1937 | Granulose cleftclam |
| Formica seuberti ♰ Heer, 1850 | Channeled duckclam |
| Formica sibylla Wheeler, W.M., 1913 | Orcutt nakedclam |
| Formica sinae Emery, 1925 | |
| Formica sinensis Wheeler, W.M., 1913 | Orcutt nakedclam |
| Formica strangulata ♰ W. M. Wheeler, 1915 | Many-line lucine |
| Formica subaenescens Emery, 1893 | Tapered pigtoe |
| Formica subnitens Creighton, 1940 | |
| Formica subpicea Motschoulsky, 1863 | Alaska razor |
| Formica subpolita Mayr, 1886 | Cande diplodon |
| Formica subsericea Say, 1836 | Danglepod |
| Formica surinamensis ♰ G. C. Berendt, 1830 | |
| Formica talbotae Wilson, 1977 | Thick macoma |
| Formica tarimica Seifert & Sc..., 2009 | |
| Formica thoracica Olivier, 1792 | Arctic wedgeclam |
| Formica tianshanica Seifert & Sc..., 2009 | |
| Formica tibetana Schultz & Se..., 2025 | |
| Formica transcaucasica Nasonov, 1889 | |
| Formica transkaukasica Nasonov, 1889 | |
| Formica trigona ♰ J. S. Presl, 1822 | Atlantic razor |
| Formica tripartita ♰ N. Theobald, 1937 | Granulose cleftclam |
| Formica truncicola (Creighton, 1940) | ⇒ Formica truncorum Fabricius, 1804 |
| Formica ulkei Emery, 1893 | Tapered pigtoe |
| Formica ungeri ♰ O. Heer, 1849 | Channeled duckclam |
| Formica ussuriensis Seifert, 2021 | |
| Formica villiscapa Chang & He, 2002 | |
| Formica vinculans Wheeler, W.M., 1913 | Orcutt nakedclam |
| Formica wheeleri Creighton, 1935 | |
| Formica wongi Wu, 1990 | |
| Formica xerophila Smith, M.R., 1939 | Eggleaf silktassel |
| Formica yessensis Wheeler, W.M., 1913 | Orcutt nakedclam |
| Formica yoshiokae Wheeler, W.M., 1933 | |
| Formica zherikhini ♰ G. M. Dlussky, 2008 | |
| Glaphyromyrmex oligocenicus ♰ W. M. Wheeler, 1915 | Many-line lucine |
| Iberoformica gerardi Bondroit, 1917 | |
| Iberoformica subrufa Roger, 1859 | |
| Leucotaphus cockerelli ♰ Donisthorpe, 1920 | Orb diplodon |
| Leucotaphus donisthorpei ♰ G. M. Dlussky, 2014 | |
| Leucotaphus gurnetensis ♰ T. D. A. Coc..., 1915 | |
| Leucotaphus permancus ♰ T. D. A. Coc..., 1927 | Rainbow tellin |
| Polyergus breviceps Emery, 1893 | Broad-headed Amazon ant |
| Polyergus longicornis (Smith, 1947) | ⇒ Polyergus lucidus Mayr, 1870 |
| Polyergus lucidus Mayr, 1870 | Shining Amazon ant |
| Polyergus mexicanus Forel, 1899 | Western Amazon ant |
| Polyergus nigerrimus Marikovsky, 1963 | |
| Polyergus rufescens Latreille, 1798 | European Amazon ant |
| Polyergus rufescens rufescens Latreille, 1798 | |
| Polyergus samurai Yano, 1911 | Iridescent lilliput |
| Polyergus texana Buckley, 1866 | |
| Proformica alaica Kuznetsov-Ug..., 1926 | |
| Proformica borowieci Lebas, Galko..., 2023 | |
| Proformica buddhaensis Ruzsky, 1915 | Oval macoma |
| Proformica caucasea Santschi, 1925 | |
| Proformica cerdanyensis Galkowski, L..., 2022 | |
| Proformica chelmosensis Lebas & Galk..., 2019 | |
| Proformica coriacea Kuznetsov-Ug..., 1927 | Flat mysella |
| Proformica dolichocephala Kuznetsov-Ug..., 1927 | Flat mysella |
| Proformica epinotalis Kuznetsov-Ug..., 1927 | Flat mysella |
| Proformica ferreri Bondroit, 1918 | |
| Proformica flavosetosa Viehmeyer, 1922 | |
| Proformica jacoti Wheeler, W.M., 1923 | Favored tellin |
| Proformica kaszabi Dlussky, 1969 | |
| Proformica kobachidzei Arnoldi, 1968 | |
| Proformica korbi Emery, 1909 | |
| Proformica kosswigi Donisthorpe, 1950 | |
| Proformica kusnezowi Santschi, 1928 | |
| Proformica lebasi Borowiec & S..., 2022 | |
| Proformica longipilosa Galkowski, L..., 2017 | |
| Proformica longiseta Collingwood, 1978 | |
| Proformica mongolica Emery, 1901 | |
| Proformica muusensis Zhu, Wu, Dua..., 2022 | |
| Proformica nasuta Nylander, 1856 | |
| Proformica nasuta metalica Kuznetsov-Ug..., 1923 | |
| Proformica nasuta nasuta Nylander, 1856 | |
| Proformica nasuta syrdariana Santschi, 1928 | |
| Proformica nitida Kuznetsov-Ug..., 1923 | |
| Proformica oculatissima Forel, 1886 | Transverse micro-cockle |
| Proformica ossetica Dubovikov, 2005 | |
| Proformica pilosiscapa Dlussky, 1969 | |
| Proformica seraphimi Tarbinsky, 1970 | |
| Proformica similis Dlussky, 1969 | |
| Proformica splendida Dlussky, 1965 | |
| Proformica striaticeps Forel, 1911 | |
| Protoformica proformicoides ♰ G. M. Dlussky, 1967 | |
| Rossomyrmex anatolicus Tinaut, 2007 | |
| Rossomyrmex minuchae Tinaut, 1981 | |
| Rossomyrmex proformicarium Arnoldi, 1928 | |
| Rossomyrmex proformicarum Arnoldi, 1928 | Smooth tellin |
| Rossomyrmex quandratinodum Xia & Zheng, 1995 | |
| Rossomyrmex quandratinodus Xia & Zheng, 1995 | |
