No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4544-4544 |
North atlantic ocean is a geographic subregion of atlantic ocean |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4557-4557 |
South atlantic ocean is a geographic subregion of atlantic ocean |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4535-4535 |
Atlantic ocean has name "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 |
|