| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2805-2805 | 污染 是 社交 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2479-2479 | 空气污染 是 污染 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2748-2748 | 工业污染 是 污染 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2795-2795 | 农药污染 是 污染 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2961-2961 | 车辆污染 是 污染 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2970-2970 | 水污染 是 污染 的 subclass |
|
|