在中国有多少种蚂蚁?

世界上大约有15,000种蚁类，其中有23种曾被发现出现于住宅或商用建筑内。