Formica minocca Chang & He, 2002a: 52, figs. 2, 3, 47 (w.) CHINA (Ningxia). Palearctic.

Primary type information: Primary type material: holotype worker. Primary type locality: China: Ningxia Hui Autonomous Region, Pengyang, 1700 m., 9.viii.1998, no. 98-604 (Y. Chang). Primary type depository: NUYC. Secondary type information: Secondary type material: 3 paratype workers. Secondary type locality: same data as holotype but no. 98-515. Secondary type depository: NUYC. Type notes: Name spelled as miniocca Chang & He, 2002a: 49 (in abstract), 51 (in key), 59 (in figure captions), but minocca in text, p. 52. The predominant spelling, miniocca, is adopted here.