| Synonymous name | : | †Formica acuminata Heer, 1850 | |
Ref: PBDB: 15 Jun 2014. |
| Synonymous name | : | †Formica aemula Heer, 1867 | |
Ref: PBDB: 15 Jun 2014. |
| Synonymous name | : | †Formica kollari Heer, 1867 | |
Ref: PBDB: 15 Jun 2014. |
| Synonymous name | : | †Formica oblita Heer, 1867 | |
Ref: PBDB: 15 Jun 2014. |
| Synonymous name | : | Formica redtenbacheri O. Heer | |
Ref: PBDB: 15 Jun 2014. |
| Synonymous name | : | Ponera elongatula O. Heer | |
Ref: PBDB: 15 Jun 2014. |