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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SuicideBombing

Sigma KEE - SuicideBombing
SuicideBombing(自杀性爆炸事件)

appearance as argument number 1
-------------------------


(documentation SuicideBombing EnglishLanguage "A bomb attack in which the bomber intends to blow himself up during the course of the attack. The bomber is the delivery mechanism for the explosive and the bomb is typically in close contact with the bomber, such as being strapped around his torso. This action is distinguished from actions in which the bomber merely happens to be blown up by his own bomb in that the bomber knows that he is committing suicide.") Mid-level-ontology.kif 22093-22099
(externalImage SuicideBombing "http://upload.wikimedia.org/wikipedia/commons/ 2/ 23/ Rajiv_Gandhi_Memorial_bombsite.jpg") pictureList.kif 6905-6905
(subclass SuicideBombing Bombing) Mid-level-ontology.kif 22091-22091 自杀性爆炸事件轰炸subclass
(subclass SuicideBombing Killing) Mid-level-ontology.kif 22092-22092 自杀性爆炸事件杀害subclass

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


(termFormat ChineseLanguage SuicideBombing "自杀性爆炸事件") domainEnglishFormat.kif 56011-56011
(termFormat ChineseTraditionalLanguage SuicideBombing "自殺性爆炸事件") domainEnglishFormat.kif 56010-56010
(termFormat EnglishLanguage SuicideBombing "suicide bombing") domainEnglishFormat.kif 56009-56009

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


(=>
    (and
        (instance ?X SuicideBombing)
        (agent ?X ?P))
    (believes ?P
        (holdsDuring
            (FutureFn
                (WhenFn ?X))
            (attribute ?P Dead))))
Mid-level-ontology.kif 22111-22119
(=>
    (instance ?X SuicideBombing)
    (exists (?A)
        (and
            (agent ?X ?A)
            (holdsDuring
                (FutureFn
                    (WhenFn ?X))
                (attribute ?A Dead)))))
Mid-level-ontology.kif 22101-22109


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