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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DeadSea

 Sigma KEE - DeadSea
DeadSea(dead sea)
Dead_Sea

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 4641-4641
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6347-6347
No TPTP formula. May not be expressible in strict first order. Geography.kif 5099-5099 Dead sea is an instance of salt lake

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 5100-5100 Dead sea has name "Dead Sea"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18738-18738
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18737-18737
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18736-18736


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