Formica robusta Chang & He, 2002a: 53, figs. 18, 19, 54 (w.) CHINA (Ningxia). Palearctic.

Primary type information: Primary type material: holotype worker. Primary type locality: China: Ningxia Hui Autonomous Region, Liupan Mts, Jingyuan, 1900 m., 8.ix.1998, no. 98-109 (Y. Chang). Primary type depository: NUYC. Secondary type information: Secondary type material: >25 paratype workers. Secondary type localities: 4 paratype workers with same data as holotype but no. 99-606, 2 paratype workers with same data as holotype but 3.x.1998, no. 98-423, 12 paratype workers with same data as holotype but 2.x.1998, no.98-099, 7 paratype workers with same data as holotype but 3.x.1998, no. 98-123, paratype workers (number not stated) Longde, 1900 m. (Y. Chang). Secondary type depository: NUYC.