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...

appearance as argument number 1

(documentation Shooting ChineseLanguage "这是 Impelling 的 subclass，当中 patient 是被某种 Device 通过空中射击出的发射物。")	chinese_format.kif 3046-3047
(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 11626-11628
(documentation Shooting JapaneseLanguage "patient が何らかの DeviceD によって空中を発射される発射物である Impelling の subclass 。")	japanese_format.kif 1814-1815
(externalImage Shooting "http://articulatesoftware.com/SUMOpictures/recreation/ hunting/ shooting.png")	pictureList.kif 728-728
(subclass Shooting Impelling)	Merge.kif 11624-11624	Shooting is a subclass of impelling

appearance as argument number 2

(termFormat ChineseLanguage Shooting "射击")	chinese_format.kif 1126-1126
(termFormat EnglishLanguage Shooting "shooting")	english_format.kif 1469-1469
(termFormat FrenchLanguage Shooting "tirer")	french_format.kif 804-804
(termFormat Hindi Shooting "nishaanebaajii")	terms-hindi.txt 336-336
(termFormat ItalianLanguage Shooting "Sparare")	terms-it.txt 339-339
(termFormat JapaneseLanguage Shooting "射撃")	japanese_format.kif 2488-2488
(termFormat PortugueseLanguage Shooting "Atirar")	portuguese_format.kif 756-756
(termFormat cb Shooting "pagluthang")	terms-cb.txt 341-341
(termFormat cz Shooting "shooting")	terms-cz.txt 375-375
(termFormat de Shooting "Schiessen")	terms-de.txt 634-634
(termFormat ro Shooting "împuºcare")	relations-ro.kif 825-825
(termFormat tg Shooting "binabaril")	terms-tg.txt 340-340

appearance as argument number 3

(domain angleOfFire 1 Shooting)

MilitaryDevices.kif 255-255

The number 1 argument of angle of fire is an instance of shooting

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 ?G) (patient ?S ?P) (instance ?P Projectile)) (exists (?SUB) (and (subProcess ?SUB ?S) (path ?SUB ?B))))	Mid-level-ontology.kif 1301-1313	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 object 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 ?S Shooting) (instance ?G Gun) (instrument ?S ?G)) (exists (?E ?GB ?B ?C ?M) (and (subProcess ?E ?S) (instance ?E Exiting) (eventLocated ?E ?GB) (instance ?GB GunBarrel) (part ?GB ?G) (objectTransferred ?E ?B) (instance ?B Bullet) (origin ?B ?C) (instance ?C BulletCartridge) (located ?C ?GB) (path ?E ?GB) (entrance ?M ?GB) (instance ?M GunMuzzle))))	Mid-level-ontology.kif 1362-1381	If a process is an instance of shooting and an object is an instance of gun and the object is an instrument for the process, then there exist a transfer, the objectB,, , another object,, , a third object and another region such that the transfer is a subprocess of the process and the transfer is an instance of exiting and the transfer is located at the objectB and the objectB is an instance of gun barrel and the objectB is a part of the object and the object transferred in the transfer is the other object and the other object is an instance of bullet and the other object originates at the third object and the third object is an instance of bullet cartridge and the third object is located at the objectB and the objectB is path along which the transfer occurs and the other region is the entrance for the objectB and the other region is an instance of gun muzzle
(=> (and (instance ?S Shooting) (instrument ?S ?G) (instance ?G ArtilleryCannon)) (attribute ?S LowAngleFire))	MilitaryDevices.kif 189-194	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 LowAngleFire is an attribute of the process
(=> (and (instance ?S Shooting) (instrument ?S ?G) (instance ?G Gun)) (exists (?C ?I ?B) (and (instance ?C GunChamber) (part ?C ?G) (instance ?I Inserting) (instance ?B BulletCartridge) (destination ?I ?C) (objectTransferred ?I ?B) (before (EndFn (WhenFn ?I)) (BeginFn (WhenFn ?S))))))	Mid-level-ontology.kif 1337-1352	If a process is an instance of shooting and an object is an instrument for the process and the object is an instance of gun, then there exist another object, a transfer and a third object such that the other object is an instance of gun chamber and the other object is a part of the object and the transfer is an instance of inserting and the third object is an instance of bullet cartridge and the transfer ends up at the other object and the object transferred in the transfer is the third object and the end of the time of existence of the transfer happens before the beginning of the time of existence of the process
(=> (and (instance ?S Shooting) (instrument ?S ?G) (instance ?G Howitzer)) (or (attribute ?S HighAngleFire) (attribute ?S LowAngleFire)))	MilitaryDevices.kif 219-226	If a process is an instance of shooting and an object is an instrument for the process and the object is an instance of howitzer, then HighAngleFire is an attribute of the process or LowAngleFire is an attribute of the process
(=> (and (instance ?S Shooting) (instrument ?S ?G) (instance ?G MortarGun)) (attribute ?S HighAngleFire))	MilitaryDevices.kif 242-247	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 HighAngleFire is an attribute of the process
(=> (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 weapon carrying capability a military vehicle, a kind of weapon and 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 1204-1211	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 1235-1242	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

(=> (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 1250-1258	If a physical is an instance of bullet, then the physical has the 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 ?B Buttstock) (hasPurpose ?B (exists (?L ?S ?A ?SH) (and (instance ?L Longgun) (part ?B ?L) (instance ?S Shooting) (instument ?S ?L) (agent ?S ?A) (instance ?A Human) (part ?SH ?A) (instance ?SH Shoulder) (holdsDuring (WhenFn ?S) (meetsSpatially ?S ?B))))))	Mid-level-ontology.kif 1440-1455	If a physical is an instance of butt stock, then the physical has the purpose there exist an entity, another entity,, , a third entity and the other entityH such that the entity is an instance of long gun and the physical is a part of the entity and the other entity is an instance of shooting and instument the other entity and the entity and the third entity is an agent of the other entity and the third entity is an instance of human and the other entityH is a part of the third entity and the other entityH is an instance of shoulder and the other entity meets the physical holds during the time of existence of the other entity
(=> (instance ?G ArtilleryCannon) (hasPurpose ?G (exists (?S ?X) (and (instance ?S Shooting) (instrument ?S ?G) (angleOfFire ?S (MeasureFn ?X AngularDegree)) (greaterThanOrEqualTo ?X 0) (lessThanOrEqualTo ?X 45)))))	MilitaryDevices.kif 177-187	If a physical is an instance of artillery cannon, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of shooting and the physical is an instrument for the entity and the angleOfFire of the entity the other entity angular degree(s) is the other entity angular degree(s) and the other entity is greater than or equal to 0 and the other entity is less than or equal to 45
(=> (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 1786-1801	If a physical is an instance of automatic gun, then the physical has the 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 equal the entity and the other entity and the third entity causes the entity and the third entity causes the other entity
(=> (instance ?G Howitzer) (hasPurpose ?G (exists (?S ?X) (and (instance ?S Shooting) (instrument ?S ?G) (angleOfFire ?S (MeasureFn ?X AngularDegree)) (greaterThanOrEqualTo ?X 0) (lessThanOrEqualTo ?X 90)))))	MilitaryDevices.kif 207-217	If a physical is an instance of howitzer, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of shooting and the physical is an instrument for the entity and the angleOfFire of the entity the other entity angular degree(s) is the other entity angular degree(s) and the other entity is greater than or equal to 0 and the other entity is less than or equal to 90
(=> (instance ?G MortarGun) (hasPurpose ?G (exists (?S ?X) (and (instance ?S Shooting) (instrument ?S ?G) (angleOfFire ?S (MeasureFn ?X AngularDegree)) (greaterThanOrEqualTo ?X 45) (lessThanOrEqualTo ?X 90)))))	MilitaryDevices.kif 230-240	If a physical is an instance of mortar gun, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of shooting and the physical is an instrument for the entity and the angleOfFire of the entity the other entity angular degree(s) is the other entity angular degree(s) and the other entity is greater than or equal to 45 and the other entity is less than or equal to 90
(=> (instance ?G Shotgun) (hasPurpose ?G (exists (?S ?SHELL) (and (instance ?S Shooting) (instrument ?S ?G) (patient ?S ?SHELL) (instance ?SHELL ShotShell)))))	Mid-level-ontology.kif 1933-1941	If a physical is an instance of shot gun, then the physical has the purpose there exist an entity and the entityHELL such that the entity is an instance of shooting and the physical is an instrument for the entity and the entityHELL is a patient of the entity and the entityHELL is an instance of shot shell
(=> (instance ?GUN Firearm) (hasPurpose ?GUN (exists (?A ?SHOOT ?S) (and (instance ?A Human) (subclass ?SHOOT Shooting) (instance ?S ?SHOOT) (objectTransferred ?S ?GUN) (capability ?SHOOT agent ?A) (not (exists (?A2) (and (instance ?A2 Human) (not (equal ?A ?A2)) (agent ?S ?A2))))))))	Mid-level-ontology.kif 1873-1889	If a physical is an instance of firearm, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of human and the other entity is a subclass of shooting and the third entity is an instance of the other entity and the object transferred in the third entity is the physical and the entity is capable of doing the other entity as a agent and there doesn't exist the entity2 such that the entity2 is an instance of human and equal the entity and the entity2 and the entity2 is an agent of the third entity
(=> (instance ?GUN Gun) (capability Shooting instrument ?GUN))	Mid-level-ontology.kif 1231-1233	If an object is an instance of gun, then the object is capable of doing shooting as a instrument
(=> (instance ?GUN Handgun) (hasPurpose ?GUN (exists (?MAN ?S ?H ?G ?S) (and (instance ?MAN Human) (instance ?S Shooting) (instrument ?S ?GUN) (agent ?S ?MAN) (instance ?G Grabbing) (subProcess ?G ?S) (patient ?G ?GUN) (agent ?G ?MAN) (instrument ?G ?H) (instance ?H Hand) (part ?H ?MAN) (not (modalAttribute (exists (?H2) (and (instance ?H2 Hand) (not (equal ?H ?H2)) (part ?H2 ?MAN) (instrument ?G ?H2))) Necessity))))))	Mid-level-ontology.kif 1976-2000	If a physical is an instance of hand gun, then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity and the other entity such that the entity is an instance of human and the other entity is an instance of shooting and the physical is an instrument for the other entity and the entity is an agent of the other entity and the fourth entity is an instance of grabbing and the fourth entity is a subprocess of the other entity and the physical is a patient of the fourth entity and the entity is an agent of the fourth entity and the third entity is an instrument for the fourth entity and the third entity is an instance of hand and the third entity is a part of the entity and the statement there exists the third entity2 such that the third entity2 is an instance of hand and equal the third entity and the third entity2 and the third entity2 is a part of the entity and the third entity2 is an instrument for the fourth entity doesn't have the modal force of necessity
(=> (instance ?L Longgun) (hasPurpose ?L (exists (?S ?A) (and (instance ?S Shooting) (instrument ?S ?L) (agent ?S ?A) (instance ?A Human) (holdsDuring (WhenFn ?S) (exists (?G) (and (instance ?G Grabbing) (agent ?G ?A) (patient ?G ?L) (modalAttribute (exists (?H1 ?H2) (and (instance ?H1 Hand) (part ?H1 ?A) (instance ?H2 Hand) (part ?H2 ?A) (not (equal ?H1 ?H2)) (instrument ?G ?H1) (instrument ?G ?H2))) Necessity))))))))	Mid-level-ontology.kif 1897-1923	If a physical is an instance of long gun, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of shooting and the physical is an instrument for the entity and the other entity is an agent of the entity and the other entity is an instance of human and there exists a third entity such that the third entity is an instance of grabbing and the other entity is an agent of the third entity and the physical is a patient of the third entity and the statement there exist a fourth entity and a fifth entity such that the fourth entity is an instance of hand and the fourth entity is a part of the other entity and the fifth entity is an instance of hand and the fifth entity is a part of the other entity and equal the fourth entity and the fifth entity and the fourth entity is an instrument for the third entity and the fifth entity is an instrument for the third entity has the modal force of necessity holds during the time of existence of the entity
(=> (instance ?L ProjectileLauncher) (capability Shooting instrument ?L))	Mid-level-ontology.kif 1200-1202	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 1110-1112	If an object is an instance of projectile, then the object is capable of doing shooting as a patient
(=> (instance ?SHELL ShotShell) (hasPurpose ?SHELL (exists (?S ?G) (and (instance ?S Shooting) (instrument ?S ?G) (instance ?G Shotgun) (patient ?S ?SHELL)))))	Mid-level-ontology.kif 1132-1140	If a physical is an instance of shot shell, then the physical has the 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 shot gun and the physical is a patient of the entity
(=> (instance ?SKEET SkeetShooting) (exists (?SHOOTING) (and (instance ?SHOOTING Shooting) (subProcess ?SHOOTING ?SKEET))))	Sports.kif 1213-1218	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 203-208	If a process is an instance of shooting sport, 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 1803-1814	If a physical is an instance of gun trigger, then the physical has the 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 3.0 is open source software produced by Articulate Software and its partners