Er zijn 10.000 soorten mieren die taxonomen -- mensen die dieren beschrijven en een naam geven -- hebben benoemd. 4.000 van die soorten leven enkel in de boomtoppen.
Sunt 10000 de specii de furnici declarate de taxonomişti, oamenii care clasifică şi numesc animalele, dintre care 4000 trăiesc exclusiv în bolta pădurilor.