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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GulfOfAden

 Sigma KEE - GulfOfAden
GulfOfAden

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 5169-5169 GulfOfAden est connect� � ArabianSea
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2474-2474
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4710-4710
No TPTP formula. May not be expressible in strict first order. Geography.kif 5165-5165 GulfOfAden est une instance de Gulf
No TPTP formula. May not be expressible in strict first order. Geography.kif 5166-5166 GulfOfAden est une instance de plan d'eau sal�

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 5168-5168 RedSea est connect� � GulfOfAden
No TPTP formula. May not be expressible in strict first order. Geography.kif 5171-5171 Somalia rencontre GulfOfAden
No TPTP formula. May not be expressible in strict first order. Geography.kif 5170-5170 Yemen rencontre GulfOfAden
No TPTP formula. May not be expressible in strict first order. Geography.kif 5167-5167 GulfOfAden s'appele nom "Gulf of Aden"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27054-27054
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27053-27053
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27052-27052


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