No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6835-6835 |
例 空氣污染問題 and 污染問題 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6843-6843 |
例 工業污染問題 and 污染問題 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6865-6865 |
例 核環境問題 and 污染問題 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6866-6866 |
例 石油污染問題 and 污染問題 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6845-6845 |
例 電廠排放問題 and 污染問題 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6847-6847 |
例 原污水污染問題 and 污染問題 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6836-6836 |
例 土壤污染問題 and 污染問題 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6851-6851 |
例 固體廢物處理問題 and 污染問題 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6864-6864 |
例 有毒化學污染問題 and 污染問題 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6846-6846 |
例 有毒廢物處理問題 and 污染問題 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6844-6844 |
例 車輛排放問題 and 污染問題 |
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 |
|