| Shooting
| |
| 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 10728-10730 | |
| (externalImage Shooting "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ recreation/ hunting/ shooting.png") | pictureList.kif 728-728 | |
| (subclass Shooting Impelling) | Merge.kif 10726-10726 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Shooting "射击") | chinese_format.kif 1126-1126 | |
| (termFormat EnglishLanguage Shooting "shooting") | english_format.kif 1474-1474 |
| 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 | |
| (=> (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 1625-1637 | |
| (=> (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 | |
| (=> (and (instance ?SHOOTING Shooting) (instrument ?SHOOTING ?AC) (instance ?AC GrenadeLauncher)) (exists (?PROJ) (and (instrument ?SHOOTING ?PROJ) (instance ?PROJ Grenade)))) |
MilitaryDevices.kif 597-605 | |
| (=> (and (instance ?SHOOTING Shooting) (instrument ?SHOOTING ?MG) (instance ?MG MortarGun)) (exists (?PROJ) (and (instrument ?SHOOTING ?PROJ) (instance ?PROJ Grenade)))) |
MilitaryDevices.kif 198-206 | |
| (=> (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 219-228 | |
| (=> (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 | |
| (=> (instance ?S Shooting) (exists (?P ?L) (and (instance ?P Projectile) (patient ?S ?P) (instance ?L ProjectileLauncher) (instrument ?S ?L)))) |
Mid-level-ontology.kif 1528-1535 | |
| (=> (instance ?SHOOT Shooting) (exists (?PROJECTILE ?GUN) (and (instance ?PROJECTILE Projectile) (patient ?SHOOT ?PROJECTILE) (instance ?GUN Gun) (instrument ?SHOOT ?GUN)))) |
Mid-level-ontology.kif 1559-1566 |
| 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 233-245 | |
| (=> (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 250-262 | |
| (=> (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 1574-1582 | |
| (=> (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 1979-1994 | |
| (=> (instance ?GUN Gun) (capability Shooting instrument ?GUN)) |
Mid-level-ontology.kif 1555-1557 | |
| (=> (instance ?L ProjectileLauncher) (capability Shooting instrument ?L)) |
Mid-level-ontology.kif 1524-1526 | |
| (=> (instance ?PROJECTILE Projectile) (capability Shooting patient ?PROJECTILE)) |
Mid-level-ontology.kif 1502-1504 | |
| (=> (instance ?SKEET SkeetShooting) (exists (?SHOOTING) (and (instance ?SHOOTING Shooting) (subProcess ?SHOOTING ?SKEET)))) |
Sports.kif 1051-1056 | |
| (=> (instance ?SS ShootingSport) (exists (?S) (and (instance ?S Shooting) (subProcess ?S ?SS)))) |
Sports.kif 156-161 | |
| (=> (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 1996-2007 |
|
|
|