| Projectile
| |
| appearance as argument number 1 |
|
|
| (documentation Projectile EnglishLanguage "A missile, bullet, etc. that is fired from a Weapon.") | Mid-level-ontology.kif 1493-1494 | |
| (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 1492-1492 |
| appearance as argument number 2 |
|
|
| (subclass ArrowProjectile Projectile) | Mid-level-ontology.kif 2073-2073 | |
| (subclass Bullet Projectile) | Mid-level-ontology.kif 1566-1566 | |
| (subclass BulletCartridge Projectile) | Mid-level-ontology.kif 1578-1578 | |
| (subclass Grenade Projectile) | MilitaryDevices.kif 190-190 | |
| (subclass Missile Projectile) | Mid-level-ontology.kif 15314-15314 | |
| (subclass Rocket Projectile) | Mid-level-ontology.kif 19859-19859 | |
| (termFormat ChineseLanguage Projectile "抛射物") | domainEnglishFormat.kif 47599-47599 | |
| (termFormat ChineseTraditionalLanguage Projectile "拋射物") | domainEnglishFormat.kif 47598-47598 | |
| (termFormat EnglishLanguage Projectile "projectile") | domainEnglishFormat.kif 47597-47597 |
| 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 1619-1631 | |
| (=> (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 1496-1498 | |
| (=> (instance ?PROJECTILE Projectile) (exists (?SHELL) (and (instance ?SHELL ProjectileShell) (part ?SHELL ?PROJECTILE)))) |
Mid-level-ontology.kif 1508-1513 |
| consequent |
|
|
| (=> (and (instance ?L LoadingWeapon) (patient ?L ?P)) (instance ?P Projectile)) |
Mid-level-ontology.kif 1751-1755 | |
| (=> (instance ?S Shooting) (exists (?P ?L) (and (instance ?P Projectile) (patient ?S ?P) (instance ?L ProjectileLauncher) (instrument ?S ?L)))) |
Mid-level-ontology.kif 1522-1529 | |
| (=> (instance ?SHOOT Shooting) (exists (?PROJECTILE ?GUN) (and (instance ?PROJECTILE Projectile) (patient ?SHOOT ?PROJECTILE) (instance ?GUN Gun) (instrument ?SHOOT ?GUN)))) |
Mid-level-ontology.kif 1553-1560 |
|
|
|