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 |
(documentation ExplosiveDevice EnglishLanguage "A Device whose purpose is to explode. Note that ExplosiveDevice is not a subclass of Weapon, since explosives can be used in demolition work and in fireworks displays, for example.") | Mid-level-ontology.kif 17869-17871 | |
(externalImage ExplosiveDevice "http://upload.wikimedia.org/wikipedia/en/ thumb/ 9/ 96/ Reservehigh20048611453.jpg/ 180px-Reservehigh20048611453.jpg") | pictureList.kif 1104-1104 | |
(subclass ExplosiveDevice Device) | Mid-level-ontology.kif 17868-17868 | Explosive device is a subclass of device |
appearance as argument number 2 |
(subclass Bomb ExplosiveDevice) | Mid-level-ontology.kif 21876-21876 | Bomb is a subclass of explosive device |
(subclass ExplosiveMine ExplosiveDevice) | Mid-level-ontology.kif 17883-17883 | Explosive mine is a subclass of explosive device |
(subclass Grenade ExplosiveDevice) | MilitaryDevices.kif 191-191 | Grenade is a subclass of explosive device |
(subclass NuclearWeapon ExplosiveDevice) | WMD.kif 130-130 | Nuclear weapon is a subclass of explosive device |
(termFormat ChineseLanguage ExplosiveDevice "爆炸装置") | domainEnglishFormat.kif 22852-22852 | |
(termFormat ChineseTraditionalLanguage ExplosiveDevice "爆炸裝置") | domainEnglishFormat.kif 22851-22851 | |
(termFormat EnglishLanguage ExplosiveDevice "explosive device") | domainEnglishFormat.kif 22850-22850 |
antecedent |
(=> (instance ?D ExplosiveDevice) (exists (?S) (and (instance ?S ExplosiveSubstance) (part ?S ?D)))) |
Mid-level-ontology.kif 17896-17901 |
|
(=> (instance ?ED ExplosiveDevice) (hasPurpose ?ED (exists (?E ?D) (and (instance ?E Explosion) (instrument ?E ?ED) (causes ?E ?D) (instance ?D Damaging))))) |
Mid-level-ontology.kif 17873-17881 |
|
consequent |
(=> (instance ?B Bomber) (hasPurpose ?B (exists (?T ?D) (and (instance ?T Transportation) (instrument ?T ?B) (patient ?T ?D) (instance ?D ExplosiveDevice))))) |
Military.kif 177-185 |
|