Форми́ка — род муравьёв из подсемейства формицины, включающий эволюционно наиболее продвинутые виды, такие как рыжий лесной муравей, луговой муравей и другие. Более 170 видов.
Cephalotes (лат.) — род древесных муравьёв трибы Attini из подсемейства Myrmicinae (Formicidae).
В данный список включены все виды муравьёв Великобритании. Наибольшее разнообразие видов наблюдается в наиболее теплых частях страны, в южных графствах — Дорсет, Хэмпшир (31), Суррей (29), Остров Уайт (27) и Кент (26). Самыми распространёнными видами являются Lasius niger и Myrmica rubra. Список состоит из биноменов и указанных рядом с ними имени учёного, впервые описавшего данный таксон. Знаком * отмечены интродуцированные виды.
Atta sexdens (лат.) — вид муравьёв-листорезов из трибы грибководов Attini подсемейства Myrmicinae (Formicidae), строящие одни из самых крупных муравейников в мире.
Список муравьёв Грузии включает все виды муравьёв, обитающих в Грузии. Список состоит из биноменов и указанных рядом с ними имени учёного, впервые описавшего данный таксон. В настоящее время в фауне Грузии обнаружено около 142 видов из 35 родов муравьёв.
В 10-м издании Системы природы шведского натуралиста Карла Линнея классифицируются членистоногие, включая насекомых, паукообразных и ракообразных, среди них класс «Insecta» и отряд Перепончатокрылые. Насекомые с перепончатыми крыльями, включая пчёл, ос и муравьёв, были объединены под названием Hymenoptera.
Муравьи с планирующим полётом — бескрылые муравьи, способные контролировать направление планирования во время падения с дерева.
Atta cephalotes (лат.) — вид муравьёв-листорезов трибы грибководов Attini из подсемейства Myrmicinae (Formicidae). Один из самых массовых и доминантных видов беспозвоночных тропической Южной и Центральной Америки. Из-за регулярного срезания листьев считается одним из опасных видов-вредителей.
Myrmeconema neotropicum (лат.) — вид паразитических энтомопатогенных нематод рода Myrmeconema из семейства Tetradonematidae отряда Mermithida. Единственным известным в настоящее время видом-хозяином является неотропический муравей Cephalotes atratus, в нормальном состоянии имеющий чёрную окраску брюшка. После инфицирования абдомен краснеет, напоминая мелкую красноватую ягоду, растущую в нижнем лесном ярусе. Такой яркий вид привлекает птиц, которые предположительно склёвывают больных муравьёв. Яйца нематод, выходящие вместе с фекалиями птиц, затем собираются муравьями и цикл развития повторяется. Самки Myrmeconema neotropicum имеют длину около 1000 μm и максимальную ширину до 112 μm. Самцы мельче самок.
Список видов муравьёв Польши включает все виды муравьёв, обитающих в Польше. Список состоит из биноменов и указанных рядом с ними имени учёного, впервые описавшего данный таксон, и года, в котором это произошло. Всего на территории Польши обнаружено 105 видов муравьёв из 25 родов.
Cephalotes texanus (лат.) — вид древесных муравьёв рода Cephalotes из подсемейства Myrmicinae (Formicidae). Обладают характерной кастой рабочих-солдат, затыкающих вход в гнездо своей головой.
Список муравьёв Киргизии включает все виды муравьёв, обитающих в Киргизии. Список состоит из биноменов и указанных рядом с ними имени учёного, впервые описавшего данный таксон и года, в котором это произошло. В настоящее время в фауне Киргизии обнаружено более 110 видов из 24 родов муравьёв.
Список муравьёв Монголии включает все виды муравьёв, обитающих в Монголии. Список состоит из биноменов и указанных рядом с ними имени учёного, впервые описавшего данный таксон. В настоящее время в фауне Монголии обнаружено около 75 видов из 17 родов муравьёв.
Cephalotes alfaroi (лат.) — вид древесных муравьёв рода Cephalotes из подсемейства Myrmicinae (Formicidae). Неотропика.
Список видов муравьёв Дании включает все виды муравьёв, обитающих в Дании. Список состоит из биноменов и указанных рядом с ними имени учёного, впервые описавшего данный таксон, и года, в котором это произошло. Мирмекофауна Дании в 1943 году включала 34 естественных вида, в 1979 — 47 видов. В настоящее время всего на территории Дании обнаружено более 50 видов муравьёв из 17 родов.
В данный список включены все виды муравьёв (Formicidae) Испании. В настоящее время здесь обнаружено около 300 видов и подвидов муравьёв из 43 родов. Среди них 13 эндемичных видов, например, Camponotus haroi, Aphaenogaster dulciniae, Cataglyphis gadeai, Cataglyphis tartessica, Goniomma baeticum, Goniomma blanci и другие. Список состоит из биноменов и указанных рядом с ними имени учёного, впервые описавшего данный таксон, и года, в котором это произошло.
Список видов муравьёв Эстонии включает все виды муравьёв, обитающих в Эстонии. Список состоит из биноменов и указанных рядом с ними имени учёного, впервые описавшего данный таксон, и года, в котором это произошло. В целом, местная мирмекофауна характерна для стран Прибалтики и Скандинавии, в ней отсутствуют эндемичные элементы. Всего на территории Эстонии обнаружено 47 видов муравьёв из 11 родов и 4 подсемейств.
Daceton armigerum (лат.) — вид древесных тропических муравьёв трибы Dacetini из подсемейства Myrmicinae (Formicidae). Обладает челюстями-капканами, способен парашютировать на ствол того же дерева, с которого падает. Эндемик Южной Америки.
В данный список включены все виды муравьёв (Formicidae) Перу. В настоящее время здесь обнаружена одна из крупнейших региональных мирмекофаун: более 679 видов и подвидов муравьёв из более чем 80 родов. Более 50 видовых таксонов эндемичны для регионы. Крупнейшие роды: Pheidole, Camponotus (82), Pseudomyrmex (55). Список состоит из биноменов и указанных рядом с ними имени учёного, впервые описавшего данный таксон, и года, в котором это произошло.
Список муравьёв Болгарии включает все виды муравьёв, обитающих на территории Болгарии. Список состоит из биноменов и указанных рядом с ними имени учёного, впервые описавшего данный таксон и года, в котором это произошло. В настоящее время в фауне Болгарии обнаружено 195 современных видов из 43 родов муравьёв. Среди них болгарские эндемики Strongylognathus bulgaricus Pisarski, 1966, Teleutomyrmex buschingeri Lapeva-Gjonova, 2017, Temnothorax helenae Csősz, Heinze & Mikó, 2015 и около 30 балканско-анатолийских эндемиков и субэндемиков. Наибольшим числом видов представлены роды Temnothorax (27) и Lasius (24). Более чем 10 видами также представлены Formica (18), Camponotus (16), Myrmica (15) и Tetramorium (11).