No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3186-3186 |
conventionalLongName "Convention for the Conservation of Antarctic Seals" and AntarcticSealsConvention |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3188-3188 |
conventionalShortName "Antarctic Seals" and AntarcticSealsConvention |
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 |
|