Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  ClevelandOhio
|
|
|
| appearance as argument number 1 |
|
|
| (instance ClevelandOhio AmericanCity) | CountriesAndRegions.kif 853-853 | Cleveland ohio is an instance of american city |
| (part ClevelandOhio Ohio) | CountriesAndRegions.kif 854-854 | Cleveland ohio is a part of ohio |
| (documentation ClevelandOhio EnglishLanguage "Bordering Lake Erie, ClevelandOhio is the largest City in Ohio.") | CountriesAndRegions.kif 855-856 | Cleveland ohio is a part of ohio |
| (externalImage ClevelandOhio "http://upload.wikimedia.org/wikipedia/commons/ a/ a7/ Cleveland_from_Superior_Viaduct.jpg") | pictureList.kif 4607-4607 | Cleveland ohio is a part of ohio |
| appearance as argument number 2 |
|
|
|
