GunBore - Sigma Knowledge base Browser

appearance as argument number 2

(termFormat EnglishLanguage GunBore "gun bore")

antecedent

(=>
    (instance ?B GunBore)
    (exists (?H)
        (and
            (instance ?H HoleRegion)
            (shape ?B Cylinder)
            (part ?H ?B)
            (hole ?H ?B))))

If X is an instance of gun bore, then there exists Y such that Y is an instance of hole, X is cylinder, Y is a part of X, and Y is a hole in X

consequent

(=> (instance ?G Shotgun) (exists (?B ?P) (and (instance ?B GunBore) (properPart ?B ?G) (superficialPart ?P ?B) (orientation ?P ?B Inside) (attribute ?P Smooth))))	Mid-level-ontology.kif 2012-2020	If X is an instance of shot gun, then there exist Y, Z such that Y is an instance of gun bore, Y is a proper part of X, Z is a superficial part of Y, Z is inside the to Y, and smooth is an attribute of Z
(=> (instance ?G Rifle) (exists (?B ?P) (and (instance ?B GunBore) (properPart ?B ?G) (superficialPart ?P ?B) (orientation ?P ?B Inside) (not (attribute ?P Smooth)))))	Mid-level-ontology.kif 2029-2038	If X is an instance of rifle, then there exist Y, Z such that Y is an instance of gun bore, Y is a proper part of X, Z is a superficial part of Y, Z is inside the to Y, and smooth is not an attribute of Z

(relatedInternalConcept GunBore GunMuzzle)	Mid-level-ontology.kif 1393-1393	Gun bore is internally related to gun muzzle
(subclass GunBore Tube)	Mid-level-ontology.kif 1418-1418	Gun bore is a subclass of tube
(documentation GunBore EnglishLanguage "A GunBore is the hollow internal lumen of the GunBarrel, and takes up a vast majority portion of the barrel length. It is the part of the barrel where the Projectile (bullet, shot, or slug) is located prior to firing and where it gains speed and kinetic energy during the firing process. [Wikipedia]")	Mid-level-ontology.kif 1419-1422	Gun bore is a subclass of tube
(partTypes GunBore GunBarrel)	Mid-level-ontology.kif 1424-1424	Every gun bore is a part of a gun barrel
(relatedInternalConcept GunBore GunChamber)	Mid-level-ontology.kif 1425-1425	Gun bore is internally related to gun chamber
(relatedInternalConcept GunBore GunCylinder)	Mid-level-ontology.kif 1426-1426	Gun bore is internally related to gun cylinder