TreeView Knowledge Base Browser

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	If an object is an instance of explosive device, then there exists another object such that the other object is an instance of explosive substance and the other object is a part of the object
(=> (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	If a physical is an instance of explosive device, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of explosion and the physical is an instrument for the entity and the entity causes the other entity and the other entity is an instance of damaging

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