No TPTP formula. May not be expressible in strict first order.
Geography.kif 3246-3247
Hazardous wastes convention is a conventional long name of "Basel Convention on the Control of Transboundary Movements of Hazardous Wastes and Their Disposal"
No TPTP formula. May not be expressible in strict first order.