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