- Formica abdominalis Latreille, 1802
       - Formica accreta Francoeur, 1973
       - Formica acuminata Heer, 1850
       - Formica adamsi Wheeler, 1909
       - Formica adelungi Forel, 1904
       - Formica aegyptiaca Fabricius, 1775
       - Formica aemula Heer, 1867
       - Formica aequalis Walker, 1871
       - Formica aerata Francoeur, 1973
       - Formica affinis Leach, 1825
       - Formica albipennis Fabricius, 1793
       - Formica alsatica Theobald, 1937
       - Formica altipetens Wheeler, 1913
       - Formica amyoti Le Guillou, 1842
       - Formica antiqua Dlussky, 1967
       - Formica approximans Wheeler, 1933
       - Formica aquilonia Yarrow, 1955
       - Formica arcana Scudder, 1877
       - Formica archboldi Smith, 1944
       - Formica arenicola Buckley, 1866
       - Formica argentea Wheeler, 1912
       - Formica aserva Forel, 1901
       - Formica atavina Heer, 1850
       - Formica aterrima Cresson, 1865
       - Formica atra Schilling, 1839
       - Formica auxillacensis Piton, 1935
       - Formica balcanica Petrov et Collingwood, 1993
       - Formica baltica Dlussky, 1967
       - Formica bauckhorni Meunier, 1915
       - Formica beijingensis Wu, 1990
       - Formica bicolor Leach, 1825
       - Formica bradleyi Wheeler, 1913
       - Formica browni Francoeur, 1973
       - Formica bruni Kutter, 1967
       - Formica brunneonitida Dlussky, 1964
       - Formica buphthalma Novak, 1878
       - Formica californica (Creighton, 1950)
       - Formica calviceps Cole, 1954
       - Formica canadensis Santschi, 1914
       - Formica candida Smith, 1878
       - Formica cantalica Piton, 1935
       - Formica capito Heer, 1867
       - Formica chufejif Forskal, 1775
       - Formica ciliata Mayr, 1886
       - Formica cinerea Mayr, 1853
       - Formica cinereofusca Karavaiev, 1929
       - Formica clara Forel, 1886
       - Formica clymene Wheeler, 1915
       - Formica cockerelli Carpenter, 1930
       - Formica coloradensis Creighton, 1940
       - Formica comata Wheeler, 1909
       - Formica conica Fabricius, 1798
       - Formica connecticutensis Buckley, 1866
       - Formica creightoni Buren, 1968
       - Formica criniventris Wheeler, 1912
       - Formica cunicularia Latreille, 1798
       - Formica curiosa Creighton, 1935
       - Formica dakotensis Emery, 1893
       - Formica decipiens Bondroit, 1918
       - Formica demersa Heer, 1850
       - Formica densiventris Viereck, 1903
       - Formica didyma Fabricius, 1782
       - Formica difficilis Emery, 1893
       - Formica dirksi Wing, 1949
       - Formica dislocata Say, 1836
       - Formica dlusskyi Bolton, 1995
       - Formica dusmeti Emery, 1909
       - Formica elevata Fabricius, 1782
       - Formica elongata Fabricius, 1787
       - Formica emeryi Wheeler, 1913
       - Formica eoptera Cockerell, 1923
       - Formica exsecta Nylander, 1846
       - Formica exsectoides Forel, 1886
       - Formica fatale Christ, 1791
       - Formica ferocula Wheeler, 1913
       - Formica flori Mayr, 1868
       - Formica foetens Olivier, 1792
       - Formica foreliana Wheeler, 1913
       - Formica forsslundi Lohmander, 1949
       - Formica fossaceps Buren, 1942
       - Formica fossilabris Dlussky, 1965
       - Formica fragilis Heer, 1867
       - Formica francoeuri Bolton, 1995
       - Formica fukaii Wheeler, 1914
       - Formica fuliginothorax Blacker, 1992
       - Formica fusca Linnaeus, 1758
       - Formica fuscescens Gmelin, 1790
       - Formica fuscicauda Motschoulsky, 1863
       - Formica gagates Latreille, 1798
       - Formica gagatoides Ruzsky, 1904
       - Formica gerardi Bondroit, 1917
       - Formica gibbosa Presl, 1822
       - Formica glabra Gmelin, 1790
       - Formica glacialis Wheeler, 1908
       - Formica globiventris Heer, 1850
       - Formica gnava Buckley, 1866
       - Formica goesswaldi Kutter, 1967
       - Formica gracilis Heer, 1867
               |                   - Formica grandis Carpenter, 1930
       - Formica gravelyi Mukerjee, 1930
       - Formica gravida Heer, 1850
       - Formica gynocrates Snelling et Buren, 1985
       - Formica heteroptera Cockerell, 1920
       - Formica hewitti Wheeler, 1917
       - Formica hirta Gravenhorst, 1807
       - Formica horrida Wheeler, 1915
       - Formica imitans Ruzsky, 1902
       - Formica immersa Heer, 1850
       - Formica impexa Wheeler, 1905
       - Formica incisa Smith, 1858
       - Formica indianensis Cole, 1940
       - Formica inequalis Lowne, 1865
       - Formica insultans Forskal, 1775
       - Formica integra Nylander, 1856
       - Formica integroides Wheeler, 1913
       - Formica japonica Motschoulsky, 1866
       - Formica knighti Buren, 1944
       - Formica kollari Heer, 1867
       - Formica kozlovi Dlussky, 1965
       - Formica kupyanskayae Bolton, 1995
       - Formica laeviceps Creighton, 1940
       - Formica lasioides Emery, 1893
       - Formica latinodosa Theobald, 1937
       - Formica lavateri Heer, 1850
       - Formica lefrancoisi Bondroit, 1918
       - Formica lemani Bondroit, 1917
       - Formica lepida Wheeler, 1913
       - Formica limata Wheeler, 1913
       - Formica lincecumii Buckley, 1866
       - Formica longicollis Heer, 1850
       - Formica longipilosa Francoeur, 1973
       - Formica longiventris Heer, 1850
       - Formica lucida Giebel, 1856
       - Formica lugubris Zetterstedt, 1838
       - Formica lutea Dumeril, 1860
       - Formica luteola Presl, 1822
       - Formica macrocephala Heer, 1850
       - Formica macrognatha Presl, 1822
       - Formica macrophthalma Heer, 1850
       - Formica maculata Geoffroy, 1785
       - Formica maculipennis Theobald, 1935
       - Formica malabarica Schrank, 1837
       - Formica maligna Forskal, 1775
       - Formica manni Wheeler, 1913
       - Formica martynovi Popov, 1933
       - Formica maxillosa Fabricius, 1775
       - Formica melanophthalma Reich, 1793
       - Formica melanopis Gmelin, 1790
       - Formica microgyna Wheeler, 1903
       - Formica microphthalma Francoeur, 1973
       - Formica minuta Lowne, 1865
       - Formica moki Wheeler, 1906
       - Formica molestans Latreille, 1802
       - Formica montana Wheeler, 1910
       - Formica morsei Wheeler, 1906
       - Formica mucescens Wheeler, 1913
       - Formica naefi Kutter, 1957
       - Formica nana Latreille, 1802
       - Formica neoclara Emery, 1893
       - Formica neogagates Viereck, 1903
       - Formica neorufibarbis Emery, 1893
       - Formica nepticula Wheeler, 1905
       - Formica nevadensis Wheeler, 1904
       - Formica nigra Presl, 1822
       - Formica nigropratensis Betrem, 1962
       - Formica nitida Razoumowsky, 1789
       - Formica nitidiventris Emery, 1893
       - Formica nortonii Buckley, 1866
       - Formica novaeanglae Buckley, 1866
       - Formica oblita Heer, 1867
       - Formica obscuripes Forel, 1886
       - Formica obscuriventris Mayr, 1870
       - Formica obsidiana Emery, 1923
       - Formica obsoleta Linnaeus, 1758
       - Formica obtecta Heer, 1850
       - Formica obtusopilosa Emery, 1893
       - Formica obvoluta Heer, 1850
       - Formica occidentalis Buckley, 1866
       - Formica occulta Francoeur, 1973
       - Formica ocella Heer, 1850
       - Formica oculata Heer, 1850
       - Formica omnivora Linnaeus, 1758
       - Formica opaciventris Emery, 1893
       - Formica ophthalmica Heer, 1850
       - Formica orbata Heer, 1850
       - Formica oreas Wheeler, 1903
       - Formica oregonensis Cole, 1938
       - Formica ovata Reich, 1793
       - Formica pachucana Francoeur, 1973
       - Formica pacifica Francoeur, 1973
       - Formica pallidefulva Latreille, 1802
       - Formica pallidelutea Latreille, 1802
       - Formica pallipes Latreille, 1787
       - Formica parvula Presl, 1822
       - Formica parvula Dlussky, 1967
       - Formica pergandei Emery, 1893
               |                   - Formica perpilosa Wheeler, 1913
       - Formica phaethusa Wheeler, 1915
       - Formica phyllophila Jerdon, 1851
       - Formica picipes Reich, 1793
       - Formica pisarskii Dlussky, 1964
       - Formica pitoni Theobald, 1935
       - Formica planipilis Creighton, 1940
       - Formica podzolica Francoeur, 1973
       - Formica politurata Buckley, 1866
       - Formica polyctena Foerster, 1850
       - Formica postoculata Kennedy et Dennis, 1937
       - Formica pratensis Retzius, 1783
       - Formica pressilabris Nylander, 1846
       - Formica primitiva Heer, 1850
       - Formica primordialis Heer, 1850
       - Formica procera Heer, 1850
       - Formica prociliata Kennedy et Dennis, 1937
       - Formica propatula Francoeur, 1973
       - Formica propinqua Creighton, 1940
       - Formica puberula Emery, 1893
       - Formica pulchella Heer, 1850
       - Formica pulla Francoeur, 1973
       - Formica pumila Heer, 1850
       - Formica pyrenaea Bondroit, 1918
       - Formica quadrata Holl, 1829
       - Formica quadrinotata Losana, 1834
       - Formica querquetulana Kennedy et Davis, 1937
       - Formica ravida Creighton, 1940
       - Formica rediana Leach, 1825
       - Formica reflexa Buren, 1942
       - Formica retecta Francoeur, 1973
       - Formica robusta Carpenter, 1930
       - Formica rostrata Fabricius, 1787
       - Formica rubescens Leach, 1825
       - Formica rubicunda Emery, 1893
       - Formica rufa Linnaeus, 1761
       - Formica rufibarbis Fabricius, 1793
       - Formica ruficeps Motschoulsky, 1863
       - Formica ruficornis Gmelin, 1790
       - Formica rufolucida Collingwood, 1962
       - Formica rufomaculata Ruzsky, 1895
       - Formica rupestris Leach, 1825
       - Formica saccharivora Linnaeus, 1758
       - Formica sanguinea Latreille, 1798
       - Formica saxicola Buckley, 1866
       - Formica schardj Forskal, 1775
       - Formica schaufussi Mayr, 1866
       - Formica scitula Wheeler, 1913
       - Formica selysi Bondroit, 1918
       - Formica sentschuensis Ruzsky, 1915
       - Formica sepulta Theobald, 1937
       - Formica serresi Theobald, 1937
       - Formica seuberti Heer, 1850
       - Formica siamicarubra Christ, 1791
       - Formica sibylla Wheeler, 1913
       - Formica sinae Emery, 1925
       - Formica sinensis Wheeler, 1913
       - Formica spatulata Buren, 1944
       - Formica strangulata Wheeler, 1915
       - Formica strenua Haliday, 1836
       - Formica subaenescens Emery, 1893
       - Formica subcyanea Wheeler, 1913
       - Formica subelongata Francoeur, 1973
       - Formica subintegra Wheeler, 1908
       - Formica subnitens Creighton, 1940
       - Formica subpicea Motschoulsky, 1863
       - Formica subpilosa Ruzsky, 1902
       - Formica subpolita Mayr, 1886
       - Formica subrufa Roger, 1859
       - Formica subsericea Say, 1836
       - Formica subspinosa Buckley, 1866
       - Formica suecica Adlerz, 1902
       - Formica surinamensis Berendt, 1830
       - Formica talbotae Wilson, 1977
       - Formica tenuissima Buckley, 1866
       - Formica testacea Gmelin, 1790
       - Formica testaceipes Leach, 1825
       - Formica thoracica Olivier, 1792
       - Formica tomentosa Reich, 1793
       - Formica torrentium Bernard, 1967
       - Formica transmontanis Francoeur, 1973
       - Formica triangularis Say, 1836
       - Formica trigona Presl, 1822
       - Formica tripartita Theobald, 1937
       - Formica truncorum Fabricius, 1804
       - Formica ulkei Emery, 1893
       - Formica ungeri Heer, 1850
       - Formica uralensis Ruzsky, 1895
       - Formica vagans Fabricius, 1793
       - Formica venosa Gmelin, 1790
       - Formica vinculans Wheeler, 1913
       - Formica virginiana Buckley, 1866
       - Formica wongi Wu, 1990
       - Formica xerophila Smith, 1939
       - Formica yessensis Wheeler, 1913
       - Formica yoshiokae Wheeler, 1933
               |