| Formica (Coptoformica) bruni Kutter, 1967 | |
| Formica (Coptoformica) exsecta Nylander, 1846 | Excised wood ant |
| Formica exsecta fukaii Wheeler, 1914 | |
| Formica (Coptoformica) fennica Seifert, 2000 | |
| Formica (Coptoformica) foreli Bondroit, 1918 | |
| Formica (Coptoformica) forsslundi Lohmander, 1949 | Gilded wedgeclam |
| Formica (Coptoformica) mesasiatica Dlussky, 1964 | |
| 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) japonica Motschoulsky, 1866 | |
| Formica (Formica) lugubris Zetterstedt, 1838 | Hairy wood ant |
| 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 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 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 (Raptiformica) sanguinea Latreille, 1798 | Blood-Red Ant |
| Formica (Serviformica) candida Smith, F., 1878 | Black bog ant |
| Formica (Serviformica) cinerea Mayr, 1853 | |
| Formica cinerea cinereoimitans Ruzsky, 1905 | |
| Formica (Serviformica) cinereofusca Karavaiev, 1929 | |
| 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 fuscolemani Samsinak, 1951 | |
| Formica fusca hyrcana Arnol´di, 1968 | |
| Formica fusca maura Santschi, 1929 | |
| 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) kozlovi Dlussky, 1965 | |
| Formica (Serviformica) lemani Bondroit, 1917 | |
| Formica (Serviformica) picea (Nylander, 1846) | ⇒ Camponotus piceus Leach, 1825 |
| Formica (Serviformica) pyrenaea Bondroit, 1918 | |
| Formica (Serviformica) rufibarbis Fabricius, 1793 | Red barbed ant |
| Formica rufibarbis clarorufibarbis Wheeler & Mann, 1916 | |
| Formica rufibarbis subpilosorufibarbis Ruzsky, 1905 | |
| Formica (Serviformica) selysi Bondroit, 1918 | |
| Formica (Serviformica) subpilosa Ruzsky, 1902 | Green jackknife |
| 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 adamsi alpina Wheeler, 1909 | |
| Formica adamsi whymperi Wheeler, 1917 | |
| Formica adelungi Forel, 1904 | |
| Formica aerata Francoeur, 1973 | Grey field ant |
| Formica altayensis Xia & Zheng, 1997 | |
| Formica altipetens Wheeler, W.M., 1913 | Orcutt nakedclam |
| Formica anatolica Seifert & Sc..., 2009 | |
| 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 aterrima Cresson, 1865 | Winged surfclam |
| Formica beijingensis Wu, 1990 | |
| Formica biophilica Trager, 2007 | |
| Formica bradleyi Wheeler, W.M., 1913 | Orcutt nakedclam |
| Formica breviscapa Chang & He, 2002 | |
| Formica browni Francoeur, 1973 | |
| Formica californica (Creighton, 1950) | ⇒ Formica adamsi Wheeler, W.M., 1909 |
| Formica calviceps Cole, 1954 | |
| Formica canadensis Santschi, 1914 | Northern riffleshell |
| Formica ciliata Mayr, 1886 | Cande diplodon |
| Formica clara Forel, 1886 | Atlantic diplodon |
| Formica clara sinae Emery, 1925 | |
| Formica clarissima Emery, 1925 | |
| Formica coloradensis Creighton, 1940 | |
| Formica comata Wheeler, W.M., 1909 | |
| Formica connecticutensis Buckley, 1866 | |
| Formica corsica Seifert, 2002 | |
| Formica creightoni Buren, 1968 | |
| Formica criniventris Wheeler, W.M., 1912 | |
| Formica curiosa Creighton, 1935 | Concentric ervilia |
| Formica dachaidanensis Chang & He, 2002 | |
| Formica dakotensis Emery, 1893 | Tapered pigtoe |
| Formica delinghaensis Chang & He, 2002 | |
| Formica densiventris Viereck, 1903 | |
| Formica difficilis Emery, 1893 | Tapered pigtoe |
| Formica dirksi Wing, 1949 | Shining ervilia |
| Formica dislocata Say, 1836 | Danglepod |
| Formica dolosa Buren, 1944 | |
| Formica emeryi Wheeler, W.M., 1913 | Orcutt nakedclam |
| Formica exsectaoides | |
| Formica exsectoides Forel, 1886 | Allegheny mound ant |
| Formica ferocula Wheeler, W.M., 1913 | Orcutt nakedclam |
| Formica foreliana Wheeler, W.M., 1913 | Orcutt nakedclam |
| Formica fossaceps Buren, 1942 | |
| Formica francoeuri Bolton, 1995 | Lens lucine |
| Formica fukaii Wheeler, W.M., 1914 | |
| Formica fuliginothorax Blacker, 1992 | Pacific razor |
| Formica georgica Seifert, 2002 | |
| Formica glabridorsis Santschi, 1925 | |
| Formica glacialis Wheeler, W.M., 1908 | Rough razor |
| Formica gnava Buckley, 1866 | |
| Formica gynocrates Snelling, R...., 1985 | |
| Formica hewitti Wheeler, W.M., 1917 | Sickle jackknife |
| Formica impexa Wheeler, W.M., 1905 | |
| Formica incerta Buren, 1944 | Uncertain Field Ant |
| Formica indianensis Cole, 1940 | |
| Formica integra Nylander, 1856 | Oblique jackknife clam |
| Formica integroides Wheeler, W.M., 1913 | Orcutt nakedclam |
| Formica knighti Buren, 1944 | Atlantic jackknife |
| Formica kupyanskayae Bolton, 1995 | Lens lucine |
| Formica laeviceps Creighton, 1940 | |
| Formica lasioides Emery, 1893 | Tapered pigtoe |
| Formica lepida Wheeler, W.M., 1913 | Orcutt nakedclam |
| Formica limata Wheeler, W.M., 1913 | Orcutt nakedclam |
| Formica lincecumii Buckley, 1866 | |
| Formica liogaster Chang & He, 2002 | |
| Formica liopthalma Chang & He, 2002 | |
| Formica litoralis Kuznetsov-Ug..., 1926 | |
| Formica longipilosa Francoeur, 1973 | |
| Formica manchu Wheeler, W.M., 1929 | |
| Formica manni Wheeler, W.M., 1913 | Orcutt nakedclam |
| Formica microgyna Wheeler, W.M., 1903 | |
| Formica microphthalma Francoeur, 1973 | |
| Formica miniocca Chang & He, 2002 | |
| Formica moki Wheeler, W.M., 1906 | |
| Formica montana (Wheeler, W.M., 1910) | ⇒ Formica lugubris Zetterstedt, 1838 |
| Formica morsei Wheeler, W.M., 1906 | |
| Formica mucescens Wheeler, W.M., 1913 | Orcutt nakedclam |
| Formica naefi Kutter, 1957 | |
| 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 nevadensis Wheeler, W.M., 1904 | |
| Formica nitidiventris (Emery, 1893) | ⇒ Formica talbotae Wilson, 1977 |
| Formica nortonii Buckley, 1866 | |
| Formica novaanglae Buckley, 1866 | |
| Formica obscuripes Forel, 1886 | Thatching ant |
| Formica obscuriventris Mayr, 1870 | Northern Red Wood Ant |
| Formica obscuriventris clivia Creighton, 1940 | |
| Formica obtusopilosa Emery, 1893 | Tapered pigtoe |
| Formica occidentalis (Buckley, 1866) | ⇒ Formica moki Wheeler, W.M., 1906 |
| Formica occulta Francoeur, 1973 | |
| Formica opaciventris Emery, 1893 | Tapered pigtoe |
| Formica orangea Seifert & Sc..., 2009 | |
| Formica oreas Wheeler, W.M., 1903 | Orcutt nakedclam |
| Formica oreas comptula Wheeler, 1913 | |
| Formica oregonensis Cole, 1938 | |
| Formica pachucana Francoeur, 1973 | |
| Formica pacifica Francoeur, 1973 | |
| Formica pallidefulva Latreille, 1802 | Peony |
| Formica pamirica Dlussky, 1965 | |
| Formica pergandei Emery, 1893 | Tapered pigtoe |
| Formica perpilosa Wheeler, W.M., 1913 | Orcutt nakedclam |
| Formica persica Seifert & Sc..., 2009 | |
| Formica planipilis Creighton, 1940 | |
| Formica podzolica Francoeur, 1973 | |
| Formica politurata Buckley, 1866 | |
| Formica postoculata Kennedy & De..., 1937 | Chalky macoma |
| Formica prociliata Kennedy & De..., 1937 | Chalky macoma |
| Formica propatula Francoeur, 1973 | |
| Formica propinqua Creighton, 1940 | |
| Formica puberula Emery, 1893 | Tapered pigtoe |
| Formica pulla Francoeur, 1973 | |
| Formica querquetulana Kennedy & De..., 1937 | Sleek macoma |
| Formica ravida Creighton, 1940 | |
| Formica reflexa Buren, 1942 | |
| Formica retecta Francoeur, 1973 | |
| Formica robusta ♰ F. M. Carpenter, 1930 | Fine-line lucine |
| Formica rubicunda Emery, 1893 | Tapered pigtoe |
| Formica ruficeps Motschoulsky, 1863 | Alaska razor |
| Formica saccharivora Linnaeus, 1758 | Gray bushmallow |
| Formica saxicola Buckley, 1866 | |
| Formica schaufussi (Mayr, 1866) | ⇒ Formica talbotae Wilson, 1977 |
| Formica scitula Wheeler, W.M., 1913 | Orcutt nakedclam |
| Formica sentschuensis Ruzsky, 1915 | Oval macoma |
| Formica sibylla Wheeler, W.M., 1913 | Orcutt nakedclam |
| Formica sinensis Wheeler, W.M., 1913 | Orcutt nakedclam |
| Formica spatulata Buren, 1944 | Atlantic jackknife |
| Formica subaenescens Emery, 1893 | Tapered pigtoe |
| Formica subcyanea Wheeler, W.M., 1913 | Orcutt nakedclam |
| Formica subelongata Francoeur, 1973 | |
| Formica subintegra Wheeler, W.M., 1908 | Rough razor |
| Formica subnitens Creighton, 1940 | |
| Formica subpolita Mayr, 1886 | Cande diplodon |
| Formica subsericea Say, 1836 | Danglepod |
| Formica subspinosa Buckley, 1866 | |
| Formica talbotae Wilson, 1977 | Thick macoma |
| Formica tarimica Seifert & Sc..., 2009 | |
| Formica tenuissima Buckley, 1866 | |
| Formica tianshanica Seifert & Sc..., 2009 | |
| Formica transmontanis Francoeur, 1973 | |
| Formica triangularis Say, 1836 | Danglepod |
| Formica ulkei Emery, 1893 | Tapered pigtoe |
| Formica villiscapa Chang & He, 2002 | |
| Formica vinculans Wheeler, W.M., 1913 | Orcutt nakedclam |
| Formica virginiana Buckley, 1866 | |
| Formica wheeleri Creighton, 1935 | |
| Formica whymperi (Wheeler, 1917) | ⇒ Formica adamsi Wheeler, W.M., 1909 |
| 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 | |
