No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6835-6835 |
空气污染问题 是 污染问题 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6843-6843 |
工业污染问题 是 污染问题 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6865-6865 |
核环境问题 是 污染问题 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6866-6866 |
石油污染问题 是 污染问题 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6845-6845 |
电厂排放问题 是 污染问题 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6847-6847 |
原污水污染问题 是 污染问题 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6836-6836 |
土壤污染问题 是 污染问题 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6851-6851 |
固体废物处理问题 是 污染问题 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6864-6864 |
有毒化学污染问题 是 污染问题 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6846-6846 |
有毒废物处理问题 是 污染问题 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6844-6844 |
车辆排放问题 是 污染问题 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46567-46567 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46566-46566 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46565-46565 |
|