Definition of "Batavia" :

Definition: "Batavia" is a geographical name.