No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3186-3186 |
Antarctic seals convention is a conventional long name of "Convention for the Conservation of Antarctic Seals" |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3188-3188 |
Antarctic seals convention is a conventional short name of "Antarctic Seals" |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7770-7770 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7769-7769 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7768-7768 |
|