Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ClevelandOhio
ClevelandOhio(cleveland ohio)
Cleveland

appearance as argument number 1
-------------------------


(documentation ClevelandOhio EnglishLanguage "Bordering Lake Erie, ClevelandOhio is the largest City in Ohio.") CountriesAndRegions.kif 855-856
(externalImage ClevelandOhio "http://upload.wikimedia.org/wikipedia/commons/ a/ a7/ Cleveland_from_Superior_Viaduct.jpg") pictureList.kif 4608-4608
(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

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage ClevelandOhio "克利夫兰俄亥俄州") domainEnglishFormat.kif 15114-15114
(termFormat ChineseTraditionalLanguage ClevelandOhio "克利夫蘭俄亥俄州") domainEnglishFormat.kif 15113-15113
(termFormat EnglishLanguage ClevelandOhio "cleveland ohio") domainEnglishFormat.kif 15112-15112


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners