| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17841-17841 | 子類 爆炸裝置 and Device |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 130-130 | 子類 核武器 and 爆炸裝置 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 191-191 | 子類 手榴彈 and 爆炸裝置 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17856-17856 | 子類 爆炸性的礦井 and 爆炸裝置 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21824-21824 | 子類 炸彈 and 爆炸裝置 |
|
|