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


KB Term:  Term intersection
English Word: 

  Shooting

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


(subclass Shooting Impelling) Merge.kif 11750-11750 Shooting is a subclass of impelling
(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 11752-11754 Shooting is a subclass of impelling
(externalImage Shooting "http://articulatesoftware.com/SUMOpictures/recreation/ hunting/ shooting.png") pictureList.kif 728-728 Shooting is a subclass of impelling

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


(termFormat EnglishLanguage Shooting "shooting") english_format.kif 1473-1473

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


(=>
    (instance ?S Shooting)
    (exists (?P ?L)
        (and
            (instance ?P Projectile)
            (patient ?S ?P)
            (instance ?L ProjectileLauncher)
            (instrument ?S ?L))))		 Mid-level-ontology.kif 1201-1208 If X is an instance of shooting, then there exist Y, Z such that Y is an instance of projectile, Y is a patient of X, Z is an instance of projectile launcher, and Z is an instrument for X
(=>
    (instance ?SHOOT Shooting)
    (exists (?PROJECTILE ?GUN)
        (and
            (instance ?PROJECTILE Projectile)
            (patient ?SHOOT ?PROJECTILE)
            (instance ?GUN Gun)
            (instrument ?SHOOT ?GUN))))		 Mid-level-ontology.kif 1270-1277 If X is an instance of shooting, then there exist Y, Z such that Y is an instance of projectile, Y is a patient of X, Z is an instance of gun, and Z is an instrument for X
(=>
    (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 1336-1348 If All of the following hold: (1) X is an instance of gun (2) Y is an instance of gun barrel (3) Y is a part of X (4) Z is an instance of shooting (5) X is an instrument for Z (6) W is a patient of Z (7) W is an instance of projectile, then there exists V such that V is a subprocess of Z and Y is path along which V occurs
(=>
    (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 1372-1387 If X is an instance of shooting, Y is an instrument for X, and Y is an instance of gun, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of gun chamber (3) Z is a part of Y (4) W is an instance of inserting (5) V is an instance of bullet cartridge (6) W ends up at Z (7) the object transferred in W is V (8) the end of the time of existence of W happens before the beginning of the time of existence of X
(=>
    (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 1397-1416 If X is an instance of shooting, Y is an instance of gun, and Y is an instrument for X, then All of the following hold: (1) there exist Z, W,, , V,, , U (2) T such that Z is a subprocess of X (3) Z is an instance of exiting (4) Z is located at W (5) W is an instance of gun barrel (6) W is a part of Y (7) the object transferred in Z is V (8) V is an instance of bullet (9) V originates at U (10) U is an instance of bullet cartridge (11) U is located at W (12) W is path along which Z occurs (13) T is the entrance for W (14) T is an instance of gun muzzle
(=>
    (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 X can carry Y weapons of type Z., W is an instance of Z, W is capable of doing V as a U, and V is a subclass of shooting or V is a subclass of damaging, then X is capable of doing V as a U
(=>
    (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 X is capable of doing Y as a Z and Y is a subclass of shooting, then there exists W such that W is an instance of weapon, W is a part of X, and W is capable of doing Y as a Z
(=>
    (and
        (instance ?S Shooting)
        (instrument ?S ?G)
        (instance ?G ArtilleryCannon))
    (attribute ?S LowAngleFire))		 MilitaryDevices.kif 189-194 If X is an instance of shooting, Y is an instrument for X, and Y is an instance of artillery cannon, then low angle fire is an attribute of X
(=>
    (and
        (instance ?S Shooting)
        (instrument ?S ?G)
        (instance ?G Howitzer))
    (or
        (attribute ?S HighAngleFire)
        (attribute ?S LowAngleFire)))		 MilitaryDevices.kif 219-226 If X is an instance of shooting, Y is an instrument for X, and Y is an instance of howitzer, then high angle fire is an attribute of X or low angle fire is an attribute of X
(=>
    (and
        (instance ?S Shooting)
        (instrument ?S ?G)
        (instance ?G MortarGun))
    (attribute ?S HighAngleFire))		 MilitaryDevices.kif 242-247 If X is an instance of shooting, Y is an instrument for X, and Y is an instance of mortar gun, then high angle fire is an attribute of X
(=>
    (and
        (instance ?S Shooting)
        (attribute ?S ?A)
        (instance ?A ShootingAngle))
    (or
        (instance ?A HighAngleFire)
        (instance ?A LowAngleFire)))		 MilitaryDevices.kif 280-287 If X is an instance of shooting, Y is an attribute of X, and Y is an instance of shooting angle, then Y is an instance of high angle fire or Y is an instance of low angle fire
(=>
    (and
        (instance ?S Shooting)
        (attribute ?S HighAngleFire)
        (angleOfFire ?S
            (MeasureFn ?A AngularDegree)))
    (and
        (greaterThanOrEqualTo ?A 45)
        (lessThanOrEqualTo ?A 90)))		 MilitaryDevices.kif 294-302 If X is an instance of shooting, high angle fire is an attribute of X, and the angleOfFire of X Y angular degree(s) is Y angular degree(s), then Y is greater than or equal to 45 and Y is less than or equal to 90
(=>
    (and
        (instance ?S Shooting)
        (attribute ?S LowAngleFire)
        (angleOfFire ?S
            (MeasureFn ?A AngularDegree)))
    (and
        (greaterThanOrEqualTo ?A 0)
        (lessThanOrEqualTo ?A 45)))		 MilitaryDevices.kif 309-317 If X is an instance of shooting, low angle fire is an attribute of X, and the angleOfFire of X Y angular degree(s) is Y angular degree(s), then Y is greater than or equal to 0 and Y is less than or equal to 45
(=>
    (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 ?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 376-385 If All of the following hold: (1) X is an instance of shooting (2) Y is an instrument for X (3) Z is a patient of X (4) the width of Z is W (5) Y is an instance of V (6) Z is an instance of projectile (7) U is a caliber of V, then equal U and W
(=>
    (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

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


(=>
    (instance ?PROJECTILE Projectile)
    (capability Shooting patient ?PROJECTILE))		 Mid-level-ontology.kif 1107-1109 If X is an instance of projectile, then X 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 1129-1137 If X is an instance of shot shell, then X has the purpose there exist Y, Z such that Y is an instance of shooting, Z is an instrument for Y, Z is an instance of shot gun, and X is a patient of Y
(=>
    (instance ?L ProjectileLauncher)
    (capability Shooting instrument ?L))		 Mid-level-ontology.kif 1197-1199 If X is an instance of projectile launcher, then X is capable of doing shooting as a instrument
(=>
    (instance ?GUN Gun)
    (capability Shooting instrument ?GUN))		 Mid-level-ontology.kif 1266-1268 If X is an instance of gun, then X is capable of doing shooting as a instrument
(=>
    (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 1285-1293 If X is an instance of bullet, then X has the purpose there exist Y, Z such that Y is an instance of shooting, Z is an instrument for Y, Z is an instance of gun, and X is a patient of Y
(=>
    (instance ?B Buttstock)
    (hasPurpose ?B
        (exists (?L ?S ?A ?SH)
            (and
                (instance ?L Longgun)
                (part ?B ?L)
                (instance ?S Shooting)
                (instrument ?S ?L)
                (agent ?S ?A)
                (instance ?A Human)
                (part ?SH ?A)
                (instance ?SH Shoulder)
                (holdsDuring
                    (WhenFn ?S)
                    (meetsSpatially ?S ?B))))))		 Mid-level-ontology.kif 1475-1490 If X is an instance of butt stock, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of long gun (3) X is a part of Y (4) Z is an instance of shooting (5) Y is an instrument for Z (6) W is an agent of Z (7) W is an instance of human (8) V is a part of W (9) V is an instance of shoulder (10) Z meets X holds during the time of existence of Z
(=>
    (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 1855-1870 If X is an instance of automatic gun, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that W is an instance of pulling (3) V is an instance of gun trigger (4) V is a patient of W (5) V is a part of X (6) Y is an instance of shooting (7) Z is an instance of shooting (8) X is an instrument for Y (9) X is an instrument for Z (10) equal Y (11) Z (12) W causes Y (13) W causes Z
(=>
    (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 1872-1883 If X is an instance of gun trigger, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Z is an instance of automatic gun (3) X is a part of Z (4) X is a patient of W (5) W is an instance of pulling (6) Y is an instance of shooting (7) Z is an instrument for Y (8) W causes Y
(=>
    (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 1942-1958 If X is an instance of firearm, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of human (3) Z is a subclass of shooting (4) W is an instance of Z (5) the object transferred in W is X (6) Y is capable of doing Z as a agent (7) there doesn't exist V such that V is an instance of human (8) equal Y (9) V (10) V is an agent of W
(=>
    (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 1966-1992 If X is an instance of long gun, then All of the following hold: (1) X has the purpose there exist Y (2) Z such that Y is an instance of shooting (3) X is an instrument for Y (4) Z is an agent of Y (5) Z is an instance of human (6) there exists W such that W is an instance of grabbing (7) Z is an agent of W (8) X is a patient of W (9) the statement there exist V (10) U such that V is an instance of hand (11) V is a part of Z (12) U is an instance of hand (13) U is a part of Z (14) equal V (15) U (16) V is an instrument for W (17) U is an instrument for W has the modal force of necessity holds during the time of existence of Y
(=>
    (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 2002-2010 If X is an instance of shot gun, then X has the purpose there exist Y, Z such that Y is an instance of shooting, X is an instrument for Y, Z is a patient of Y, and Z is an instance of shot shell
(=>
    (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 2045-2069 If X is an instance of hand gun, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W,, , V (2) Z such that Y is an instance of human (3) Z is an instance of shooting (4) X is an instrument for Z (5) Y is an agent of Z (6) V is an instance of grabbing (7) V is a subprocess of Z (8) X is a patient of V (9) Y is an agent of V (10) W is an instrument for V (11) W is an instance of hand (12) W is a part of Y (13) the statement there doesn't exist U such that U is an instance of hand (14) equal W (15) U (16) U is a part of Y (17) U is an instrument for V doesn't have the modal force of necessity
(=>
    (instance ?M GuidedMissile)
    (hasPurpose ?M
        (exists (?S ?D)
            (and
                (instance ?S Shooting)
                (instance ?D Damaging)
                (objectTransferred ?S ?M)
                (instrument ?D ?M)))))		 Military.kif 339-347 If X is an instance of guided missile, then X has the purpose there exist Y, Z such that Y is an instance of shooting, Z is an instance of damaging, the object transferred in Y is X, and X is an instrument for Z
(=>
    (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 X is an instance of artillery cannon, then X has the purpose there exist Y and Z such that Y is an instance of shooting and X is an instrument for Y and the angleOfFire of Y Z angular degree(s) is Z angular degree(s) and Z is greater than or equal to 0 and Z is less than or equal to 45
(=>
    (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 X is an instance of howitzer, then X has the purpose there exist Y and Z such that Y is an instance of shooting and X is an instrument for Y and the angleOfFire of Y Z angular degree(s) is Z angular degree(s) and Z is greater than or equal to 0 and Z 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 X is an instance of mortar gun, then X has the purpose there exist Y and Z such that Y is an instance of shooting and X is an instrument for Y and the angleOfFire of Y Z angular degree(s) is Z angular degree(s) and Z is greater than or equal to 45 and Z is less than or equal to 90
(=>
    (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 390-402 If X is an instance of projectile, Y is a caliber of Z, W is an instance of Z, the width of X is V, and equal Y and V, then W is capable of doing the class described by U 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 407-419 If X is an instance of projectile, Y is a caliber of Z, W is an instance of Z, the width of X is V, and equal Y and V, then W has the purpose there exists U such that U is an instance of shooting, X is a patient of U, and W is an instrument for U
(=>
    (instance ?SS ShootingSport)
    (exists (?S)
        (and
            (instance ?S Shooting)
            (subProcess ?S ?SS))))		 Sports.kif 203-208 If X is an instance of shooting sport, then there exists Y such that Y is an instance of shooting and Y is a subprocess of X
(=>
    (instance ?SKEET SkeetShooting)
    (exists (?SHOOTING)
        (and
            (instance ?SHOOTING Shooting)
            (subProcess ?SHOOTING ?SKEET))))		 Sports.kif 1227-1232 If X is an instance of skeet shooting, then there exists Y such that Y is an instance of shooting and Y is a subprocess of X


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