No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3157-3159 |
conventionalLongName "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%" and AirPollution-Sulphur85Protocol |
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 |
|