蚂蚁种类繁多，世界上已知种类有9000多种。请回答下列问题。