| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12313-12313 | 杀害 是 摧毁 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18072-18072 | 收获 是 杀害 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18256-18256 | 执行 是 杀害 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18274-18274 | 自杀 是 杀害 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18443-18443 | 谋杀 是 杀害 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18454-18454 | 令人窒息 是 杀害 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18489-18489 | 挨饿 是 杀害 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22038-22038 | 私刑 是 杀害 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22091-22091 | 自杀性爆炸事件 是 杀害 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2800-2800 | 偷猎 是 杀害 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 243-243 | Udhiyah仪式 是 杀害 的 subclass |
|
|