No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3235-3235 |
abbreviation "CITES" and EndangeredSpeciesConvention |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3231-3232 |
conventionalLongName "Convention on the International Trade in Endangered Species of Wild Flora and Fauna" and EndangeredSpeciesConvention |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3234-3234 |
conventionalShortName "EndangeredSpecies" and EndangeredSpeciesConvention |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22030-22030 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22029-22029 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22028-22028 |
|