| BulletCartridge | |
| appearance as argument number 1 |
|
|
| (documentation BulletCartridge EnglishLanguage "The entire projectile consisting of a bullet, casing, gunpowder, and primer.") | Mid-level-ontology.kif 1260-1261 | |
| (subclass BulletCartridge Projectile) | Mid-level-ontology.kif 1259-1259 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage BulletCartridge "bullet cartridge") | Mid-level-ontology.kif 1262-1262 |
| antecedent |
|
|
| (=> (instance ?CARTRIDGE BulletCartridge) (hasPurpose ?CARTRIDGE (exists (?BULLET ?CASE) (and (instance ?BULLET Bullet) (instance ?CASE CartridgeCase) (properPart ?BULLET ?CARTRIDGE) (properPart ?CASE ?CARTRIDGE))))) |
Mid-level-ontology.kif 1264-1272 |
| consequent |
|
|
| (=> (and (instance ?S Shooting) (instance ?G Gun) (instrument ?S ?G)) (exists (?E ?GB ?B ?C ?M) (and (subProcess ?E ?S) (instance ?E Exiting) (eventLocated ?E ?GB) (instance ?GB GunBarrel) (part ?GB ?G) (objectTransferred ?E ?B) (instance ?B Bullet) (origin ?B ?C) (instance ?C BulletCartridge) (located ?C ?GB) (path ?E ?GB) (entrance ?M ?GB) (instance ?M GunMuzzle)))) |
Mid-level-ontology.kif 1361-1380 | |
| (=> (and (instance ?S Shooting) (instrument ?S ?G) (instance ?G Gun)) (exists (?C ?I ?B) (and (instance ?C GunChamber) (part ?C ?G) (instance ?I Inserting) (instance ?B BulletCartridge) (destination ?I ?C) (objectTransferred ?I ?B) (before (EndFn (WhenFn ?I)) (BeginFn (WhenFn ?S)))))) |
Mid-level-ontology.kif 1336-1351 | |
| (=> (instance ?C GunChamber) (hasPurpose ?C (exists (?B) (and (instance ?B BulletCartridge) (contains ?C ?B))))) |
Mid-level-ontology.kif 1328-1334 | |
| (=> (instance ?CASE CartridgeCase) (exists (?CARTRIDGE ?BULLET ?K) (and (instance ?CARTRIDGE BulletCartridge) (instance ?BULLET Bullet) (instance ?K Keeping) (properPart ?CASE ?CARTRIDGE) (properPart ?BULLET ?CARTRIDGE) (agent ?K ?CASE) (patient ?K ?BULLET)))) |
Mid-level-ontology.kif 1277-1287 | |
| (=> (instance ?GUN RevolverGun) (exists (?CY ?COLL ?C ?BC) (and (part ?CY ?GUN) (instance ?CY GunCylinder) (part ?COLL ?CY) (instance ?COLL Collection) (member ?C ?COLL) (instance ?C GunChamber) (contains ?C ?BC) (instance ?BC BulletCartridge) (not (exists (?BC2) (and (instance ?BC2 BulletCartridge) (not (equal ?BC ?BC2)) (contains ?C ?BC2))))))) |
Mid-level-ontology.kif 2040-2058 |
|
|
|