No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21823-21823 | 子類 炸彈 and Weapon |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21824-21824 | 子類 炸彈 and 爆炸裝置 |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1249-1249 | 子類 莫洛托夫雞尾酒 and 炸彈 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21866-21866 | 子類 手榴彈 and 炸彈 |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6072-6072 | 子類 IED and 炸彈 |