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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HandgrenadeAttack
HandgrenadeAttack(handgrenade attack)

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 22144-22147
(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 22143-22143 Handgrenade attack is a subclass of bombing

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


(termFormat ChineseLanguage HandgrenadeAttack "手榴弹袭击") domainEnglishFormat.kif 27364-27364
(termFormat ChineseTraditionalLanguage HandgrenadeAttack "手榴彈襲擊") domainEnglishFormat.kif 27363-27363
(termFormat EnglishLanguage HandgrenadeAttack "handgrenade attack") domainEnglishFormat.kif 27362-27362

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


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


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