No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5160-5160 |
Strait of hormuz is connected to gulf of oman |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5162-5162 |
Iran meets gulf of oman |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5163-5163 |
Oman meets gulf of oman |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5159-5159 |
Gulf of oman has name "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 |
|