Tribe Camponotini Forel, 1878 Genus Camponotus Mayr, 1861 Subgenus Dinomyrmex Ashmead, 1905 Camponotus agra (F. Smith) see Camponotus ager (F. Smith, 1858)