| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21818-21818 | Bombing e' uma sub-classe de Destrucao |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21833-21833 | CarBombing e' uma sub-classe de Bombing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21859-21859 | HandgrenadeAttack e' uma sub-classe de Bombing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22033-22033 | LetterBombAttack e' uma sub-classe de Bombing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22050-22050 | MortarAttack e' uma sub-classe de Bombing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22069-22069 | RocketMissileAttack e' uma sub-classe de Bombing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22090-22090 | SuicideBombing e' uma sub-classe de Bombing |
|
|