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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Idaho
more pictures...

appearance as argument number 1

(documentation Idaho EnglishLanguage "A state known for potatoes in the northwestern UnitedStates.") CountriesAndRegions.kif 945-946
(externalImage Idaho " Crooked_Creek_in_Gospel_Hump_Wilderness.jpg") pictureList.kif 5276-5276
(externalImage Idaho " Cot_sky.jpg") pictureList.kif 5273-5273
(externalImage Idaho " Idaho_USA12.jpg") pictureList.kif 5271-5271
(externalImage Idaho " City_of_rocks_view_NPS.jpg") pictureList.kif 5275-5275
(externalImage Idaho " National-atlas-idaho.PNG") pictureList.kif 5126-5126
(externalImage Idaho " Owyhee_Mountains.jpg") pictureList.kif 5270-5270
(externalImage Idaho " IdahoCity.jpg") pictureList.kif 5274-5274
(externalImage Idaho "") pictureList.kif 5272-5272
(instance Idaho AmericanState) CountriesAndRegions.kif 939-939
(meetsSpatially Idaho Canada) CountriesAndRegions.kif 940-940
(meetsSpatially Idaho Nevada) CountriesAndRegions.kif 943-943
(meetsSpatially Idaho Oregon) CountriesAndRegions.kif 942-942
(meetsSpatially Idaho Utah) CountriesAndRegions.kif 944-944
(meetsSpatially Idaho Washington) CountriesAndRegions.kif 941-941

appearance as argument number 2

(meetsSpatially Montana Idaho) CountriesAndRegions.kif 1021-1021
(meetsSpatially Wyoming Idaho) CountriesAndRegions.kif 1154-1154

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