TreeView Knowledge Base Browser

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))))

If X is an instance of shooting, Y is an instance of gun, and Y is an instrument for X, then All of the following hold: (1) there exist Z, W,, , V,, , U (2) T such that Z is a subprocess of X (3) Z is an instance of exiting (4) Z is located at W (5) W is an instance of gun barrel (6) W is a part of Y (7) the object transferred in Z is V (8) V is an instance of bullet (9) V originates at U (10) U is an instance of bullet cartridge (11) U is located at W (12) W is path along which Z occurs (13) T is the entrance for W (14) T is an instance of gun muzzle

(subclass GunMuzzle Artifact)	Mid-level-ontology.kif 1389-1389	Gun muzzle is a subclass of artifact
(documentation GunMuzzle EnglishLanguage "A GunMuzzle is the front end of a GunBarrel from which the projectile will exit.[Wikipedia]")	Mid-level-ontology.kif 1390-1391	Gun muzzle is a subclass of artifact
(relatedInternalConcept GunMuzzle GunCylinder)	Mid-level-ontology.kif 1394-1394	Gun muzzle is internally related to gun cylinder
(partTypes GunMuzzle GunBarrel)	Mid-level-ontology.kif 1395-1395	Every gun muzzle is a part of a gun barrel

(relatedInternalConcept GunChamber GunMuzzle)	Mid-level-ontology.kif 1360-1360	Gun chamber is internally related to gun muzzle
(termFormat EnglishLanguage GunMuzzle "gun muzzle")	Mid-level-ontology.kif 1392-1392	Gun chamber is internally related to gun muzzle
(relatedInternalConcept GunBore GunMuzzle)	Mid-level-ontology.kif 1393-1393	Gun bore is internally related to gun muzzle