district of Uttar Pradesh, India
via Wikipedia infobox
Agra district ( Hindi pronunciation: [aːgɾaː]) is one of the 75 districts in the northern Indian state of Uttar Pradesh. The district headquarters is the historical city of Agra. Agra district is a part of Agra division.
Geography
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).