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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DenverColorado
DenverColorado(denver colorado)
Denver, Mile-High_City, capital_of_Colorado

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


(capitalCity DenverColorado Colorado) CountriesAndRegions.kif 838-838 Colorado is a capital city of denver colorado
(documentation DenverColorado EnglishLanguage "The capital and largest City in Colorado.") CountriesAndRegions.kif 839-839
(externalImage DenverColorado "http://upload.wikimedia.org/wikipedia/commons/ a/ a9/ 2006-03-26_Denver_Skyline_I-25_Speer.jpg") pictureList.kif 4646-4646
(instance DenverColorado AmericanCity) CountriesAndRegions.kif 837-837 Denver colorado is an instance of american city

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


(termFormat ChineseLanguage DenverColorado "丹佛科罗拉多州") domainEnglishFormat.kif 19003-19003
(termFormat ChineseTraditionalLanguage DenverColorado "丹佛科羅拉多州") domainEnglishFormat.kif 19002-19002
(termFormat EnglishLanguage DenverColorado "denver colorado") domainEnglishFormat.kif 19001-19001


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners