No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3163-3164 |
空气污染 - sulphur94协议 是 "Protocol to the 1979 Convention on Long-Range Transboundary Air Pollution on Further Reduction of Sulphur Emissions" 的 conventional 全名 |
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 |
|