Grenade - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Grenade

Grenade(grenade)

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 1126-1126
(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 26668-26668
(termFormat ChineseTraditionalLanguage Grenade "手榴彈")	domainEnglishFormat.kif 26667-26667
(termFormat EnglishLanguage Grenade "grenade")	domainEnglishFormat.kif 26666-26666

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	If a process is an instance of shooting and an object is an instrument for the process and the object is an instance of artillery cannon, then there exists another object such that the other object is an instrument for the process and the other object is an instance of the union of missile and grenade
(=> (and (instance ?SHOOTING Shooting) (instrument ?SHOOTING ?AC) (instance ?AC GrenadeLauncher)) (exists (?PROJ) (and (instrument ?SHOOTING ?PROJ) (instance ?PROJ Grenade))))	MilitaryDevices.kif 597-605	If a process is an instance of shooting and an object is an instrument for the process and the object is an instance of grenade launcher, then there exists another object such that the other object is an instrument for the process and the other object 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 198-206	If a process is an instance of shooting and an object is an instrument for the process and the object is an instance of mortar gun, then there exists another object such that the other object is an instrument for the process and the other object is an instance of grenade

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