Формици́ны (лат. Formicinae) — подсемейство муравьёв (Formicidae), включающее эволюционно наиболее продвинутые виды. Около 3000 видов в мире, в Палеарктике более 382 вида, в России встречается 98 видов.
Myrmica lemasnei (лат.) — вид мелких муравьёв рода Myrmica длиной около 4—5 мм.
Myrmica myrmicoxena (лат.) — вид мелких муравьёв рода Myrmica длиной около 4—5 мм.
По́нерины (лат. Ponerinae) — подсемейство муравьёв (Formicidae), включающее самых примитивных представителей этих общественных насекомых, в том числе и самого крупного в мире муравья — Dinoponera gigantea.
Rossomyrmex (лат.) — род мелких по размеру муравьёв-рабовладельцев из подсемейства Formicinae (Formicidae). Включает четыре вида, каждый из которых имеет одного хозяина из рода Proformica, используемых в качестве рабов, выполняющих все рабочие функции в гнезде. Рабовладельцы совершают рейды на их гнёзда, похищают на стадии личинок и куколок и приносят в свой муравейник. Rossomyrmex имеет очень широкий диапазон распространения в степных и пустынных регионах Евразии от западного Китая до юго-востока Испании, от огромных обширных равнин до вершин высоких гор.
Rossomyrmex proformicarum (лат.) — вид средних по размеру муравьёв-рабовладельцев из подсемейства Formicinae (Formicidae).
Harpagoxenus (лат.) — род мелких муравьёв-рабовладельцев Formicidae.
Myrmicaria (лат.) — род муравьёв трибы Solenopsidini из подсемейства Myrmicinae (Formicidae).
Teleutomyrmex (лат.) — ранее выделявшийся род мелких паразитических муравьёв (Formicidae) из подсемейства Myrmicinae, у которых утрачена каста рабочих. По результатам ревизии 2014 года все виды рода Teleutomyrmex отнесены к роду Tetramorium, однако, его таксономический статус оспаривается и после этого.
Goniomma (лат.) — род муравьёв трибы Stenammini из подсемейства Myrmicinae (Formicidae).
Социальный паразитизм у муравьёв — вид гнездового паразитизма, при котором один вид муравьёв существует за счёт другого. Включает такие крайние формы специализации, как муравьи-рабовладельцы и инквилины.
Proformica (лат.) — род муравьёв из подсемейства Формицин.
Strongylognathus testaceus (лат.) — вид муравьёв-рабовладельцев рода Strongylognathus из подсемейства Myrmicinae (Formicidae). Центральная и Южная Европа, юг Западной Сибири.
Rossomyrmex quandratinodum (лат.) — вид мелких по размеру муравьёв-рабовладельцев из подсемейства Formicinae (Formicidae).
Rossomyrmex anatolicus (лат.) — вид мелких по размеру муравьёв-рабовладельцев из подсемейства Formicinae (Formicidae).
Crematogaster scutellaris (лат.) — вид древесных муравьёв рода Crematogaster из подсемейства Myrmicinae (Formicidae). Свой яд используют против муравьёв других видов, но не против своего вида и не для добычи пищи.
В данный список включены все виды муравьёв (Formicidae) Испании. В настоящее время здесь обнаружено около 300 видов и подвидов муравьёв из 43 родов. Среди них 13 эндемичных видов, например, Camponotus haroi, Aphaenogaster dulciniae, Cataglyphis gadeai, Cataglyphis tartessica, Goniomma baeticum, Goniomma blanci и другие. Список состоит из биноменов и указанных рядом с ними имени учёного, впервые описавшего данный таксон, и года, в котором это произошло.
Leptothorax goesswaldi (лат.) — вид мелких по размеру муравьёв рода Leptothorax из подсемейства Myrmicinae (Formicidae). Социальный паразит, внесённый в Красную книгу МСОП. Европа.
Harpagoxenus sublaevis (лат.) — вид мелких муравьёв-рабовладельцев трибы Crematogastrini из подсемейства Myrmicinae. Включён в международный Красный список угрожаемых видов МСОП.
В данный список включены все виды муравьёв (Formicidae) Марокко. В настоящее время здесь обнаружено 242 вида муравьёв из 34 родов, включая 14 интродуцированных видов. Из 9 подсемейств наибольшим числом видов представлены Myrmicinae и Formicinae, Dolichoderinae, Ponerinae (5), Dorylinae (4), Leptanillinae (3), Amblyoponinae (3), Proceratiinae (1). Список состоит из биноменов и указанных рядом с ними имени учёного, впервые описавшего данный таксон, и года, в котором это произошло. Около 100 видов местные эндемики. Среди 14 интродуцированных видов такие как Cardiocondyla emeryi, Hypoponera punctatissima, Linepithema humile, Monomorium monomorium, M. pharaonis, Nylanderia jaegerskioeldi, Paratrechina longicornis, Pheidole indica, P. megacephala, Strumigenys membranifera, Tetramorium bicarinatum, T. caldarium, T. lanuginosum и T. destructor. В 2023 году было добавлено 4 вида: Goniomma kugleri, Strumigenys rogeri, Temnothorax longipilosus и Proceratium numidicum.
