Rifle - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Rifle Longgun)	Mid-level-ontology.kif 2022-2022	Rifle is a subclass of long gun
(documentation Rifle EnglishLanguage "A Firearm with a Longgun that is designed for accurate Shooting and higher stopping power, with a barrel that has a helical or spiralling pattern of grooves (rifling) cut into the bore wall.In keeping with their focus on accuracy,rifles are typically designed to be held with both hands and braced firmly against the shooter's shoulder via a buttstock for stability during shooting.[Wikipedia]")	Mid-level-ontology.kif 2023-2027	Rifle is a subclass of long gun
(externalImage Rifle "http://upload.wikimedia.org/wikipedia/commons/thumb/ 4/ 4d/ Springfield_1903_rifle.jpeg/ 350px_Springfield_1903_rifle.jpeg")	pictureList.kif 1236-1236	Rifle is a subclass of long gun

appearance as argument number 2

(termFormat EnglishLanguage Rifle "rifle")	domainEnglishFormat.kif 49983-49983
(termFormat ChineseTraditionalLanguage Rifle "步槍")	domainEnglishFormat.kif 49984-49984
(termFormat ChineseLanguage Rifle "步枪")	domainEnglishFormat.kif 49985-49985

antecedent

(=>
    (instance ?G Rifle)
    (exists (?B ?P)
        (and
            (instance ?B GunBore)
            (properPart ?B ?G)
            (superficialPart ?P ?B)
            (orientation ?P ?B Inside)
            (not
                (attribute ?P Smooth)))))

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