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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Colorado

appearance as argument number 1

(documentation Colorado EnglishLanguage "A large western state in the UnitedStates.") CountriesAndRegions.kif 913-913
(externalImage Colorado " pictures/ geography/ US_States/ colorado.png") pictureList.kif 360-360
(instance Colorado AmericanState) CountriesAndRegions.kif 908-908 科罗拉多州美国国家instance
(meetsSpatially Colorado Arizona) CountriesAndRegions.kif 910-910 科罗拉多州 接上 Arizona
(meetsSpatially Colorado NewMexico) CountriesAndRegions.kif 911-911 科罗拉多州 接上 新墨西哥
(meetsSpatially Colorado Texas) CountriesAndRegions.kif 912-912 科罗拉多州 接上 德州
(meetsSpatially Colorado Utah) CountriesAndRegions.kif 909-909 科罗拉多州 接上 犹他州

appearance as argument number 2

(capitalCity DenverColorado Colorado) CountriesAndRegions.kif 838-838 科罗拉多州丹佛科罗拉多州capital 城市
(meetsSpatially Kansas Colorado) CountriesAndRegions.kif 961-961 Kansas 接上 科罗拉多州
(meetsSpatially Nebraska Colorado) CountriesAndRegions.kif 1026-1026 Nebraska 接上 科罗拉多州
(meetsSpatially Wyoming Colorado) CountriesAndRegions.kif 1156-1156 怀俄明 接上 科罗拉多州
(termFormat ChineseLanguage Colorado "科罗拉多州") domainEnglishFormat.kif 15687-15687
(termFormat ChineseTraditionalLanguage Colorado "科羅拉多州") domainEnglishFormat.kif 15686-15686
(termFormat EnglishLanguage Colorado "colorado") domainEnglishFormat.kif 15685-15685

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