No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2479-2479 |
子類 空氣污染 and 污染 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2748-2748 |
子類 工業污染 and 污染 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2795-2795 |
子類 農藥污染 and 污染 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2961-2961 |
子類 車輛污染 and 污染 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2970-2970 |
子類 水污染 and 污染 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46563-46563 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46562-46562 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46561-46561 |
|