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
(meetsSpatially Colorado Arizona) CountriesAndRegions.kif 910-910
(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
(meetsSpatially Kansas Colorado) CountriesAndRegions.kif 961-961
(meetsSpatially Nebraska Colorado) CountriesAndRegions.kif 1026-1026
(meetsSpatially Wyoming Colorado) CountriesAndRegions.kif 1156-1156
(termFormat ChineseLanguage Colorado "科罗拉多州") domainEnglishFormat.kif 15682-15682
(termFormat ChineseTraditionalLanguage Colorado "科羅拉多州") domainEnglishFormat.kif 15681-15681
(termFormat EnglishLanguage Colorado "colorado") domainEnglishFormat.kif 15680-15680

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