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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Nevada

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

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1032-1032
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5380-5380
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5381-5381
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5382-5382
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5150-5150
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5378-5378
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5376-5376
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5383-5383
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1029-1029 Nevada is an instance of american state
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1031-1031 Nevada meets california
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1030-1030 Nevada meets Oregon

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2385-2385 Countries_USA_provinces_Nevada_cities_LasVegas is a geographic subregion of Nevada
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 884-884 Arizona meets Nevada
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 943-943 Idaho meets Nevada
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1119-1119 Utah meets Nevada
No TPTP formula. May not be expressible in strict first order. 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