|
|
   Bomb
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21825-21825 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 279-279 | |
| 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. | Mid-level-ontology.kif 21823-21823 | 子類 炸彈 and Weapon |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 2101-2101 | %每個 Shrapnel 是 炸彈 的 initially part |
| 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 炸彈 |
| 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. | domainEnglishFormat.kif 11567-11567 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11566-11566 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11565-11565 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17728-17733 | |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 2103-2118 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21827-21832 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21839-21847 |
|
|
|
