| 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 2132-2132 | |
| (subclass Bullet Projectile) | Mid-level-ontology.kif 1248-1248 | |
| (subclass BulletCartridge Projectile) | Mid-level-ontology.kif 1260-1260 | |
| (subclass FirearmShot Projectile) | Mid-level-ontology.kif 1142-1142 | |
| (subclass Grenade Projectile) | MilitaryDevices.kif 347-347 | |
| (subclass Missile Projectile) | Mid-level-ontology.kif 19274-19274 | |
| (subclass Rocket Projectile) | Mid-level-ontology.kif 23717-23717 | |
| (subclass ShotShell Projectile) | Mid-level-ontology.kif 1114-1114 | |
| (subclass ShotgunSlug Projectile) | Mid-level-ontology.kif 1165-1165 | |
| (termFormat ChineseLanguage Projectile "抛射物") | domainEnglishFormat.kif 47662-47662 | |
| (termFormat ChineseTraditionalLanguage Projectile "拋射物") | domainEnglishFormat.kif 47661-47661 | |
| (termFormat EnglishLanguage Projectile "projectile") | domainEnglishFormat.kif 47660-47660 |
| 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 1301-1313 | |
| (=> (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 390-402 | |
| (=> (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 407-419 | |
| (=> (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 376-385 | |
| (=> (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 1589-1593 | |
| (=> (instance ?S Shooting) (exists (?P ?L) (and (instance ?P Projectile) (patient ?S ?P) (instance ?L ProjectileLauncher) (instrument ?S ?L)))) |
Mid-level-ontology.kif 1204-1211 | |
| (=> (instance ?SHOOT Shooting) (exists (?PROJECTILE ?GUN) (and (instance ?PROJECTILE Projectile) (patient ?SHOOT ?PROJECTILE) (instance ?GUN Gun) (instrument ?SHOOT ?GUN)))) |
Mid-level-ontology.kif 1235-1242 | |
| (=> (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 |
|
|
|