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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Nevada

Sigma KEE - Nevada
Nevada
more pictures...

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
(meetsSpatially Nevada California) CountriesAndRegions.kif 1031-1031
(meetsSpatially Nevada Oregon) CountriesAndRegions.kif 1030-1030

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


(geographicSubregion Countries_USA_provinces_Nevada_cities_LasVegas Nevada) ComputingBrands.kif 2385-2385
(meetsSpatially Arizona Nevada) CountriesAndRegions.kif 884-884
(meetsSpatially Idaho Nevada) CountriesAndRegions.kif 943-943
(meetsSpatially Utah Nevada) CountriesAndRegions.kif 1119-1119
(termFormat EnglishLanguage Nevada "Nevada") domainEnglishFormat.kif 65234-65234


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