Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Grenade

 Sigma KEE - Grenade
Grenade(grenade)
grenade, shell

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


(subclass Grenade Bomb) MilitaryDevices.kif 348-348 Grenade is a subclass of bomb
(documentation Grenade EnglishLanguage "A larger projectile that is not self powered and launched by some ArtilleryCannon or MortarGun") MilitaryDevices.kif 350-351 Grenade is a subclass of bomb
(externalImage Grenade "http://upload.wikimedia.org/wikipedia/commons/thumb/ 0/ 0d/ F1_grenade_DoD.jpg/ 270px_F1_grenade_DoD.jpg") pictureList.kif 1126-1126 Grenade is a subclass of bomb

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


(termFormat EnglishLanguage Grenade "grenade") domainEnglishFormat.kif 26642-26642
(termFormat ChineseTraditionalLanguage Grenade "手榴彈") domainEnglishFormat.kif 26643-26643
(termFormat ChineseLanguage Grenade "手榴弹") domainEnglishFormat.kif 26644-26644

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


(=>
    (and
        (instance ?SHOOTING Shooting)
        (instrument ?SHOOTING ?AC)
        (instance ?AC ArtilleryCannon))
    (exists (?PROJ)
        (and
            (instrument ?SHOOTING ?PROJ)
            (or
                (instance ?PROJ Missile)
                (instance ?PROJ Grenade)))))		 MilitaryDevices.kif 336-346 If X is an instance of shooting, Y is an instrument for X, and Y is an instance of artillery cannon, then there exists Z such that Z is an instrument for X and Z is an instance of missile or Z is an instance of grenade
(=>
    (and
        (instance ?SHOOTING Shooting)
        (instrument ?SHOOTING ?MG)
        (instance ?MG MortarGun))
    (exists (?PROJ)
        (and
            (instrument ?SHOOTING ?PROJ)
            (instance ?PROJ Grenade))))		 MilitaryDevices.kif 355-363 If X is an instance of shooting, Y is an instrument for X, and Y is an instance of mortar gun, then there exists Z such that Z is an instrument for X and Z is an instance of grenade
(=>
    (and
        (instance ?SHOOTING Shooting)
        (instrument ?SHOOTING ?AC)
        (instance ?AC GrenadeLauncher))
    (exists (?PROJ)
        (and
            (instrument ?SHOOTING ?PROJ)
            (instance ?PROJ Grenade))))		 MilitaryDevices.kif 754-762 If X is an instance of shooting, Y is an instrument for X, and Y is an instance of grenade launcher, then there exists Z such that Z is an instrument for X and Z is an instance of grenade


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners