Tibet

A

 * Aphaenogaster tibetana Donisthorpe, 1929

C

 * Cardiocondyla tibetana Seifert, 2003


 * Cerapachys xizangensis Tang & Li, 1982

F

 * Formica forsslundi Lohmander, 1949


 * Formica sentschuensis Ruzsky, 1915

L

 * Lasius gebaueri Seifert, 1992


 * Lasius przewalskii Ruzsky, 1915


 * Lasius schaeferi Seifert, 1992

M

 * Myrmica bactriana Ruzsky, 1915


 * Myrmica kozlovi Ruzsky, 1915


 * Myrmica tibetana Mayr, 1889

P

 * Paratopula zhengi Xu & Xu, 2011


 * Polyrhachis lama Kohout, 1994


 * Protanilla tibeta Xu, 2012

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