Shooting - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Shooting

Shooting(shooting)

antiaircraft_fire, artillery_fire, barrage, barrage_fire, battery, blast, blaze, blaze_away, bombardment, broadside, burst, call_fire, cannon, cannon_fire, cannonade, close_supporting_fire, concentrated_fire, counterbattery_fire, counterbombardment, counterfire, countermortar_fire, counterpreparation_fire, countershot, cover, covering_fire, crossfire, crump, deep_supporting_fire, destruction_fire, direct_fire, direct_supporting_fire, discharge, distributed_fire, down, drive-by_shooting, drumfire, enfilade, enfilade_fire, fire, firing, firing_off, flight, fratricide, friendly_fire, fusillade, go_off, grazing_fire, gun, gun_down, gunfire...

VerbNet: throw-17.1|fire, hit-18.1|hit, throw-17.1|fire, poison-42.2|shoot, poison-42.2|shoot,

appearance as argument number 1

(documentation Shooting ChineseLanguage "这是 Impelling 的 subclass，当中 patient 是被某种 Device 通过空中射击出的发射物。")	Merge.kif 15644-15645
(documentation Shooting EnglishLanguage "The subclass of Impelling where the patient is a projectile that is fired through the air by means of some sort of Device.")	Merge.kif 15640-15642
(documentation Shooting JapaneseLanguage "patient が何らかの DeviceD によって空中を発射される発射物である Impelling の subclass 。")	Merge.kif 15647-15648
(externalImage Shooting "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ recreation/ hunting/ shooting.png")	pictureList.kif 728-728	"http://www.adampease.org/Articulate/SUMOpictures/pictures/ recreation/ hunting/ shooting.png" is a URL depicting shooting
(subclass Shooting Impelling)	Merge.kif 15638-15638	Shooting is a subclass of impelling

appearance as argument number 2

(termFormat ChineseLanguage Shooting "射击")	chinese_format.kif 1126-1126	"射击" is the printable form of shooting in ChineseLanguage
(termFormat EnglishLanguage Shooting "shooting")	english_format.kif 2087-2087	"shooting" is the printable form of shooting in english language
(termFormat JapaneseLanguage Shooting "射撃")	english_format.kif 2088-2088	"射撃" is the printable form of shooting in japanese language

antecedent

(=> (and (capability ?PC ?ROLE ?MV) (subclass ?PC Shooting)) (exists (?WEAPON) (and (instance ?WEAPON Weapon) (part ?WEAPON ?MV) (capability ?PC ?ROLE ?WEAPON))))	MilitaryDevices.kif 48-56	If an object is capable of doing a kind of process as a a case role and a kind of process is a subclass of shooting, then there exists another object such that the other object is an instance of weapon and the other object is a part of the object and the other object is capable of doing the kind of process as a the case role
(=> (and (instance ?G Gun) (instance ?B GunBarrel) (part ?B ?G) (instance ?S Shooting) (instrument ?S ?GUN) (patient ?S ?P) (instance ?P Projectile)) (exists (?SUB) (and (subProcess ?SUB ?S) (path ?SUB ?B))))	Mid-level-ontology.kif 1624-1636	If an object is an instance of gun and another object is an instance of gun barrel and the other object is a part of the object and a process is an instance of shooting and the objectUN is an instrument for the process and an entity is a patient of the process and the entity is an instance of projectile, then there exists the processUB such that the processUB is a subprocess of the process and the other object is path along which the processUB occurs
(=> (and (instance ?SHOOTING Shooting) (instrument ?SHOOTING ?AC) (instance ?AC ArtilleryCannon)) (exists (?PROJ) (and (instrument ?SHOOTING ?PROJ) (instance ?PROJ (UnionFn Missile Grenade)))))	MilitaryDevices.kif 178-187	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 596-604	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 197-205	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
(=> (and (instance ?SHOT Shooting) (instrument ?SHOT ?GUN) (patient ?SHOT ?PROJ) (width ?PROJ ?LM1) (instance ?GUN ?GUNCLASS) (instance ?PROJ Projectile) (caliber ?GUNCLASS ?LM)) (equal ?LM ?LM1))	MilitaryDevices.kif 218-227	If a process is an instance of shooting and an object is an instrument for the process and another object is a patient of the process and the width of the other object is an entity and the object is an instance of the objectCLASS and the other object is an instance of projectile and a length measure is a caliber of the objectCLASS, then the length measure is equal to the entity
(=> (and (weaponCarryingCapability ?MV ?WC ?COUNT) (instance ?WEAPON ?WC) (capability ?PC ?ROLE ?WEAPON) (or (subclass ?PC Shooting) (subclass ?PC Damaging))) (capability ?PC ?ROLE ?MV))	MilitaryDevices.kif 35-43	If a military vehicle %is weapon carrying capability a kind of weapon for a positive integer and an object is an instance of a kind of weapon and the object is capable of doing a kind of process as a a case role and a kind of process is a subclass of shooting or the kind of process is a subclass of damaging, then the military vehicle is capable of doing the kind of process as a the case role
(=> (instance ?S Shooting) (exists (?P ?L) (and (instance ?P Projectile) (patient ?S ?P) (instance ?L ProjectileLauncher) (instrument ?S ?L))))	Mid-level-ontology.kif 1527-1534	If a process is an instance of shooting, then there exist an entity and an object such that the entity is an instance of projectile and the entity is a patient of the process and the object is an instance of projectile launcher and the object is an instrument for the process
(=> (instance ?SHOOT Shooting) (exists (?PROJECTILE ?GUN) (and (instance ?PROJECTILE Projectile) (patient ?SHOOT ?PROJECTILE) (instance ?GUN Gun) (instrument ?SHOOT ?GUN))))	Mid-level-ontology.kif 1558-1565	If a process is an instance of shooting, then there exist an entity and an object such that the entity is an instance of projectile and the entity is a patient of the process and the object is an instance of gun and the object is an instrument for the process

consequent

(=> (and (instance ?PROJ Projectile) (caliber ?GUNCLASS ?LM) (instance ?GUN ?GUNCLASS) (width ?PROJ ?LM1) (equal ?LM ?LM1)) (capability (KappaFn ?SHOOTING (and (instance ?SHOOTING Shooting) (patient ?SHOOTING ?PROJ))) instrument ?GUN))	MilitaryDevices.kif 232-244	If an object is an instance of projectile and a length measure is a caliber of a kind of gun and another object is an instance of a kind of gun and the width of the object is the length measure1 and the length measure is equal to the length measure1, then the other object is capable of doing the class described by a symbolic string as a instrument
(=> (and (instance ?PROJ Projectile) (caliber ?GUNCLASS ?LM) (instance ?GUN ?GUNCLASS) (width ?PROJ ?LM1) (equal ?LM ?LM1)) (hasPurpose ?GUN (exists (?SHOOTING) (and (instance ?SHOOTING Shooting) (patient ?SHOOTING ?PROJ) (instrument ?SHOOTING ?GUN)))))	MilitaryDevices.kif 249-261	If an object is an instance of projectile and a length measure is a caliber of a kind of gun and a physical is an instance of a kind of gun and the width of the object is the length measure1 and the length measure is equal to the length measure1, then the physical purpose there exists another entity such that the other entity is an instance of shooting and the object is a patient of the other entity and the physical is an instrument for the other entity
(=> (instance ?B Bullet) (hasPurpose ?B (exists (?S ?GUN) (and (instance ?S Shooting) (instrument ?S ?GUN) (instance ?GUN Gun) (patient ?S ?B)))))	Mid-level-ontology.kif 1573-1581	If a physical is an instance of bullet, then the physical purpose there exist an entity and another entity such that the entity is an instance of shooting and the other entity is an instrument for the entity and the other entity is an instance of gun and the physical is a patient of the entity
(=> (instance ?G AutomaticGun) (hasPurpose ?G (exists (?S1 ?S2 ?P ?T) (and (instance ?P Pulling) (instance ?T GunTrigger) (patient ?P ?T) (part ?T ?G) (instance ?S1 Shooting) (instance ?S2 Shooting) (instrument ?S1 ?G) (instrument ?S2 ?G) (not (equal ?S1 ?S2)) (causes ?P ?S1) (causes ?P ?S2)))))	Mid-level-ontology.kif 1978-1993	If a physical is an instance of automatic gun, then the physical purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the third entity is an instance of pulling and the fourth entity is an instance of gun trigger and the fourth entity is a patient of the third entity and the fourth entity is a part of the physical and the entity is an instance of shooting and the other entity is an instance of shooting and the physical is an instrument for the entity and the physical is an instrument for the other entity and the entity is not equal to the other entity and the third entity causes the entity and the third entity causes the other entity
(=> (instance ?GUN Gun) (capability Shooting instrument ?GUN))	Mid-level-ontology.kif 1554-1556	If an object is an instance of gun, then the object is capable of doing shooting as a instrument
(=> (instance ?L ProjectileLauncher) (capability Shooting instrument ?L))	Mid-level-ontology.kif 1523-1525	If an object is an instance of projectile launcher, then the object is capable of doing shooting as a instrument
(=> (instance ?PROJECTILE Projectile) (capability Shooting patient ?PROJECTILE))	Mid-level-ontology.kif 1501-1503	If an object is an instance of projectile, then the object is capable of doing shooting as a patient
(=> (instance ?SKEET SkeetShooting) (exists (?SHOOTING) (and (instance ?SHOOTING Shooting) (subProcess ?SHOOTING ?SKEET))))	Sports.kif 1049-1054	If a process is an instance of skeet shooting, then there exists another process such that the other process is an instance of shooting and the other process is a subprocess of the process
(=> (instance ?SS ShootingSport) (exists (?S) (and (instance ?S Shooting) (subProcess ?S ?SS))))	Sports.kif 156-161	If a process is an instance of ShootingSport, then there exists another process such that the other process is an instance of shooting and the other process is a subprocess of the process
(=> (instance ?T GunTrigger) (hasPurpose ?T (exists (?S ?G ?P) (and (instance ?G AutomaticGun) (part ?T ?G) (patient ?P ?T) (instance ?P Pulling) (instance ?S Shooting) (instrument ?S ?G) (causes ?P ?S)))))	Mid-level-ontology.kif 1995-2006	If a physical is an instance of gun trigger, then the physical purpose there exist an entity, another entity and a third entity such that the other entity is an instance of automatic gun and the physical is a part of the other entity and the physical is a patient of the third entity and the third entity is an instance of pulling and the entity is an instance of shooting and the other entity is an instrument for the entity and the third entity causes the entity

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