| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6818-6818 | 环境问题 是 关注的区域 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6826-6826 | 土壤品质问题 是 环境问题 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6830-6830 | 环境水问题 是 环境问题 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6842-6842 | 污染问题 是 环境问题 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6853-6853 | 生物多样性问题 是 环境问题 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6882-6882 | 疾病状况问题 是 环境问题 的 subclass |
|
|