No TPTP formula. May not be expressible in strict first order. | Merge.kif 12276-12276 | 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 21815-21815 | Arson is a subclass of destruction |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21819-21819 | Bombing is a subclass of destruction |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22121-22121 | Vandalism is a subclass of destruction |
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. | ComputerInput.kif 2433-2433 | Closing graphical window is a subclass of destruction |