Мирмики, или Мирмика — род мелких земляных муравьёв трибы Myrmicini подсемейства Myrmicinae. Около 200 видов.
Формици́ны (лат. Formicinae) — подсемейство муравьёв (Formicidae), включающее эволюционно наиболее продвинутые виды. Около 3000 видов в мире, в Палеарктике более 382 вида, в России встречается 98 видов.
Форми́ка — род муравьёв из подсемейства формицины, включающий эволюционно наиболее продвинутые виды, такие как рыжий лесной муравей, луговой муравей и другие. Более 170 видов.
Малый лесной муравей, или лесной голоспинный муравей — вид средних по размеру муравьёв рода Formica из подсемейства формицины (Formicinae). Относится к группе рыжих лесных муравьёв, в которую также включают рыжего, северного и волосистого лесных муравьёв.
Северный лесной муравей — вид средних по размеру муравьёв рода Formica из подсемейства Formicinae. Имеют длину около 7—14 мм. Относится к группе рыжих лесных муравьёв, в которую также включают рыжего, малого и волосистого лесных муравьёв.
Formicoxenus (лат.) — род мелких муравьёв трибы Formicoxenini из подсемейства Myrmicinae (Formicidae).
Manica (лат.) — род муравьёв трибы Myrmicini из подсемейства Myrmicinae (Formicidae).
Neoneurini (лат.) — триба перепончатокрылых из подсемейства Euphorinae семейства браконид. До 2015 года была в ранге подсемейства Neoneurinae.
Elasmosoma (лат.) — род паразитических наездников из семейства Braconidae. Мирмекофилы.
Microdon cothurnatus (лат.) — вид муравьиных мух-журчалок из подсемейства Microdontinae. Обитают в Северной Америке, на территории США.
Список видов муравьёв Польши включает все виды муравьёв, обитающих в Польше. Список состоит из биноменов и указанных рядом с ними имени учёного, впервые описавшего данный таксон, и года, в котором это произошло. Всего на территории Польши обнаружено 105 видов муравьёв из 25 родов.
Список муравьёв Японии включает все виды муравьёв, обитающих в Японии. Список состоит из биноменов и указанных рядом с ними имени учёного, впервые описавшего данный таксон. В настоящее время в фауне Японии обнаружено около 280 видов из более чем 60 родов муравьёв.
Список муравьёв Монголии включает все виды муравьёв, обитающих в Монголии. Список состоит из биноменов и указанных рядом с ними имени учёного, впервые описавшего данный таксон. В настоящее время в фауне Монголии обнаружено около 75 видов из 17 родов муравьёв.
В данный список включены все виды муравьёв (Formicidae) Испании. В настоящее время здесь обнаружено около 300 видов и подвидов муравьёв из 43 родов. Среди них 13 эндемичных видов, например, Camponotus haroi, Aphaenogaster dulciniae, Cataglyphis gadeai, Cataglyphis tartessica, Goniomma baeticum, Goniomma blanci и другие. Список состоит из биноменов и указанных рядом с ними имени учёного, впервые описавшего данный таксон, и года, в котором это произошло.
Formica obscuriventris (лат.) — вид муравьёв из группы рыжих лесных муравьёв Formica rufa group. Неарктика.
Formica laeviceps (лат.) — вид муравьёв из группы рыжих лесных муравьёв Formica rufa group. Неарктика.
Formica coloradensis (лат.) — вид муравьёв из группы рыжих лесных муравьёв Formica rufa group. Неарктика.
Formica subsericea (лат.) — вид средних по размеру муравьёв рода Formica.
Elasmosomites arkadyleleji (лат.) — ископаемый вид наездников-браконид рода †Elasmosomites из подсемейства Euphorinae (Braconidae). Европа, эоценовый янтарь (около 40 млн лет): Россия. Видовое название дано в честь доктора биологических наук А. С. Лелея за его крупный вклад в исследование перепончатокрылых насекомых.
Formica obscuripes (лат.) — вид муравьёв из группы рыжих лесных муравьёв Formica rufa group. Неарктика. Создает большие муравейники, покрытые мелкими кусочками растительного материала. Число взрослых рабочих в одной колонии может достигать 40 000. F. obscuripes питается различными видами насекомых, потребляет нектар равнокрылых насекомых, за которыми ухаживает, и иногда поедает ткани растений.