
Формици́ны (лат. Formicinae) — подсемейство муравьёв (Formicidae), включающее эволюционно наиболее продвинутые виды. Около 3000 видов в мире, в Палеарктике более 382 вида, в России встречается 98 видов.

Луговой муравей — вид средних по размеру муравьёв рода Formica из подсемейства Формицины (Formicinae). Обитатель опушек, лугов и просек лесной зоны Евразии, в отдельных частях ареала проникает в предгорья и степи. При разведении тлей рабочие муравьи образуют функциональные группы «пастухов» и «сторожей». Может распространять дикроцелиоз, так как является промежуточными хозяином ланцетовидной двуустки Dicrocoelium lanceatum.
Tetramorium microgyna (лат.) — вид рода Tetramorium подсемейства Myrmicinae семейства муравьёв.

Ла́зиусы — род мелких земляных муравьёв из подсемейства формицины. Рабочие имеют длину около 2—5 мм, самки крупнее.

Садовый бледноногий муравей, или светло-бурый лазий — это вид из рода Lasius из подсемейства Formicinae, включающий мелких по размеру и как правило земляных муравьёв.

Lasius neglectus (лат.) — инвазивный вид рода Lasius из подсемейства Formicinae, включающий мелких по размеру и, как правило, земляных муравьёв.

Муравьи́-амазо́нки — род муравьёв из подсемейства формицины (Formicinae), включающий виды, ведущие «рабовладельческий» образ жизни.

Temnothorax ravouxi (лат.) — вид мелких паразитических муравьёв из трибы Crematogastrini подсемейства Myrmicinae.

Список муравьёв Италии включает все виды муравьёв, обитающих в Италии. Список состоит из биноменов и указанных рядом с ними имени учёного, впервые описавшего данный таксон, и года, в котором это произошло. Также, буквами указано, является ли данный вид эндемиком местной фауны (E) и части Италии в которых вид встречается.
Rhoptromyrmex schmitzi (лат.) — вид редких муравьёв трибы Tetramoriini из подсемейства Myrmicinae (Formicidae). Эндемики Израиля. Внесён в Красную книгу МСОП.

Plagiolepis (лат.) — род мелких муравьёв подсемейства формицины (Formicinae).

Lasius carniolicus (лат.) — вид муравьёв из рода Lasius. Палеарктика. Временный социальный паразит других близких видов муравьёв: жёлтого земляного муравья, Lasius piliferus Seifert, 1992 и вероятно также других представителей группы Lasius alienus group.

Oxyepoecus (лат.) — род мелких муравьёв из подсемейства Myrmicinae. Около 20 видов. Южная Америка: Аргентина, Боливия, Бразилия.

Acanthomyops — подрод муравьёв рода Lasius подсемейства формицины. В 1950—2005 годах рассматривался в качестве отдельного рода. Северная Америка. Около 15 видов.

Список видов муравьёв Польши включает все виды муравьёв, обитающих в Польше. Список состоит из биноменов и указанных рядом с ними имени учёного, впервые описавшего данный таксон, и года, в котором это произошло. Всего на территории Польши обнаружено 105 видов муравьёв из 25 родов.

Список муравьёв Монголии включает все виды муравьёв, обитающих в Монголии. Список состоит из биноменов и указанных рядом с ними имени учёного, впервые описавшего данный таксон. В настоящее время в фауне Монголии обнаружено около 75 видов из 17 родов муравьёв.

В данный список включены все виды муравьёв (Formicidae) Испании. В настоящее время здесь обнаружено около 300 видов и подвидов муравьёв из 43 родов. Среди них 13 эндемичных видов, например, Camponotus haroi, Aphaenogaster dulciniae, Cataglyphis gadeai, Cataglyphis tartessica, Goniomma baeticum, Goniomma blanci и другие. Список состоит из биноменов и указанных рядом с ними имени учёного, впервые описавшего данный таксон, и года, в котором это произошло.

Monomorium bidentatum (лат.) — вид мелких муравьёв рода Monomorium из подсемейства мирмицины. Этот вид находится под угрозой исчезновения.

Lasius citrinus (лат.) — вид небольших муравьев из рода Lasius подсемейства Formicinae. Является временным социальным паразитом других лазиусов, в частности, Lasius brunneus и Lasius niger. Транспалеарктический вид.

Список муравьёв Болгарии включает все виды муравьёв, обитающих на территории Болгарии. Список состоит из биноменов и указанных рядом с ними имени учёного, впервые описавшего данный таксон и года, в котором это произошло. В настоящее время в фауне Болгарии обнаружено 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).