| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12276-12276 | Destrucao e' uma sub-classe de Causar Dano |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 590-590 | PreciseDestruction e' uma sub-classe de Destrucao |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21815-21815 | Arson e' uma sub-classe de Destrucao |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21819-21819 | Bombing e' uma sub-classe de Destrucao |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22121-22121 | Vandalism e' uma sub-classe de Destrucao |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12291-12291 | Matar e' uma sub-classe de Destrucao |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2433-2433 | ClosingGraphicalWindow e' uma sub-classe de Destrucao |
|
|