No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3246-3247 |
conventionalLongName "Basel Convention on the Control of Transboundary Movements of Hazardous Wastes and Their Disposal" and HazardousWastesConvention |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3249-3249 |
conventionalShortName "Basel Convention" and HazardousWastesConvention |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3250-3250 |
conventionalShortName "Hazardous Wastes" and HazardousWastesConvention |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27672-27672 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27671-27671 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27670-27670 |
|