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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - ClevelandOhio

appearance as argument number 1

(documentation ClevelandOhio EnglishLanguage "Bordering Lake Erie, ClevelandOhio is the largest City in Ohio.") CountriesAndRegions.kif 855-856
(externalImage ClevelandOhio " a/ a7/ Cleveland_from_Superior_Viaduct.jpg") pictureList.kif 4609-4609
(instance ClevelandOhio AmericanCity) CountriesAndRegions.kif 853-853
(part ClevelandOhio Ohio) CountriesAndRegions.kif 854-854

appearance as argument number 2

(termFormat ChineseLanguage ClevelandOhio "克利夫兰俄亥俄州") domainEnglishFormat.kif 15117-15117
(termFormat ChineseTraditionalLanguage ClevelandOhio "克利夫蘭俄亥俄州") domainEnglishFormat.kif 15116-15116
(termFormat EnglishLanguage ClevelandOhio "cleveland ohio") domainEnglishFormat.kif 15115-15115

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