| 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 19410-19412 | |
| 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 19409-19409 | 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 23483-23483 | Bomb 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. | Mid-level-ontology.kif 19424-19424 | Land mine 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 22866-22866 | Nuclear weapon is a subclass of explosive device |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22865-22865 | Nuclear weapon is a subclass of explosive device |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22864-22864 | Nuclear weapon is a subclass of explosive device |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19457-19462 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19414-19422 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Military.kif 244-252 |
|
|
|
|