| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12337-12337 | Tuer est une sous-classe de destruction |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18100-18100 | Harvesting est une sous-classe de tuer |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18284-18284 | Execution est une sous-classe de tuer |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18302-18302 | Suicide est une sous-classe de tuer |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18471-18471 | Murder est une sous-classe de tuer |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18482-18482 | Suffocating est une sous-classe de tuer |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18517-18517 | Starving est une sous-classe de tuer |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22091-22091 | Lynching est une sous-classe de tuer |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22144-22144 | SuicideBombing est une sous-classe de tuer |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2800-2800 | Poaching est une sous-classe de tuer |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 243-243 | UdhiyahRitual est une sous-classe de tuer |
|
|