No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3246-3247 |
危险废物公约 是 "Basel Convention on the Control of Transboundary Movements of Hazardous Wastes and Their Disposal" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3249-3249 |
危险废物公约 是 "Basel Convention" 的 conventional 简称 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3250-3250 |
危险废物公约 是 "Hazardous Wastes" 的 conventional 简称 |
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 |
|