No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3269-3270 |
conventionalLongName "Convention on Fishing and Conservation of Living Resources of the High Seas" and MarineLifeConservationConvention |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3272-3272 |
conventionalShortName "Marine Life Conservation" and MarineLifeConservationConvention |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36173-36173 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36172-36172 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36171-36171 |
|