| Ohio(ohio)
| | Buckeye_State, OH, Ohio |
| appearance as argument number 1 |
|
|
| (documentation Ohio EnglishLanguage "A populous and industrial state in the midwestern UnitedStates.") | CountriesAndRegions.kif 1077-1078 | |
| (externalImage Ohio "http://articulatesoftware.com/SUMOpictures/geography/ US_States/ ohio.png") | pictureList.kif 639-639 | |
| (instance Ohio AmericanState) | CountriesAndRegions.kif 1072-1072 | Ohio is an instance of american state |
| (meetsSpatially Ohio Canada) | CountriesAndRegions.kif 1076-1076 | Ohio meets canada |
| (meetsSpatially Ohio Indiana) | CountriesAndRegions.kif 1074-1074 | Ohio meets Indiana |
| (meetsSpatially Ohio Kentucky) | CountriesAndRegions.kif 1073-1073 | Ohio meets kentucky |
| (meetsSpatially Ohio Michigan) | CountriesAndRegions.kif 1075-1075 | Ohio meets michigan |
| appearance as argument number 2 |
|
|
| (capitalCity ColumbusOhio Ohio) | CountriesAndRegions.kif 858-858 | Ohio is a capital city of columbus ohio |
| (meetsSpatially Pennsylvania Ohio) | CountriesAndRegions.kif 1089-1089 | Pennsylvania meets ohio |
| (meetsSpatially WestVirginia Ohio) | CountriesAndRegions.kif 1146-1146 | West virginia meets ohio |
| (part ClevelandOhio Ohio) | CountriesAndRegions.kif 854-854 | Cleveland ohio is a part of ohio |
| (termFormat ChineseLanguage Ohio "俄亥俄州") | domainEnglishFormat.kif 41954-41954 | Cleveland ohio is a part of ohio |
| (termFormat ChineseTraditionalLanguage Ohio "俄亥俄州") | domainEnglishFormat.kif 41953-41953 | Cleveland ohio is a part of ohio |
| (termFormat EnglishLanguage Ohio "ohio") | domainEnglishFormat.kif 41952-41952 | Cleveland ohio is a part of ohio |
|
|
|