| Projectile(抛射物)
| |
| appearance as argument number 1 |
|
|
| (documentation Projectile EnglishLanguage "A missile, bullet, etc. that is fired from a Weapon.") | Mid-level-ontology.kif 1114-1115 | |
| (externalImage Projectile "http://articulatesoftware.com/SUMOpictures/tools/ weapons/ projectile_01.png") | pictureList.kif 678-678 | |
| (subclass Projectile Weapon) | Mid-level-ontology.kif 1113-1113 | 抛射物 是 武器 的 subclass |
| appearance as argument number 2 |
|
|
| (subclass ArrowProjectile Projectile) | Mid-level-ontology.kif 1669-1669 | 箭射弹 是 抛射物 的 subclass |
| (subclass Bullet Projectile) | Mid-level-ontology.kif 1182-1182 | 子弹 是 抛射物 的 subclass |
| (subclass BulletCartridge Projectile) | Mid-level-ontology.kif 1194-1194 | BulletCartridge 是 抛射物 的 subclass |
| (subclass Grenade Projectile) | MilitaryDevices.kif 190-190 | 手榴弹 是 抛射物 的 subclass |
| (subclass Missile Projectile) | Mid-level-ontology.kif 17723-17723 | 导弹 是 抛射物 的 subclass |
| (subclass Rocket Projectile) | Mid-level-ontology.kif 22074-22074 | 火箭 是 抛射物 的 subclass |
| (termFormat ChineseLanguage Projectile "抛射物") | domainEnglishFormat.kif 47660-47660 | |
| (termFormat ChineseTraditionalLanguage Projectile "拋射物") | domainEnglishFormat.kif 47659-47659 | |
| (termFormat EnglishLanguage Projectile "projectile") | domainEnglishFormat.kif 47658-47658 |
| antecedent |
|
|
| (=> (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 1235-1247 | |
| (=> (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 | |
| (=> (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 | |
| (=> (instance ?PROJECTILE Projectile) (capability Shooting patient ?PROJECTILE)) |
Mid-level-ontology.kif 1117-1119 |
| consequent |
|
|
| (=> (and (instance ?L LoadingWeapon) (patient ?L ?P)) (instance ?P Projectile)) |
Mid-level-ontology.kif 1372-1376 | |
| (=> (instance ?S Shooting) (exists (?P ?L) (and (instance ?P Projectile) (patient ?S ?P) (instance ?L ProjectileLauncher) (instrument ?S ?L)))) |
Mid-level-ontology.kif 1138-1145 | |
| (=> (instance ?SHOOT Shooting) (exists (?PROJECTILE ?GUN) (and (instance ?PROJECTILE Projectile) (patient ?SHOOT ?PROJECTILE) (instance ?GUN Gun) (instrument ?SHOOT ?GUN)))) |
Mid-level-ontology.kif 1169-1176 |
|
|
|