| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3163-3164 |
Air pollution- sulphur94 protocol is a conventional long name of "Protocol to the 1979 Convention on Long-Range Transboundary Air Pollution on Further Reduction of Sulphur Emissions" |
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6198-6198 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6197-6197 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6196-6196 |
|
AirPollution-Sulphur94Protocol