Lista das espécies de formigas conhecidas em Portugal Continental:
Reino: Animalia
Filo: Arthropoda
Classe: Insecta
Ordem: Hymenoptera
Família: Formicidae
Sub-família Dolichoderinae
Linepithema humile (Mayr, 1868)
Tapinoma nigerrimum (Nylander, 1856)
Tapinoma simrothi (observação não confirmada oficialmente)
Tapinoma erraticum (observação não confirmada oficialmente)
Sub-família Formicinae
Camponotus lateralis (Olivier, 1792)
Camponotus piceus (Leach, 1825)
Camponotus cruentatus (Latreille, 1802)
Camponotus aethiops (Latreille, 1798)
Camponotus foreli Emery, 1881
Camponotus pilicornis (Roger, 1859)
Camponotus sylvaticus (Olivier, 1792)
Camponotus gestroi (observação não confirmada oficialmente)
Camponotus micans (observação não confirmada oficialmente)
Camponotus figaro (observação não confirmada oficialmente)
Cataglyphis hispanicus (Emery, 1906)
Cataglyphis cf. ibericus (Emery, 1906)
Formica fusca Linnaeus, 1758
Formica gerardi Bondroit, 1917
Formica rufibarbis Fabricius, 1793
Formica subrufa Roger, 1859
Formica sanguinea Latreille, 1798
Formica funicular (observação não confirmada oficialmente)
Proformica nasuta (Nylander, 1856)
Hypoponera eduardi (observação não confirmada oficialmente)
Lasius flavus (Fabricius, 1782)
Lasius grandis Forel, 1909
Lasius lasioides (Emery, 1869)
Lasius piliferus Seifert, 1992
Lasius brunneus (observação não confirmada oficialmente)
Lasius niger (observação não confirmada oficialmente)
Plagiolepis pygmaea (Latreille, 1798)
Plagiolepis schmitzii Forel, 1895
Sub-família Myrmicinae
Crematogaster auberti Emery, 1869
Crematogaster scutellaris (Olivier, 1792)
Crematogaster sordidula (Nylander, 1849)
Leptothorax formosus Santschi, 1909
Leptothorax pardoi Tinaut, 1987
Aphaenogaster gibbosa (Latreille, 1798)
Aphaenogaster iberica Emery, 1908
Aphaenogaster senilis Mayr, 1853
Goniomma hispanicum (André, 1883)
Messor barbarus (Linnaeus, 1767)
Messor bouvieri Bondroit, 1918
Messor hispanicus Santschi, 1919
Messor structor (Latreille, 1798)
Pheidole pallidula (Nylander, 1849)
Solenopsis sp.
Tetramorium cf. impurum (Foerster, 1850)
Tetramorium ruginode Stitz, 1917
Tetramorium semilaeve (observação não confirmada oficialmente)