| Formica (Coptoformica) bruni Kutter, 1967 | |
| 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) nemoralis (Dlussky, 1964) | ⇒ Formica exsecta Nylander, 1846 |
| 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) 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 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 obscurata Santschi, 1925 | |
| Formica rufa piniphila Linnaeus, 1761 | |
| Formica rufa rufa Linnaeus, 1761 | |
| Formica rufa rufopratensoides Forel, 1874 | |
| 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 (Serviformica) cinerea Mayr, 1853 | |
| Formica cinerea cinerea Mayr, 1853 | |
| 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 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) imitans Ruzsky, 1902 | Green jackknife |
| 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 (Serviformica) pyrenaea Bondroit, 1918 | |
| Formica (Serviformica) rufibarbis Fabricius, 1793 | Red barbed ant |
| Formica rufibarbis rufibarbis Fabricius, 1793 | |
| 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 aemula ♰ Heer, 1867 | Pacific duckclam |
| Formica alsatica ♰ N. Theobald, 1937 | Granulose cleftclam |
| Formica altipetens Wheeler, W.M., 1913 | Orcutt nakedclam |
| 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 atavina Heer, 1850 | Channeled duckclam |
| Formica auxillacensis ♰ L. Piton, 1935 | |
| Formica bauckhorni ♰ Meunier, 1915 | |
| Formica biophilica Trager, 2007 | |
| Formica bradleyi Wheeler, W.M., 1913 | Orcutt nakedclam |
| Formica buphthalma ♰ O. Novák, 1878 | |
| Formica canadensis Santschi, 1914 | Northern riffleshell |
| Formica cantalica ♰ L. Piton, 1935 | |
| Formica ciliata Mayr, 1886 | Cande diplodon |
| Formica clara Forel, 1886 | Atlantic diplodon |
| Formica clara clara | |
| Formica coloradensis Creighton, 1940 | |
| Formica comata Wheeler, W.M., 1909 | |
| Formica conica Fabricius, 1798 | |
| Formica cordieri Bondroit, 1917 | |
| Formica corsica Seifert, 2002 | |
| Formica dakotensis Emery, 1893 | Tapered pigtoe |
| 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 flori ♰ G. L. Mayr, 1868 | |
| Formica fossaceps Buren, 1942 | |
| Formica fragilis ♰ O. Heer, 1867 | Pacific duckclam |
| Formica francoeuri Bolton, 1995 | Lens lucine |
| Formica gibbosa ♰ (J. S. Presl, 1822) | ⇒ Dolichoderus quadridenticulatus Roger, 1862 |
| Formica glabra (Gmelin, 1790) | ⇒ Formica candida Smith, F., 1878 |
| Formica glacialis Wheeler, W.M., 1908 | Rough razor |
| Formica globiventris ♰ O. Heer, 1849 | Channeled duckclam |
| Formica gnava Buckley, 1866 | |
| 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 kollari ♰ Heer, 1867 | Pacific duckclam |
| 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 longicollis ♰ Heer, 1850 | Channeled duckclam |
| 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 microgyna Wheeler, W.M., 1903 | |
| 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 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 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 orbata ♰ Heer, 1850 | Channeled duckclam |
| Formica oreas Wheeler, W.M., 1903 | Orcutt nakedclam |
| Formica oregonensis Cole, 1938 | |
| Formica palaeopolonica ♰ Dlussky, 2008 | |
| Formica pallidefulva Latreille, 1802 | Peony |
| Formica pallidefulva nitidiventris (Latreille, 1802) | ⇒ Formica pallidefulva Latreille, 1802 |
| Formica parexsecta ♰ Dlussky & Pu..., 2014 | |
| Formica pergandei Emery, 1893 | Tapered pigtoe |
| Formica perpilosa Wheeler, W.M., 1913 | Orcutt nakedclam |
| Formica phaethusa ♰ W. M. Wheeler, 1915 | Many-line lucine |
| Formica pices Emery, 1925 | |
| Formica picipes Reich, 1793 | |
| Formica pitoni ♰ N. Theobald, 1935 | |
| Formica planipilis Creighton, 1940 | |
| Formica podzolica Francoeur, 1973 | |
| 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 rubescens (Leach, 1825) | ⇒ Formica cunicularia Latreille, 1798 |
| Formica rubicunda Emery, 1893 | Tapered pigtoe |
| Formica schaufussi (Mayr, 1866) | ⇒ Formica talbotae Wilson, 1977 |
| 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 strangulata ♰ W. M. Wheeler, 1915 | Many-line lucine |
| Formica subaenescens Emery, 1893 | Tapered pigtoe |
| Formica subnitens Creighton, 1940 | |
| Formica subpolita Mayr, 1886 | Cande diplodon |
| Formica subsericea Say, 1836 | Danglepod |
| Formica surinamensis ♰ G. C. Berendt, 1830 | |
| Formica talbotae Wilson, 1977 | Thick macoma |
| 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 vinculans Wheeler, W.M., 1913 | Orcutt nakedclam |
| Formica wheeleri Creighton, 1935 | |
| Formica xerophila Smith, M.R., 1939 | Eggleaf silktassel |
| Formica zherikhini ♰ G. M. Dlussky, 2008 | |
