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. |
Geography.kif 5162-5162 |
Iran encontra GulfOfOman |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5163-5163 |
Oman encontra GulfOfOman |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5159-5159 |
GulfOfOman se chama nome "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 |
|