| Shooting(tirer)
| |
| 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 11446-11448 | |
| (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 11444-11444 | Tirer est une sous-classe de propulser |
| 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 cz Shooting "shooting") | terms-cz.txt 375-375 | |
| (termFormat ro Shooting "împuºcare") | relations-ro.kif 825-825 | |
| (termFormat tg Shooting "binabaril") | terms-tg.txt 340-340 |
| 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 1207-1219 |
|
| (=> (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 1110-1117 | |
| (=> (instance ?SHOOT Shooting) (exists (?PROJECTILE ?GUN) (and (instance ?PROJECTILE Projectile) (patient ?SHOOT ?PROJECTILE) (instance ?GUN Gun) (instrument ?SHOOT ?GUN)))) |
Mid-level-ontology.kif 1141-1148 |
| consequent |
|
|
|
|
|