| ExplosiveDevice
| |
| 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 19410-19412 | |
| (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 19409-19409 |
| appearance as argument number 2 |
|
|
| (subclass Bomb ExplosiveDevice) | Mid-level-ontology.kif 23483-23483 | |
| (subclass Grenade ExplosiveDevice) | MilitaryDevices.kif 191-191 | |
| (subclass LandMine ExplosiveDevice) | Mid-level-ontology.kif 19424-19424 | |
| (subclass NuclearWeapon ExplosiveDevice) | WMD.kif 130-130 | |
| (termFormat ChineseLanguage ExplosiveDevice "爆炸装置") | domainEnglishFormat.kif 22866-22866 | |
| (termFormat ChineseTraditionalLanguage ExplosiveDevice "爆炸裝置") | domainEnglishFormat.kif 22865-22865 | |
| (termFormat EnglishLanguage ExplosiveDevice "explosive device") | domainEnglishFormat.kif 22864-22864 |
| antecedent |
|
|
| (=> (instance ?D ExplosiveDevice) (exists (?S) (and (instance ?S ExplosiveSubstance) (part ?S ?D)))) |
Mid-level-ontology.kif 19457-19462 | |
| (=> (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 19414-19422 |
| consequent |
|
|
| (=> (instance ?B Bomber) (hasPurpose ?B (exists (?T ?D) (and (instance ?T Transportation) (instrument ?T ?B) (patient ?T ?D) (instance ?D ExplosiveDevice))))) |
Military.kif 244-252 |
|
|
|