蟻屬
下属物种

本属包括以下物种：
Formica 4punctata Linnaeus, 1771
Formica 6guttata Fabricius, 1793
Formica abdominalis Latreille, 1802
Formica (Proformica) aberrans Mayr
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 agilis
Formica albipennis Fabricius, 1793
Formica alsatica Theobald, 1937
阿勒泰凹头蚁 Formica altayensis
Formica altipetens Wheeler, 1913
Formica ammon
Formica amyoti Le Guillou, 1842
Formica anatolica Seifert & Schultz, 2009
Formica angulata
Formica angusticollis
Formica annosa LaPolla & Greenwalt, 2015
Formica antiqua Dlussky, 1967
类干红蚁 Formica approximans Wheeler, 1933
北方蚁 Formica aquilonia Yarrow, 1955
Formica aquiloniaxpolyctena Yarrow, 1955
Formica arborea
Formica arcana Scudder, 1877
Formica archboldi Smith, 1944
Formica ardens
Formica arenicola Buckley, 1866
Formica argentea Wheeler, 1912
Formica arrogans
掠奴蚁 Formica aserva Forel, 1901
缺毛黑褐蚁 Formica aseta
Formica assimilis
Formica atavina Heer, 1850
Formica aterrima Cresson, 1865
Formica atra Schilling, 1839
Formica atricolor
Formica atriventris
Formica aurocincta
Formica aurulenta
Formica austriaca
Formica auxillacensis Piton, 1935
Formica balcanica Petrov & Collingwood, 1993
Formica baltica Dlussky, 1967
Formica bauckhorni Meunier, 1915
北京凹头蚁 Formica beijingensis Wu, 1990
Formica biamoensis Dlussky, Rasnitsyn & Perfilieva, 2015
两色凹头蚁 Formica bicolor Leach, 1825
爱生蚁 Formica biophilica James
Formica bradleyi Wheeler, 1913
短柄节黑褐蚁 Formica breviscapa
布朗蚁 Formica browni Francoeur, 1973
Formica brullei
Formica bruni Kutter, 1967
Formica brunneonitida Dlussky, 1964
Formica buphthalma Novak, 1878
Formica californica (Creighton, 1950)
Formica callida
Formica calviceps Cole, 1954
Formica camelina
Formica canadensis Santschi, 1914
光亮黑蚁 Formica candida Smith, 1878
Formica cantalica Piton, 1935
Formica capito Heer, 1867
Formica ceps Zhang, 1989
长贺氏蚁 Formica changhei
Formica chufejif Forskal, 1775
Formica ciliata Mayr, 1886
Formica cinerascens
灰褐蚁 Formica cinerea Mayr, 1853
灰褐林蚁 Formica cinereofusca Karavaiev, 1929
Formica circumspecta
亮林蚁 Formica clara Forel, 1886
极亮蚁 Formica clarissima
Formica clavigera
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 consanguinea
Formica consectator
Formica consobrina
Formica consultans
Formica contracta Latreille, 1802
Formica corsica Seifert, 2002
Formica cosmica
Formica coxalis
Formica creightoni Buren, 1968
Formica crinita
Formica criniventris Wheeler, 1912
掘穴蚁 Formica cunicularia Latreille, 1798
Formica curiosa Creighton, 1935
Formica custodiens
Formica cylindrica
大柴旦黑蚁 Formica dachaidanensis
Formica dakotensis Emery, 1893
Formica decipiens Bondroit, 1918
Formica decora
德令哈蚁 Formica delinghaensi H.E.Chang, 2002
Formica demersa Heer, 1850
Formica densiventris Viereck, 1903
Formica detecta
Formica didyma Fabricius, 1782
Formica difficilis Emery, 1893
Formica diffidens
Formica diligens
Formica dirksi Wing, 1949
Formica dislocata Say, 1836
Formica distinguenda
Formica dlusskyi Bolton, 1995
Formica dolosa Buren
Formica dorsata Panzer, 1797
Formica dusmeti Emery, 1909
Formica egregia
Formica elevata Fabricius, 1782
Formica elongata Fabricius, 1787
Formica emeryi Wheeler, 1913
Formica eoptera Cockerell, 1923
Formica ephippium
Formica erythrocephala
Formica exasperata
Formica exercita
毛眼林蚁 Formica exsecta Nylander, 1846
Formica exsectoides Forel, 1886
Formica exulans
Formica exundans
Formica fabricator
Formica fatale Christ, 1791
Formica fennica Seifert, 2000
Formica ferocula Wheeler, 1913
Formica ferruginea
Formica festina
Formica flavifemoralis Zhang et al., 1994
Formica flavitarsus
Formica flori Mayr, 1868
Formica foetens Olivier, 1792
Formica foreli Bondroit, 1918
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 frontalis Santschi, 1919
深井凹头蚁 Formica fukaii Wheeler, 1914
Formica fuliginothorax Blacker, 1992
Formica fulvo-pilosa
黑山蟻 Formica fusca Linnaeus, 1758，丝光褐林蚁
Formica fuscescens Gmelin, 1790
Formica fuscicauda Motschoulsky, 1863
Formica fusco-rufibarbis
Formica fuscocinerea Forel, 1874
黑褐蚁 Formica gagates Latreille, 1798
亮腹黑褐蚁 Formica gagatoides Ruzsky, 1904
Formica gerardi Bondroit, 1917
Formica (Tapinoma) gibba
Formica gibbosa Presl, 1822
Formica glabra Gmelin, 1790
格莱多蚁 Formica glabridorsis Santschi, 1925
Formica glacialis Wheeler, 1908
格劳卡蚁 Formica glauca Ruzsky, 1896
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 gustawi Dlussky, 2002
Formica gynocrates Snelling & Buren, 1985
Formica hayashi
Formica helvetica Seifert, 2021
Formica herculanea
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 impetuosa
Formica impexa Wheeler, 1905
不定蚁 Formica incerta Buren
Formica incisa Smith, 1858
Formica indeflexa
Formica indianensis Cole, 1940
Formica indipicans
Formica inequalis Lowne, 1865
Formica ingruens
Formica insultans Forskal, 1775
Formica integra Nylander, 1856
Formica integroides Wheeler, 1913
Formica intrepida
Formica irritabilis
日本黑褐蚁 Formica japonica Motschoulsky, 1866
Formica knighti Buren, 1944
Formica kollari Heer, 1867
Formica kozlovi Dlussky, 1965
库氏林蚁 Formica kupyanskayae Bolton, 1995
Formica kutscheri Dlussky, 2008
Formica laboriosa
Formica lactaria
Formica laeviceps Creighton, 1940
Formica laevigata
Formica lasioides Emery, 1893
Formica latebrosa
Formica latinodosa Theobald, 1937
Formica lauta
Formica lavateri Heer, 1850
Formica lefrancoisi Bondroit, 1918
莱曼蚁 Formica lemani Bondroit, 1917
Formica lepida Wheeler, 1913
Formica leucophaea
Formica limata Wheeler, 1913
Formica lincecumii Buckley, 1866
Formica linquensis Zhang, 1989
光腹黑蚁 Formica liogaster
光眼凹头蚁 Formica liopthalma
海岸林蚁 Formica litoralis
Formica longicollis Heer, 1850
Formica longipedem
Formica longipilosa Francoeur, 1973
Formica longiventris Heer, 1850
Formica lucida Giebel, 1856
Formica luctuosa
毛林蚁 Formica lugubris Zetterstedt, 1838
Formica lusatica Seifert, 1997
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 manchu
Formica manni Wheeler, 1913
Formica martynovi Popov, 1933
Formica maxillosa Fabricius, 1775
Formica maxima Moore, 1842
Formica megalocola
Formica melanophthalma Reich, 1793
Formica melanopis Gmelin, 1790
Formica mellea
Formica meritans
中亚林蚁 Formica mesasiatica
Formica microgyna Wheeler, 1903
Formica microphthalma Francoeur, 1973
小眼凹唇蚁 Formica miniocca
Formica minuta Lowne, 1865
Formica mistura
Formica mitis
Formica moki Wheeler, 1906
Formica molestans Latreille, 1802
Formica montana Wheeler, 1910
Formica morosa
Formica morsei Wheeler, 1906
Formica mucescens Wheeler, 1913
Formica mutilata
Formica naefi Kutter, 1957
Formica nana Latreille, 1802
Formica natalensis
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 nigriceps
Formica nigriventris
Formica nigro-aenea
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 oblonga
Formica obscurans
Formica obscuripes Forel, 1886
Formica obscuriventris Mayr, 1870
台湾蚁 Formica obsidiana Emery, 1923
Formica obsoleta Linnaeus, 1758
Formica obtecta Heer, 1850
Formica obtusa
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 orangea Seifert & Schultz, 2009
Formica orbata Heer, 1850
Formica oreas Wheeler, 1903
Formica oregonensis Cole, 1938
Formica ovala Zhang, 1989
Formica ovata Reich, 1793
Formica ovaticeps
Formica pachucana Francoeur, 1973
Formica pacifica Francoeur, 1973
Formica palaeopolonica Dlussky, 2008
Formica paleosibirica Dlussky, Rasnitsyn & Perfilieva, 2015
Formica pallidefulva Latreille, 1802
Formica pallidelutea Latreille, 1802
Formica pallipes Latreille, 1787
帕米尔林蚁 Formica pamirica
Formica pangens
Formica paralugubris Seifert, 1999
Formica parexsecta Dlussky & Putyatina, 2014
Formica parvula Dlussky, 1967
Formica parvula Presl, 1822
佩氏林蚁 Formica pergandei Emery, 1893
Formica perpilosa Wheeler, 1913
Formica persica Seifert & Schultz, 2009
Formica phaethusa Wheeler, 1915
Formica phyllophila Jerdon, 1851
油亮黑蚁 Formica picea Nylander, 1846
Formica picipes Reich, 1793
Formica piliventris
Formica pilosa
Formica pisarskii Dlussky, 1964
Formica pitoni Theobald, 1935
Formica placida
Formica planipilis Creighton, 1940
Formica platygnatha
灰壤林蚁 Formica podzolica Francoeur, 1973
Formica politurata Buckley, 1866
多栉蚁 Formica polyctena Foerster, 1850
Formica polyctenaxrufa
Formica postoculata Kennedy & Dennis, 1937
草地蚁 Formica pratensis De Geer
Formica pratensis Retzius, 1783
Formica pratensoide Gosswald, 1951
Formica pressilabris Nylander, 1846
Formica primitiva Heer, 1850
Formica primordialis Heer, 1850
Formica procera Heer, 1850
Formica procidua
Formica prociliata Kennedy & 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 purpurea
Formica pusilla Heer
Formica pyrenaea Bondroit, 1918
Formica quadrata Holl, 1829
Formica quadriceps
Formica quadrinotata Losana, 1834
Formica quadrisecta
Formica querquetulana Kennedy & Davis, 1937
Formica radchenkoi Dlussky, 2008
Formica ravida Creighton, 1940
Formica rediana Leach, 1825
Formica reflexa Buren, 1942
Formica retecta Francoeur, 1973
Formica ribbeckei Radchenko & Perkovsky, 2021
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 scrutator
Formica sedula
Formica selysi Bondroit, 1918
四川凹唇蚁 Formica sentschuensis Ruzsky, 1915
Formica sepulta Theobald, 1937
Formica sericata Guer.
Formica sericea
Formica serresi Theobald, 1937
Formica sessilis Say, 1836
Formica seuberti Heer, 1850
Formica siamicarubra Christ, 1791
Formica sibylla Wheeler, 1913
Formica sinae Emery, 1925
中华红林蚁 Formica sinensis Wheeler, 1913
Formica singularis
Formica spatulata Buren, 1944
Formica strangulata Wheeler, 1915
Formica strenua Haliday, 1836
Formica stricta
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 suffusa
Formica surinamensis Berendt, 1830
Formica sylvicola
Formica talbotae Wilson, 1977
Formica taprobane
塔里木蚁 Formica tarimica Seifert & Schultz, 2009
Formica tenuipes
Formica tenuissima Buckley, 1866
Formica testacea Gmelin, 1790
Formica testaceipes Leach, 1825
Formica thoracica Olivier, 1792
天山蚁 Formica tianshanica Seifert & Schultz, 2009
Formica tincta
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 tropica
红头蚁 Formica truncorum Fabricius, 1804
Formica ulkei Emery, 1893
Formica ungeri Heer, 1850
乌拉尔蚁 Formica uralensis Ruzsky, 1895
Formica ussuriensis Seifert, 2021
Formica vagans Fabricius, 1793
Formica velox
Formica venosa Gmelin, 1790
Formica ventralis
Formica vestita
Formica vigilans
毛柄草地蚁 Formica villiscapa
Formica vinculans Wheeler, 1913
Formica vinosa
Formica virescens Fabr.
Formica virginiana Buckley, 1866
Formica viridis
Formica virulens
Formica vivida
Formica wheeleri
少毛红蚁 Formica wongi Wu, 1990
Formica xerophila Smith, 1939
石狩红蚁 Formica yessensis Wheeler, 1913
吉冈蚁 Formica yoshiokae Wheeler, 1933
Formica zherikhini Dlussky, 2008
Formica zonata