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


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 是 美国国家 的 instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1031-1031 Nevada 接上 加州
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1030-1030 Nevada 接上 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 是 Nevada 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 884-884 Arizona 接上 Nevada
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 943-943 Idaho 接上 Nevada
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1119-1119 犹他州 接上 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