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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 " a/ a9/ 2006-03-26_Denver_Skyline_I-25_Speer.jpg") pictureList.kif 4646-4646
(instance DenverColorado AmericanCity) CountriesAndRegions.kif 837-837

appearance as argument number 2

(termFormat ChineseLanguage DenverColorado "丹佛科罗拉多州") domainEnglishFormat.kif 19071-19071
(termFormat ChineseTraditionalLanguage DenverColorado "丹佛科羅拉多州") domainEnglishFormat.kif 19070-19070
(termFormat EnglishLanguage DenverColorado "denver colorado") domainEnglishFormat.kif 19069-19069

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