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
(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 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