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 19393-19395
(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 19392-19392 Explosive device is a subclass of device

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


(subclass Bomb ExplosiveDevice) Mid-level-ontology.kif 23466-23466 Bomb is a subclass of explosive device
(subclass LandMine ExplosiveDevice) Mid-level-ontology.kif 19407-19407 Land mine 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 22855-22855 Nuclear weapon is a subclass of explosive device
(termFormat ChineseTraditionalLanguage ExplosiveDevice "爆炸裝置") domainEnglishFormat.kif 22854-22854 Nuclear weapon is a subclass of explosive device
(termFormat EnglishLanguage ExplosiveDevice "explosive device") domainEnglishFormat.kif 22853-22853 Nuclear weapon is a subclass of explosive device

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


(=>
    (instance ?D ExplosiveDevice)
    (exists (?S)
        (and
            (instance ?S ExplosiveSubstance)
            (part ?S ?D))))
Mid-level-ontology.kif 19440-19445
(=>
    (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 19397-19405

consequent
-------------------------


(=>
    (instance ?B Bomber)
    (hasPurpose ?B
        (exists (?T ?D)
            (and
                (instance ?T Transportation)
                (instrument ?T ?B)
                (patient ?T ?D)
                (instance ?D ExplosiveDevice)))))
Military.kif 254-262


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 3.0 is open source software produced by Articulate Software and its partners