| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12313-12313 | Killing is a subclass of destruction |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18072-18072 | Harvesting is a subclass of killing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18256-18256 | Execution is a subclass of killing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18274-18274 | Suicide is a subclass of killing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18443-18443 | Murder is a subclass of killing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18454-18454 | Suffocating is a subclass of killing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18489-18489 | Starving is a subclass of killing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22038-22038 | Lynching is a subclass of killing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22091-22091 | Suicide bombing is a subclass of killing |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2800-2800 | Poaching is a subclass of killing |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 243-243 | Udhiyah ritual is a subclass of killing |
|
|