There are about 22,000 species of ants . More than 12,500 have been classified .
More than 12,500 out of an estimated total of 22,000 species have been classified .