Formica angusticeps Stärcke, 1947 | Formica cordieri Bondroit, 1917 | Formica grouvellei Bondroit, 1918 | Formica minor pratensoides Gösswald, 1951 | Formica nigricans Bondroit, 1912 | Formica nigricans var. staerckei Betrem, 1960 | Formica nigropratensis Betrem, 1962 | Formica pratensis ab. thyssei Stärcke, 1942 | Formica pratensis pratensis Retzius, 1783 | Formica pratensis staerckei Betrem, 1960 | Formica pratensis var. ciliata Ruzsky, 1926 | Formica pratensis var. incisa Gösswald, 1932 | Formica pratensis var. nigricans Bondroit, 1912 | Formica pratensoides Gösswald, 1951 | Formica rufa grouvellei Bondroit, 1918 | Formica rufa var. angusticeps Stärcke, 1947 | Formica staerckei Betrem, 1960 | Formica thijssei Betrem, 1955 | Formica thyssei Stärcke, 1942