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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Nevada
Nevada(Nevada)
more pictures...
Battle_Born_State, NV, Nevada, Sagebrush_State, Silver_State

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


(documentation Nevada EnglishLanguage "A state in the western UnitedStates.") CountriesAndRegions.kif 1032-1032
(externalImage Nevada "http://upload.wikimedia.org/wikipedia/commons/6/6d/ LasVegasSign06212005.jpg") pictureList.kif 5380-5380
(externalImage Nevada "http://upload.wikimedia.org/wikipedia/commons/7/76/ Las_Vegas_strip.jpg") pictureList.kif 5381-5381
(externalImage Nevada "http://upload.wikimedia.org/wikipedia/commons/9/92/ Rotary-clock.jpg") pictureList.kif 5382-5382
(externalImage Nevada "http://upload.wikimedia.org/wikipedia/commons/d/d2/ Map_of_Nevada_NA.png") pictureList.kif 5150-5150
(externalImage Nevada "http://upload.wikimedia.org/wikipedia/en/4/4e/GRBA_Arial-Wheeler-Winter.jpg") pictureList.kif 5378-5378
(externalImage Nevada "http://upload.wikimedia.org/wikipedia/en/b/b3/JT17M.jpg") pictureList.kif 5376-5376
(externalImage Nevada "http://upload.wikimedia.org/wikipedia/en/f/f6/Charleston_peak.JPG") pictureList.kif 5383-5383
(instance Nevada AmericanState) CountriesAndRegions.kif 1029-1029 Nevada is an instance of american state
(meetsSpatially Nevada California) CountriesAndRegions.kif 1031-1031 Nevada meets california
(meetsSpatially Nevada Oregon) CountriesAndRegions.kif 1030-1030 Nevada meets Oregon

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


(geographicSubregion Countries_USA_provinces_Nevada_cities_LasVegas Nevada) ComputingBrands.kif 2385-2385 Countries_USA_provinces_Nevada_cities_LasVegas is a geographic subregion of Nevada
(meetsSpatially Arizona Nevada) CountriesAndRegions.kif 884-884 Arizona meets Nevada
(meetsSpatially Idaho Nevada) CountriesAndRegions.kif 943-943 Idaho meets Nevada
(meetsSpatially Utah Nevada) CountriesAndRegions.kif 1119-1119 Utah meets Nevada
(termFormat EnglishLanguage Nevada "Nevada") domainEnglishFormat.kif 65234-65234


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