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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - StraitOfHormuz
StraitOfHormuz

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 5160-5160 StraitOfHormuz e' conectado com GulfOfOman
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3192-3192
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2988-2988
No TPTP formula. May not be expressible in strict first order. Geography.kif 5313-5313 StraitOfHormuz e' uma instancia de Area Aquatica salgada
No TPTP formula. May not be expressible in strict first order. Geography.kif 5312-5312 StraitOfHormuz e' uma instancia de Strait

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 5154-5154 PersianGulf e' conectado com StraitOfHormuz
No TPTP formula. May not be expressible in strict first order. Geography.kif 5314-5314 StraitOfHormuz se chama nome "Strait of Hormuz"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55542-55542
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55541-55541
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55540-55540


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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