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	ExplosiveDevice ist eine teilkategorie von Device

appearance as argument number 2

(subclass Bomb ExplosiveDevice)	Mid-level-ontology.kif 21876-21876	Bomb ist eine teilkategorie von ExplosiveDevice
(subclass ExplosiveMine ExplosiveDevice)	Mid-level-ontology.kif 17883-17883	ExplosiveMine ist eine teilkategorie von ExplosiveDevice
(subclass Grenade ExplosiveDevice)	MilitaryDevices.kif 191-191	Grenade ist eine teilkategorie von ExplosiveDevice
(subclass NuclearWeapon ExplosiveDevice)	WMD.kif 130-130	NuclearWeapon ist eine teilkategorie von ExplosiveDevice
(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	Wenn Object ist ein fall von ExplosiveDevice %n{nicht}, dann es gibt Object um Object ist ein fall von ExplosiveSubstance %n{nicht} und Object ist ein teil von Object %n{nicht}
(=> (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	Wenn Physical ist ein fall von ExplosiveDevice %n{nicht}, dann Physical hat Zweck von es gibt entity und entity um entity ist ein fall von Explosion %n{nicht} und Physical ist ein instrument fuer entity %n{nicht} und entity verursacht entity %n{nicht} und entity ist ein fall von Damaging %n{nicht} %n{nicht}

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

Wenn Physical ist ein fall von Bomber %n{nicht},
dann ** Physical hat Zweck von es gibt entity und ** entity um ** entity ist ein fall von Transportation %n{nicht} und ** Physical ist ein instrument fuer ** entity %n{nicht} und ** ** entity ist ein patient von ** entity %n{nicht} und ** ** entity ist ein fall von ExplosiveDevice %n{nicht} %n{nicht}