| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11444-11444 | Destruction is a subclass of damaging |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 590-590 | Precise destruction is a subclass of destruction |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18288-18288 | Arson is a subclass of destruction |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18292-18292 | Bombing is a subclass of destruction |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18592-18592 | Vandalism is a subclass of destruction |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11459-11459 | Killing is a subclass of destruction |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2448-2448 | ClosingGraphicalWindow is a subclass of destruction |
|
|