The Formicidae is a large family in the class insects, with more than 10,000 known species.
蚁科是昆虫纲的一个大科,全世界已知10,000余种。
同义词：family Formicidae