| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2805-2805 | 子類 污染 and SocialInteraction |
| 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 污染 |
|
|