Formica gravelyi är en myrart som beskrevs av Durgadas Mukerjee 1930. Formica gravelyi ingår i släktet Formica och familjen myror. Inga underarter finns listade i Catalogue of Life.
Källor (2001) , website, Hymenoptera Name Server ITIS: The Integrated Taxonomic Information System. Orrell T. (custodian), 2011-04-26
Kategori:Myror gravelyi