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 5379-5379
(externalImage Nevada "http://upload.wikimedia.org/wikipedia/commons/7/76/ Las_Vegas_strip.jpg") pictureList.kif 5380-5380
(externalImage Nevada "http://upload.wikimedia.org/wikipedia/commons/9/92/ Rotary_clock.jpg") pictureList.kif 5381-5381
(externalImage Nevada "http://upload.wikimedia.org/wikipedia/commons/d/d2/ Map_of_Nevada_NA.png") pictureList.kif 5149-5149
(externalImage Nevada "http://upload.wikimedia.org/wikipedia/en/4/4e/GRBA_Arial_Wheeler_Winter.jpg") pictureList.kif 5377-5377
(externalImage Nevada "http://upload.wikimedia.org/wikipedia/en/b/b3/JT17M.jpg") pictureList.kif 5375-5375
(externalImage Nevada "http://upload.wikimedia.org/wikipedia/en/f/f6/Charleston_peak.JPG") pictureList.kif 5382-5382
(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 Las Vegas 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 65257-65257 Utah meets Nevada


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