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 and 美國國家
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1031-1031 空間的符合 Nevada and 加州
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1030-1030 空間的符合 Nevada and 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 and Nevada
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 943-943 空間的符合 Idaho and Nevada
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1119-1119 空間的符合 猶他州 and 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