| Projectile
| |
| appearance as argument number 1 |
|
|
| (documentation Projectile EnglishLanguage "A missile, bullet, etc. that is fired from a Weapon.") | Mid-level-ontology.kif 1107-1108 | |
| (externalImage Projectile "http://articulatesoftware.com/SUMOpictures/tools/ weapons/ projectile_01.png") | pictureList.kif 678-678 | |
| (subclass Projectile Weapon) | Mid-level-ontology.kif 1106-1106 |
| appearance as argument number 2 |
|
|
| (subclass ArrowProjectile Projectile) | Mid-level-ontology.kif 2131-2131 | |
| (subclass Bullet Projectile) | Mid-level-ontology.kif 1247-1247 | |
| (subclass BulletCartridge Projectile) | Mid-level-ontology.kif 1259-1259 | |
| (subclass FirearmShot Projectile) | Mid-level-ontology.kif 1142-1142 | |
| (subclass Grenade Projectile) | MilitaryDevices.kif 190-190 | |
| (subclass Missile Projectile) | Mid-level-ontology.kif 19291-19291 | |
| (subclass Rocket Projectile) | Mid-level-ontology.kif 23734-23734 | |
| (subclass ShotShell Projectile) | Mid-level-ontology.kif 1114-1114 | |
| (subclass ShotgunSlug Projectile) | Mid-level-ontology.kif 1164-1164 | |
| (termFormat ChineseLanguage Projectile "抛射物") | domainEnglishFormat.kif 47691-47691 | |
| (termFormat ChineseTraditionalLanguage Projectile "拋射物") | domainEnglishFormat.kif 47690-47690 | |
| (termFormat EnglishLanguage Projectile "projectile") | domainEnglishFormat.kif 47689-47689 |
| 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 1300-1312 | |
| (=> (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 1110-1112 |
| consequent |
|
|
| (=> (and (instance ?L LoadingWeapon) (patient ?L ?P)) (instance ?P Projectile)) |
Mid-level-ontology.kif 1588-1592 | |
| (=> (instance ?S Shooting) (exists (?P ?L) (and (instance ?P Projectile) (patient ?S ?P) (instance ?L ProjectileLauncher) (instrument ?S ?L)))) |
Mid-level-ontology.kif 1203-1210 | |
| (=> (instance ?SHOOT Shooting) (exists (?PROJECTILE ?GUN) (and (instance ?PROJECTILE Projectile) (patient ?SHOOT ?PROJECTILE) (instance ?GUN Gun) (instrument ?SHOOT ?GUN)))) |
Mid-level-ontology.kif 1234-1241 | |
| (=> (target ?A ?O) (exists (?W ?P) (and (instance ?W Weapon) (instrument ?A ?W) (instance ?P Projectile) (patient ?A ?P) (destination ?A ?O)))) |
MilitaryProcesses.kif 2792-2800 |
|
|
|