A palavra agra deriva do «singalês-sânsc[rito] ākara "mina"». Diacronismo antigo é o mesmo que agro, sendo agro (na área da agricultura) «terreno cultivado ou potencialmente cultivável; campo». Agra ainda é «nome dado pelos portugueses às minas de Sofagão, no antigo Ceilão (atual Sri Lanka)».

[Fonte: Dicionário Eletrônico Houaiss]