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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 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
(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 65259-65259


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