| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2915-2915 | 卫生 是 移除 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2920-2920 | 污水处理 是 卫生 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2921-2921 | 固体废物处理 是 卫生 的 subclass |
|
|