|
|
   Projectile
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Projectile EnglishLanguage "A missile, bullet, etc. that is fired from a Weapon.") | Mid-level-ontology.kif 1071-1072 | |
| (externalImage Projectile "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ tools/ weapons/ projectile_01.png") | pictureList.kif 678-678 | |
| (subclass Projectile Weapon) | Mid-level-ontology.kif 1070-1070 |
| appearance as argument number 2 |
|
|
| (subclass ArrowProjectile Projectile) | Mid-level-ontology.kif 1624-1624 | |
| (subclass Bullet Projectile) | Mid-level-ontology.kif 1139-1139 | |
| (subclass BulletCartridge Projectile) | Mid-level-ontology.kif 1151-1151 | |
| (subclass Grenade Projectile) | MilitaryDevices.kif 190-190 | |
| (subclass Missile Projectile) | Mid-level-ontology.kif 17115-17115 | |
| (subclass Rocket Projectile) | Mid-level-ontology.kif 21531-21531 | |
| (termFormat ChineseLanguage Projectile "抛射物") | domainEnglishFormat.kif 47643-47643 | |
| (termFormat ChineseTraditionalLanguage Projectile "拋射物") | domainEnglishFormat.kif 47642-47642 | |
| (termFormat EnglishLanguage Projectile "projectile") | domainEnglishFormat.kif 47641-47641 |
| 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 1192-1204 | |
| (=> (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 1074-1076 |
| consequent |
|
|
| (=> (and (instance ?L LoadingWeapon) (patient ?L ?P)) (instance ?P Projectile)) |
Mid-level-ontology.kif 1329-1333 | |
| (=> (instance ?S Shooting) (exists (?P ?L) (and (instance ?P Projectile) (patient ?S ?P) (instance ?L ProjectileLauncher) (instrument ?S ?L)))) |
Mid-level-ontology.kif 1095-1102 | |
| (=> (instance ?SHOOT Shooting) (exists (?PROJECTILE ?GUN) (and (instance ?PROJECTILE Projectile) (patient ?SHOOT ?PROJECTILE) (instance ?GUN Gun) (instrument ?SHOOT ?GUN)))) |
Mid-level-ontology.kif 1126-1133 |
|
|
|
