No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5168-5168 |
Red sea is connected to gulf of aden |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5171-5171 |
Somalia meets gulf of aden |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5170-5170 |
Yemen meets gulf of aden |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5167-5167 |
Gulf of aden has name "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 |
|