Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  ExplosiveDevice

Sigma KEE - ExplosiveDevice
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 15548-15550
(externalImage ExplosiveDevice "http://upload.wikimedia.org/wikipedia/en/ thumb/ 9/ 96/ Reservehigh20048611453.jpg/ 180px-Reservehigh20048611453.jpg") pictureList.kif 1105-1105
(subclass ExplosiveDevice Device) Mid-level-ontology.kif 15547-15547 Explosive device is a subclass of device

appearance as argument number 2
-------------------------


(subclass Bomb ExplosiveDevice) Mid-level-ontology.kif 19676-19676 Bomb is a subclass of explosive device
(subclass ExplosiveMine ExplosiveDevice) Mid-level-ontology.kif 15561-15561 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 129-129 Nuclear weapon is a subclass of explosive device
(termFormat ChineseLanguage ExplosiveDevice "爆炸装置") domainEnglishFormat.kif 22777-22777
(termFormat ChineseTraditionalLanguage ExplosiveDevice "爆炸裝置") domainEnglishFormat.kif 22776-22776
(termFormat EnglishLanguage ExplosiveDevice "explosive device") domainEnglishFormat.kif 22775-22775

antecedent
-------------------------


(=>
    (instance ?D ExplosiveDevice)
    (exists (?S)
        (and
            (instance ?S ExplosiveSubstance)
            (part ?S ?D))))
Mid-level-ontology.kif 15573-15578
(=>
    (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 15551-15559

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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners