蟻屬 蟻屬Formica或稱山蟻屬是蟻科的模式屬模式種是紅褐山蟻該屬現存至少個種另有至少個種已滅絕