| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21818-21818 | 子類 轟炸 and Destruction |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21833-21833 | 子類 汽車爆炸 and 轟炸 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21859-21859 | 子類 手榴彈襲擊 and 轟炸 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22033-22033 | 子類 信件炸彈襲擊 and 轟炸 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22050-22050 | 子類 迫擊砲襲擊 and 轟炸 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22069-22069 | 子類 火箭導彈襲擊 and 轟炸 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22090-22090 | 子類 自殺性爆炸事件 and 轟炸 |
|
|