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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ExplosiveDevice

Sigma KEE - ExplosiveDevice
ExplosiveDevice

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 17234-17236
(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 17233-17233

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


(subclass Bomb ExplosiveDevice) Mid-level-ontology.kif 21282-21282
(subclass ExplosiveMine ExplosiveDevice) Mid-level-ontology.kif 17248-17248
(subclass Grenade ExplosiveDevice) MilitaryDevices.kif 191-191
(subclass NuclearWeapon ExplosiveDevice) WMD.kif 130-130
(termFormat ChineseLanguage ExplosiveDevice "爆炸装置") domainEnglishFormat.kif 22845-22845
(termFormat ChineseTraditionalLanguage ExplosiveDevice "爆炸裝置") domainEnglishFormat.kif 22844-22844
(termFormat EnglishLanguage ExplosiveDevice "explosive device") domainEnglishFormat.kif 22843-22843

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


(=>
    (instance ?D ExplosiveDevice)
    (exists (?S)
        (and
            (instance ?S ExplosiveSubstance)
            (part ?S ?D))))
Mid-level-ontology.kif 17261-17266
(=>
    (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 17238-17246

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