Jump, Ohio
Jump is an unincorporated community in Hardin County, in the U.S. state of Ohio.[1]
History
A post office called Jump was established in 1892, and remained in operation until 1901.[2] Jump once had its own schoolhouse.[3]
gollark: Go `#[derive(Debug, PartialEq, Deserialize, Serialize)]` yourself then.
gollark: syonymyms.
gollark: Once I learn how to spell that.
gollark: I can do synonynms!
gollark: I asked elsewhere and people had interesting ideas like using "TensorFlow" to "detect the similarity of sentences".
References
- U.S. Geological Survey Geographic Names Information System: Jump, Ohio
- "Hardin County". Jim Forte Postal History. Retrieved 14 December 2015.
- Kohler, Minnie Ichler (1910). A Twentieth Century History of Hardin County, Ohio: A Narrative Account of Its Historical Progress, Its People and Principal Interests,. Lewis Publishing Company. p. 195.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.