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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ColumbusOhio
ColumbusOhio(columbus ohio)
Columbus, capital_of_Ohio

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


(capitalCity ColumbusOhio Ohio) CountriesAndRegions.kif 858-858 Ohio is a capital city of columbus ohio
(documentation ColumbusOhio EnglishLanguage "The capital of Ohio, located in the middle of the state.") CountriesAndRegions.kif 859-860
(externalImage ColumbusOhio "http://upload.wikimedia.org/wikipedia/commons/ f/ fc/ Columbus-ohio-skyline-panorama.jpg") pictureList.kif 4621-4621
(instance ColumbusOhio AmericanCity) CountriesAndRegions.kif 857-857 Columbus ohio is an instance of american city

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


(termFormat ChineseLanguage ColumbusOhio "哥伦布俄亥俄州") domainEnglishFormat.kif 15708-15708
(termFormat ChineseTraditionalLanguage ColumbusOhio "哥倫布俄亥俄州") domainEnglishFormat.kif 15707-15707
(termFormat EnglishLanguage ColumbusOhio "columbus ohio") domainEnglishFormat.kif 15706-15706


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