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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Colorado

Sigma KEE - Colorado
Colorado

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


(documentation Colorado EnglishLanguage "A large western state in the UnitedStates.") CountriesAndRegions.kif 913-913
(externalImage Colorado "http://articulatesoftware.com/SUMOpictures/geography/ US_States/ colorado.png") pictureList.kif 360-360
(instance Colorado AmericanState) CountriesAndRegions.kif 908-908 Colorado est une instance de AmericanState
(meetsSpatially Colorado Arizona) CountriesAndRegions.kif 910-910 Colorado rencontre Arizona
(meetsSpatially Colorado NewMexico) CountriesAndRegions.kif 911-911 Colorado rencontre NewMexico
(meetsSpatially Colorado Texas) CountriesAndRegions.kif 912-912 Colorado rencontre Texas
(meetsSpatially Colorado Utah) CountriesAndRegions.kif 909-909 Colorado rencontre Utah

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


(capitalCity DenverColorado Colorado) CountriesAndRegions.kif 838-838 capitalCity DenverColorado and Colorado
(meetsSpatially Kansas Colorado) CountriesAndRegions.kif 961-961 Kansas rencontre Colorado
(meetsSpatially Nebraska Colorado) CountriesAndRegions.kif 1026-1026 Nebraska rencontre Colorado
(meetsSpatially Wyoming Colorado) CountriesAndRegions.kif 1156-1156 Wyoming rencontre Colorado
(termFormat ChineseLanguage Colorado "科罗拉多州") domainEnglishFormat.kif 15696-15696
(termFormat ChineseTraditionalLanguage Colorado "科羅拉多州") domainEnglishFormat.kif 15695-15695
(termFormat EnglishLanguage Colorado "colorado") domainEnglishFormat.kif 15694-15694


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