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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Wyoming
Wyoming(wyoming)
Equality_State, WY, Wyoming

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


(documentation Wyoming EnglishLanguage "A large western state in the UnitedStates.") CountriesAndRegions.kif 1157-1157
(externalImage Wyoming "http://articulatesoftware.com/SUMOpictures/geography/ US_States/ wyoming.png") pictureList.kif 845-845
(instance Wyoming AmericanState) CountriesAndRegions.kif 1153-1153 Wyoming is an instance of american state
(meetsSpatially Wyoming Colorado) CountriesAndRegions.kif 1156-1156 Wyoming meets colorado
(meetsSpatially Wyoming Idaho) CountriesAndRegions.kif 1154-1154 Wyoming meets Idaho
(meetsSpatially Wyoming Utah) CountriesAndRegions.kif 1155-1155 Wyoming meets utah

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


(meetsSpatially Montana Wyoming) CountriesAndRegions.kif 1022-1022 Montana meets wyoming
(meetsSpatially Nebraska Wyoming) CountriesAndRegions.kif 1025-1025 Nebraska meets wyoming
(meetsSpatially SouthDakota Wyoming) CountriesAndRegions.kif 1101-1101 South Dakota meets wyoming
(termFormat ChineseLanguage Wyoming "怀俄明") domainEnglishFormat.kif 63651-63651 South Dakota meets wyoming
(termFormat ChineseTraditionalLanguage Wyoming "懷俄明") domainEnglishFormat.kif 63650-63650 South Dakota meets wyoming
(termFormat EnglishLanguage Wyoming "wyoming") domainEnglishFormat.kif 63649-63649 South Dakota meets wyoming


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