No TPTP formula. May not be expressible in strict first order. | Merge.kif 12291-12291 | Killing is a subclass of destruction |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18073-18073 | Harvesting is a subclass of killing |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18257-18257 | Execution is a subclass of killing |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18275-18275 | Suicide is a subclass of killing |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18444-18444 | Murder is a subclass of killing |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18455-18455 | Suffocating is a subclass of killing |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18490-18490 | Starving is a subclass of killing |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22039-22039 | Lynching is a subclass of killing |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22092-22092 | 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 |