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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Washington

appearance as argument number 1

(documentation Washington EnglishLanguage "An AmericanState on the PacificOcean.") CountriesAndRegions.kif 1143-1143
(externalImage Washington " pictures/ geography/ US_States/ washington.png") pictureList.kif 832-832
(instance Washington AmericanState) CountriesAndRegions.kif 1139-1139
(meetsSpatially Washington Canada) CountriesAndRegions.kif 1140-1140
(meetsSpatially Washington Oregon) CountriesAndRegions.kif 1142-1142
(meetsSpatially Washington PacificOcean) CountriesAndRegions.kif 1141-1141

appearance as argument number 2

(meetsSpatially California Washington) CountriesAndRegions.kif 907-907
(meetsSpatially Idaho Washington) CountriesAndRegions.kif 941-941
(termFormat ChineseLanguage Washington "华盛顿") domainEnglishFormat.kif 62238-62238
(termFormat ChineseTraditionalLanguage Washington "華盛頓") domainEnglishFormat.kif 62237-62237
(termFormat EnglishLanguage Washington "washington") domainEnglishFormat.kif 62236-62236

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