Arten:
Formica pratensis (Große Wiesenameise) - Retzius, 1783
Formica polyctena (Kahlrückige Waldameise) - Förster, 1850
Formica rufa (Rote Waldameise) - Linnaeus, 1761
Formica lugubris (Starkbeborstete Gebirgswaldameise) - Zetterstedt, 1838
Formica aquilonia (Schwachbeborstete Gebirgswaldameise) Yarrow, 1955
Formica paralugubris (Schweizer Gebirgswaldameise) - Seifert, 1996 (nur in Österreich, Schweiz, Italien nachgewiesen)
Formica truncorum (Strunkameise) - Fabricius, 1804
Formica uralensis (Uralameise) - Ruzsky, 1895