Batavia may refer to:
==Historical places== Batavia (region), a land inhabited by the Batavian people during the Roman Empire, today part of the Netherlands Batavia, Dutch East Indies, present-day Jakarta, the former capital of the Dutch East Indies (1619–1949) Old Batavia, the original downtown area of Jakarta Jakarta, the modern-day city, capital of Indonesia Batavian Republic, the Netherlands from 1795 to 1806 as a French vassal state, Batavia being the Latin name of the Low countries Passau, Germany, called Batavis or Batavia by the Romans West Batavia, New York, a former hamlet and post office in Genesee County
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).