| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21822-21822 | 炸弹 是 武器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21823-21823 | 炸弹 是 爆炸装置 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1249-1249 | 莫洛托夫鸡尾酒 是 炸弹 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21865-21865 | 手榴弹 是 炸弹 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6072-6072 | IED 是 炸弹 的 subclass |
|
|