Formica agra Smith, 1858 an obsolete combination of Camponotus ager (Smith, 1858)
Formica agra Smith, 1858a: 47 (w.) BRAZIL (Rio de Janeiro). Neotropic.
Primary type information: Primary type material: syntype workers (number not stated). Primary type locality: Brazil: Rio de Janeiro, Petrópolis (coll. H. Clark) (by restriction of Kempf, 1972b: 65). Primary type depository: BMNH. Type notes: Other original syntype locality: Colombia: (no further data) (coll. H. Clark).