| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12291-12291 | 杀害 是 摧毁 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18073-18073 | 收获 是 杀害 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18257-18257 | 执行 是 杀害 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18275-18275 | 自杀 是 杀害 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18444-18444 | 谋杀 是 杀害 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18455-18455 | 令人窒息 是 杀害 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18490-18490 | 挨饿 是 杀害 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22039-22039 | 私刑 是 杀害 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22092-22092 | 自杀性爆炸事件 是 杀害 的 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 |
|
|