Tibet

Aphaenogaster

 * Aphaenogaster tibetana Donisthorpe, 1929

Cardiocondyla

 * Cardiocondyla tibetana Seifert, 2003

Cerapachys

 * Cerapachys xizangensis Tang & Li, 1982

Formica

 * Formica forsslundi Lohmander, 1949


 * Formica sentschuensis Ruzsky, 1915

Lasius

 * Lasius gebaueri Seifert, 1992


 * Lasius przewalskii Ruzsky, 1915


 * Lasius schaeferi Seifert, 1992

Myrmica

 * Myrmica bactriana Ruzsky, 1915


 * Myrmica kozlovi Ruzsky, 1915


 * Myrmica tibetana Mayr, 1889

Paratopula

 * Paratopula zhengi Xu & Xu, 2011

Polyrhachis

 * Polyrhachis lama Kohout, 1994

Protanilla

 * Protanilla tibeta Xu, 2012

Vombisidris

 * Vombisidris tibeta Xu & Yu, 2012

Uncertain species
The following species was described from Tibet but its true identity is currently unknown.
 * Myrmica khamensis Ruzsky, 1915