No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5160-5160 |
StraitOfHormuz est connect� � GulfOfOman |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5162-5162 |
Iran rencontre GulfOfOman |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5163-5163 |
Oman rencontre GulfOfOman |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5159-5159 |
GulfOfOman s'appele nom "Gulf of Oman" |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27060-27060 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27059-27059 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27058-27058 |
|