ExplosiveDevice(explosive device) | Roman_candle, banger, burster, bursting_charge, catherine_wheel, charge, cracker, explosive, explosive_charge, explosive_compound, explosive_device, firecracker, firework, fizgig, maroon, pinwheel, pyrotechnic, rocket, seal_bomb, serpent, skyrocket, squib, torpedo |
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 | Explosive device is a subclass of device |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21824-21824 | Bomb is a subclass of explosive device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17856-17856 | Explosive mine is a subclass of explosive device |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 191-191 | Grenade is a subclass of explosive device |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 130-130 | Nuclear weapon is a subclass of explosive device |
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 |
|