Tribe Camponotini Forel, 1878
   Genus Camponotus Mayr, 1861
     Subgenus Myrmogonia Forel, 1912
       Camponotus Michaelseni Forel, 1907