| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21819-21819 | 子類 轟炸 and Destruction |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21834-21834 | 子類 汽車爆炸 and 轟炸 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21860-21860 | 子類 手榴彈襲擊 and 轟炸 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22034-22034 | 子類 信件炸彈襲擊 and 轟炸 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22051-22051 | 子類 迫擊砲襲擊 and 轟炸 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22070-22070 | 子類 火箭導彈襲擊 and 轟炸 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22091-22091 | 子類 自殺性爆炸事件 and 轟炸 |
|
|