请求合并同类词（蚁、蚁总科、蚂蚁→蚁科）

里面不乏有权威词条，不知道能不能合并，就单独发一贴吧
需求：同类词合并
分类：生物
来源词名称：1.蚁（动物）（这是一个义项）
2.蚁总科
3.蚂蚁（昆虫）（这是一个义项）
标准词名称：蚁科
合并同义词说明：首先，不管是蚁还是蚂蚁，它们仅仅都是不专业的俗名，是一种口语话的产物，而且这两者确确实实都是指一个东西。蚁科才是生物分类元阶中最为标准的科学术语。我打个比方，如果说蚂蚁才是标准词名称，那么，野蛮收获蚁（Messor barbarus）应该叫野蛮收获蚂蚁，可这显然是不对的。因此，蚁科才是标准词名称。虽然蚁、蚂蚁的称呼都很广泛，但是这都只是一个不专业的俗名，即使它们再怎么广泛也好，他始终都是不专业的，或者严格点来说，它们都是错的。其实最主要的合并理由是，蚁科和蚂蚁指的其实都是同一种东西，蚁科只不过更为术语化，专业化，所以应当并入蚁科这个词条当中。我们再来看蚁总科，其实蚁科是属于胡蜂总科的，并不存在任何一个名为“蚁总科”的总科，而且通过该词条正文中的描述可以看出，实际上这就是蚁科。因此蚁、蚁总科、蚂蚁3个词条都应当合并入蚁科中才是正确的。
参考资料：中国蚁网：http://www.ants-china.com/
请求各位大神们处理下吧，发词条链接会被系统一直删帖，我也很无奈。万分感谢！