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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Grenade
Grenade(grenade)
grenade, shell

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


(documentation Grenade EnglishLanguage "A larger projectile that is not self powered and launched by some ArtilleryCannon or MortarGun") MilitaryDevices.kif 193-194
(externalImage Grenade "http://upload.wikimedia.org/wikipedia/commons/thumb/ 0/ 0d/ F1_grenade_DoD.jpg/ 270px-F1_grenade_DoD.jpg") pictureList.kif 1127-1127
(subclass Grenade ExplosiveDevice) MilitaryDevices.kif 191-191 Grenade is a subclass of explosive device
(subclass Grenade Projectile) MilitaryDevices.kif 190-190 Grenade is a subclass of projectile

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


(termFormat ChineseLanguage Grenade "手榴弹") domainEnglishFormat.kif 26563-26563
(termFormat ChineseTraditionalLanguage Grenade "手榴彈") domainEnglishFormat.kif 26562-26562
(termFormat EnglishLanguage Grenade "grenade") domainEnglishFormat.kif 26561-26561

consequent
-------------------------


(=>
    (and
        (instance ?SHOOTING Shooting)
        (instrument ?SHOOTING ?AC)
        (instance ?AC ArtilleryCannon))
    (exists (?PROJ)
        (and
            (instrument ?SHOOTING ?PROJ)
            (instance ?PROJ
                (UnionFn Missile Grenade)))))
MilitaryDevices.kif 179-188
(=>
    (and
        (instance ?SHOOTING Shooting)
        (instrument ?SHOOTING ?AC)
        (instance ?AC GrenadeLauncher))
    (exists (?PROJ)
        (and
            (instrument ?SHOOTING ?PROJ)
            (instance ?PROJ Grenade))))
MilitaryDevices.kif 597-605
(=>
    (and
        (instance ?SHOOTING Shooting)
        (instrument ?SHOOTING ?MG)
        (instance ?MG MortarGun))
    (exists (?PROJ)
        (and
            (instrument ?SHOOTING ?PROJ)
            (instance ?PROJ Grenade))))
MilitaryDevices.kif 198-206


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners