| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12426-12426 | 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 23457-23457 | Arson is a subclass of destruction |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23461-23461 | Bombing is a subclass of destruction |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23764-23764 | Vandalism is a subclass of destruction |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12441-12441 | Killing is a subclass of destruction |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2433-2433 | Closing graphical window is a subclass of destruction |
|
|