No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4544-4544 |
geographicSubregion NorthAtlanticOcean and AtlanticOcean |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4557-4557 |
geographicSubregion SouthAtlanticOcean and AtlanticOcean |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4535-4535 |
AtlanticOcean s'appele nom "Atlantic Ocean" |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8892-8892 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8891-8891 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8890-8890 |
|