Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
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 |
|
|
| (subclass ExplosiveDevice Device) | Merge.kif 16305-16305 | Explosive device is a subclass of device |
| (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.") | Merge.kif 16306-16308 | Explosive device is a subclass of device |
| (externalImage ExplosiveDevice "http://upload.wikimedia.org/wikipedia/en/ thumb/ 9/ 96/ Reservehigh20048611453.jpg/ 180px_Reservehigh20048611453.jpg") | pictureList.kif 1104-1104 | Explosive device is a subclass of device |
| appearance as argument number 2 |
|
|
| (subclass Bomb ExplosiveDevice) | Merge.kif 16395-16395 | Bomb is a subclass of explosive device |
| (termFormat EnglishLanguage ExplosiveDevice "explosive device") | domainEnglishFormat.kif 22846-22846 | Bomb is a subclass of explosive device |
| (termFormat ChineseTraditionalLanguage ExplosiveDevice "爆炸裝置") | domainEnglishFormat.kif 22847-22847 | Bomb is a subclass of explosive device |
| (termFormat ChineseLanguage ExplosiveDevice "爆炸装置") | domainEnglishFormat.kif 22848-22848 | Bomb is a subclass of explosive device |
| antecedent |
|
|
| (=> (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 19761-19769 | If X is an instance of explosive device, then X has the purpose there exist Y, Z such that Y is an instance of explosion, X is an instrument for Y, Y causes Z, and Z is an instance of damaging |
| (=> (instance ?D ExplosiveDevice) (exists (?S) (and (instance ?S ExplosiveSubstance) (part ?S ?D)))) |
Mid-level-ontology.kif 19803-19808 | If X is an instance of explosive device, then there exists Y such that Y is an instance of explosive substance and Y is a part of X |
| consequent |
|
|
| (=> (instance ?B Bomber) (hasPurpose ?B (exists (?T ?D) (and (instance ?T Transportation) (instrument ?T ?B) (patient ?T ?D) (instance ?D ExplosiveDevice))))) |
Military.kif 276-284 | If X is an instance of bomber, then X has the purpose there exist Y, Z such that Y is an instance of transportation, X is an instrument for Y, Z is a patient of Y, and Z is an instance of explosive device |
|