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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 15496-15498
(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 15495-15495 Explosive device is a subclass of device

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


(subclass Bomb ExplosiveDevice) Mid-level-ontology.kif 19624-19624 Bomb is a subclass of explosive device
(subclass ExplosiveMine ExplosiveDevice) Mid-level-ontology.kif 15509-15509 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 15521-15526
(=>
    (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 15499-15507

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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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