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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - Colorado
CO, Centennial_State, 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 Colorado is an instance of american state
(meetsSpatially Colorado Arizona) CountriesAndRegions.kif 910-910 Colorado meets Arizona
(meetsSpatially Colorado NewMexico) CountriesAndRegions.kif 911-911 Colorado meets new mexico
(meetsSpatially Colorado Texas) CountriesAndRegions.kif 912-912 Colorado meets texas
(meetsSpatially Colorado Utah) CountriesAndRegions.kif 909-909 Colorado meets utah

appearance as argument number 2

(capitalCity DenverColorado Colorado) CountriesAndRegions.kif 838-838 Colorado is a capital city of denver colorado
(meetsSpatially Kansas Colorado) CountriesAndRegions.kif 961-961 Kansas meets colorado
(meetsSpatially Nebraska Colorado) CountriesAndRegions.kif 1026-1026 Nebraska meets colorado
(meetsSpatially Wyoming Colorado) CountriesAndRegions.kif 1156-1156 Wyoming meets colorado
(termFormat ChineseLanguage Colorado "科罗拉多州") domainEnglishFormat.kif 15687-15687
(termFormat ChineseTraditionalLanguage Colorado "科羅拉多州") domainEnglishFormat.kif 15686-15686
(termFormat EnglishLanguage Colorado "colorado") domainEnglishFormat.kif 15685-15685

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