| Cataglyphis cursor Fonscolombe, 1846 | Southern acornshell |
| Cataglyphis cursor cursor Fonscolombe, 1846 | |
| Cataglyphis iberica Emery, 1906 | |
| Cataglyphis piliscapa Forel, 1901 | |
| Cataglyphis piliscapus (Forel, 1901) | ⇒ Cataglyphis piliscapa Forel, 1901 |
| Cataglyphis viaticoides André, 1881 | Atlantic surfclam |
| Formica (Coptoformica) bruni Kutter, 1967 | |
| Formica (Coptoformica) exsecta Nylander, 1846 | Excised wood ant |
| Formica (Coptoformica) foreli Bondroit, 1918 | |
| Formica (Coptoformica) forsslundi Lohmander, 1949 | Gilded wedgeclam |
| Formica (Coptoformica) pressilabris Nylander, 1846 | Subcancellate ervilia |
| Formica (Coptoformica) suecica Adlerz, 1902 | |
| Formica (Formica) aquilonia Yarrow, 1955 | Scottish Wood Ant |
| Formica (Formica) glebaria (Nylander, 1846) | ⇒ Formica cunicularia Latreille, 1798 |
| Formica (Formica) lugubris Zetterstedt, 1838 | Hairy wood ant |
| 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 obscurata Santschi, 1925 | |
| Formica rufa rufopratensoides Forel, 1874 | |
| Formica (Formica) truncorum Fabricius, 1804 | Aleutian macoma |
| 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) candida Smith, F., 1878 | Black bog ant |
| Formica (Serviformica) cinerea Mayr, 1853 | |
| 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 (Serviformica) fuscocinerea Forel, 1874 | |
| Formica (Serviformica) gagates Latreille, 1798 | |
| Formica (Serviformica) gagatoides Ruzsky, 1904 | |
| Formica (Serviformica) lemani Bondroit, 1917 | |
| Formica (Serviformica) lusatica (Seifert, 1997) | ⇒ Formica clara Forel, 1886 |
| Formica (Serviformica) picea (Nylander, 1846) | ⇒ Camponotus piceus Leach, 1825 |
| Formica (Serviformica) pyrenaea Bondroit, 1918 | |
| Formica (Serviformica) rufibarbis Fabricius, 1793 | Red barbed ant |
| Formica (Serviformica) 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 alsatica ♰ N. Theobald, 1937 | Granulose cleftclam |
| Formica altipetens Wheeler, W.M., 1913 | Orcutt nakedclam |
| Formica argentea Wheeler, W.M., 1912 | Silvery Field Ant |
| Formica aserva Forel, 1901 | Round combshell |
| Formica auxillacensis ♰ L. Piton, 1935 | |
| Formica bauckhorni ♰ Meunier, 1915 | |
| Formica bradleyi Wheeler, W.M., 1913 | Orcutt nakedclam |
| Formica canadensis Santschi, 1914 | Northern riffleshell |
| Formica cantalica ♰ L. Piton, 1935 | |
| Formica ciliata Mayr, 1886 | Cande diplodon |
| Formica clara Forel, 1886 | Atlantic diplodon |
| Formica coloradensis Creighton, 1940 | |
| Formica comata Wheeler, W.M., 1909 | |
| Formica conica Fabricius, 1798 | |
| 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 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 helvetica Seifert, 2021 | |
| Formica hewitti Wheeler, W.M., 1917 | Sickle jackknife |
| 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 laeviceps Creighton, 1940 | |
| Formica lasioides Emery, 1893 | Tapered pigtoe |
| Formica latinodosa ♰ N. Theobald, 1937 | Granulose cleftclam |
| Formica lavateri ♰ O. Heer, 1849 | Channeled duckclam |
| Formica lepida Wheeler, W.M., 1913 | Orcutt nakedclam |
| Formica longicollis ♰ Heer, 1850 | Channeled duckclam |
| 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 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 nigriceps (Smith, 1858) | ⇒ Camponotus nigriceps Smith, F., 1858 |
| Formica nitidiventris (Emery, 1893) | ⇒ Formica talbotae Wilson, 1977 |
| Formica obscuripes Forel, 1886 | Thatching ant |
| Formica obscuriventris Mayr, 1870 | Northern Red Wood Ant |
| Formica oculata ♰ (O. Heer, 1849) | ⇒ Opisthopsis panops Bolton, 1995 |
| Formica opaciventris Emery, 1893 | Tapered pigtoe |
| Formica orbata ♰ Heer, 1850 | Channeled duckclam |
| Formica oreas Wheeler, W.M., 1903 | Orcutt nakedclam |
| Formica pallidefulva Latreille, 1802 | Peony |
| Formica pallidefulva nitidiventris (Latreille, 1802) | ⇒ Formica pallidefulva Latreille, 1802 |
| Formica pergandei Emery, 1893 | Tapered pigtoe |
| Formica pices Emery, 1925 | |
| 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 querquetulana Kennedy & De..., 1937 | Sleek macoma |
| Formica ravida Creighton, 1940 | |
| 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 subaenescens Emery, 1893 | Tapered pigtoe |
| Formica subpolita Mayr, 1886 | Cande diplodon |
| Formica subsericea Say, 1836 | Danglepod |
| Formica talbotae Wilson, 1977 | Thick macoma |
| Formica tripartita ♰ N. Theobald, 1937 | Granulose cleftclam |
| Formica ulkei Emery, 1893 | Tapered pigtoe |
| Formica vinculans Wheeler, W.M., 1913 | Orcutt nakedclam |
| Glaphyromyrmex oligocenicus ♰ W. M. Wheeler, 1915 | Many-line lucine |
| Iberoformica gerardi Bondroit, 1917 | |
| Iberoformica subrufa Roger, 1859 | |
| 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 rufescens Latreille, 1798 | European Amazon ant |
| Proformica cerdanyensis Galkowski, L..., 2022 | |
| Proformica ferreri Bondroit, 1918 | |
| Proformica longipilosa Galkowski, L..., 2017 | |
| Proformica nasuta Nylander, 1856 | |
