| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3157-3159 |
空气污染 - sulphur85协议 是 "Protocol to the 1979 Convention on Long-Range Transboundary Air Pollution on the Reduction of Sulphur Emissions or Their Transboundary Fluxes by at least 30%" 的 conventional 全名 |
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6192-6192 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6191-6191 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6190-6190 |
|
AirPollution-Sulphur85Protocol