Around 12,000 species of ants are currently classified under the family Formicidae.

• 目前蚁科下属大约有12,000种蚂蚁。