No TPTP formula. May not be expressible in strict first order. | Merge.kif 12298-12298 | 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 21814-21814 | Arson is a subclass of destruction |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21818-21818 | Bombing is a subclass of destruction |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22120-22120 | Vandalism is a subclass of destruction |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12313-12313 | 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 |