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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Wyoming

Sigma KEE - Wyoming
Wyoming

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


(documentation Wyoming EnglishLanguage "A large western state in the UnitedStates.") CountriesAndRegions.kif 1157-1157
(externalImage Wyoming "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ geography/ US_States/ wyoming.png") pictureList.kif 845-845
(instance Wyoming AmericanState) CountriesAndRegions.kif 1153-1153
(meetsSpatially Wyoming Colorado) CountriesAndRegions.kif 1156-1156
(meetsSpatially Wyoming Idaho) CountriesAndRegions.kif 1154-1154
(meetsSpatially Wyoming Utah) CountriesAndRegions.kif 1155-1155

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


(meetsSpatially Montana Wyoming) CountriesAndRegions.kif 1022-1022
(meetsSpatially Nebraska Wyoming) CountriesAndRegions.kif 1025-1025
(meetsSpatially SouthDakota Wyoming) CountriesAndRegions.kif 1101-1101
(termFormat ChineseLanguage Wyoming "怀俄明") domainEnglishFormat.kif 63599-63599
(termFormat ChineseTraditionalLanguage Wyoming "懷俄明") domainEnglishFormat.kif 63598-63598
(termFormat EnglishLanguage Wyoming "wyoming") domainEnglishFormat.kif 63597-63597


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