![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
Ohio
|
|
|
| appearance as argument number 1 |
|
|
| (instance Ohio AmericanState) | CountriesAndRegions.kif 1072-1072 | Ohio is an instance of american state |
| (meetsSpatially Ohio Kentucky) | CountriesAndRegions.kif 1073-1073 | Ohio meets kentucky |
| (meetsSpatially Ohio Indiana) | CountriesAndRegions.kif 1074-1074 | Ohio meets Indiana |
| (meetsSpatially Ohio Michigan) | CountriesAndRegions.kif 1075-1075 | Ohio meets michigan |
| (meetsSpatially Ohio Canada) | CountriesAndRegions.kif 1076-1076 | Ohio meets canada |
| (documentation Ohio EnglishLanguage "A populous and industrial state in the midwestern UnitedStates.") | CountriesAndRegions.kif 1077-1078 | Ohio meets canada |
| (externalImage Ohio "http://articulatesoftware.com/SUMOpictures/geography/ US_States/ ohio.png") | pictureList.kif 639-639 | Ohio meets canada |
| appearance as argument number 2 |
|
|