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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DenverColorado

Sigma KEE - DenverColorado
DenverColorado

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


(capitalCity DenverColorado Colorado) CountriesAndRegions.kif 838-838
(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 4645-4645
(instance DenverColorado AmericanCity) CountriesAndRegions.kif 837-837

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


(termFormat ChineseLanguage DenverColorado "丹佛科罗拉多州") domainEnglishFormat.kif 19080-19080
(termFormat ChineseTraditionalLanguage DenverColorado "丹佛科羅拉多州") domainEnglishFormat.kif 19079-19079
(termFormat EnglishLanguage DenverColorado "denver colorado") domainEnglishFormat.kif 19078-19078


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

Show without tree


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