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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 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 è una sottoclasse di Dispositivo

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


(subclass Bomb ExplosiveDevice) Mid-level-ontology.kif 21876-21876 Bomb è una sottoclasse di ExplosiveDevice
(subclass ExplosiveMine ExplosiveDevice) Mid-level-ontology.kif 17883-17883 ExplosiveMine è una sottoclasse di ExplosiveDevice
(subclass Grenade ExplosiveDevice) MilitaryDevices.kif 191-191 Grenade è una sottoclasse di ExplosiveDevice
(subclass NuclearWeapon ExplosiveDevice) WMD.kif 130-130 NuclearWeapon è una sottoclasse di 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
(=>
    (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

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