| ExplosiveDevice(爆炸装置)
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17842-17844 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1104-1104 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17841-17841 | 爆炸装置 是 设备 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21824-21824 | 炸弹 是 爆炸装置 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17856-17856 | 爆炸性的矿井 是 爆炸装置 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 191-191 | 手榴弹 是 爆炸装置 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 130-130 | 核武器 是 爆炸装置 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22852-22852 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22851-22851 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22850-22850 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17869-17874 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17846-17854 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Military.kif 177-185 |
|
|
|