BulletCartridge - Sigma Knowledge base Browser

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	Bullet cartridge is a subclass of projectile

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

If a physical is an instance of bullet cartridge,
then the physical has the purpose there exist an entity and another entity such that the entity is an instance of bullet and the other entity is an instance of casing and the entity is a proper part of the physical and the other entity is a proper part of the physical

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	If a process is an instance of shooting and an object is an instance of gun and the object is an instrument for the process, then there exist a transfer, the objectB,, , another object,, , a third object and another region such that the transfer is a subprocess of the process and the transfer is an instance of exiting and the transfer is located at the objectB and the objectB is an instance of gun barrel and the objectB is a part of the object and the object transferred in the transfer is the other object and the other object is an instance of bullet and the other object originates at the third object and the third object is an instance of bullet cartridge and the third object is located at the objectB and the objectB is path along which the transfer occurs and the other region is the entrance for the objectB and the other region is an instance of gun muzzle
(=> (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	If a process is an instance of shooting and an object is an instrument for the process and the object is an instance of gun, then there exist another object, a transfer and a third object such that the other object is an instance of gun chamber and the other object is a part of the object and the transfer is an instance of inserting and the third object is an instance of bullet cartridge and the transfer ends up at the other object and the object transferred in the transfer is the third object and the end of the time of existence of the transfer happens before the beginning of the time of existence of the process
(=> (instance ?C GunChamber) (hasPurpose ?C (exists (?B) (and (instance ?B BulletCartridge) (contains ?C ?B)))))	Mid-level-ontology.kif 1328-1334	If a physical is an instance of gun chamber, then the physical has the purpose there exists an entity such that the entity is an instance of bullet cartridge and the physical contains the entity
(=> (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	If an agent is an instance of casing, then there exist an object, another object and a process such that the object is an instance of bullet cartridge and the other object is an instance of bullet and the process is an instance of keeping and the agent is a proper part of the object and the other object is a proper part of the object and the agent is an agent of the process and the other object is a patient of the process
(=> (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	If an object is an instance of revolver gun, then there exist another object, a collection,, , a self connected object and a third object such that the other object is a part of the object and the other object is an instance of gun cylinder and the collection is a part of the other object and the collection is an instance of collection and the self connected object is a member of the collection and the self connected object is an instance of gun chamber and the self connected object contains the third object and the third object is an instance of bullet cartridge and there doesn't exist the third object2 such that the third object2 is an instance of bullet cartridge and the third object is not equal to the third object2 and the self connected object contains the third object2

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: