Bomb
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21877-21877 | |
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 21876-21876 | 炸弹 是 爆炸装置 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21875-21875 | 炸弹 是 武器 的 subclass |
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 21918-21918 | 手榴弹 是 炸弹 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6072-6072 | IED 是 炸弹 的 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. | 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 17755-17760 | |
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 21879-21884 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21891-21899 |