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

Formal Language: 



KB Term:  Term intersection
English Word: 

  HandgrenadeAttack

Sigma KEE - HandgrenadeAttack
HandgrenadeAttack(手榴弹袭击)

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


(documentation HandgrenadeAttack EnglishLanguage "An attack in which a HandGrenade is employed as an explosive device for the purpose of Destruction. A case in which a hand grenade is used as a blunt striking object in an attack would not be in this class.") Mid-level-ontology.kif 21861-21864
(externalImage HandgrenadeAttack "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 9d/ 200449152258blast008.jpg") pictureList.kif 8513-8513
(externalImage HandgrenadeAttack "http://upload.wikimedia.org/wikipedia/ en/ 0/ 01/ Grenade_training_with_dummy.jpg") pictureList.kif 9282-9282
(subclass HandgrenadeAttack Bombing) Mid-level-ontology.kif 21860-21860 手榴弹袭击轰炸subclass

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


(termFormat ChineseLanguage HandgrenadeAttack "手榴弹袭击") domainEnglishFormat.kif 27330-27330
(termFormat ChineseTraditionalLanguage HandgrenadeAttack "手榴彈襲擊") domainEnglishFormat.kif 27329-27329
(termFormat EnglishLanguage HandgrenadeAttack "handgrenade attack") domainEnglishFormat.kif 27328-27328

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


(=>
    (instance ?X HandgrenadeAttack)
    (exists (?HG)
        (and
            (instance ?HG HandGrenade)
            (instrument ?X ?HG))))
Mid-level-ontology.kif 21879-21884


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