No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3269-3270 |
Marine life conservation convention is a conventional long name of "Convention on Fishing and Conservation of Living Resources of the High Seas" |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3272-3272 |
Marine life conservation convention is a conventional short name of "Marine Life Conservation" |
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 |
|