TreeView Knowledge Base Browser

appearance as argument number 1

(subclass GunStock EngineeringComponent)	Mid-level-ontology.kif 1705-1705	Gun stock is a subclass of engineering component
(documentation GunStock EnglishLanguage "The part of a Gun that is placed against the shoulder to absorb some of the recoil action when it is fired.")	Mid-level-ontology.kif 1706-1707	Gun stock is a subclass of engineering component
(externalImage GunStock "http://upload.wikimedia.org/wikipedia/commons/thumb/ a/ a5/ Caroline_derriere_bipode_p1000524.jpg/ 180px_Caroline_derriere_bipode_p1000524.jpg")	pictureList.kif 1130-1130	Gun stock is a subclass of engineering component

appearance as argument number 2

(termFormat EnglishLanguage GunStock "gun stock")	domainEnglishFormat.kif 27098-27098
(termFormat ChineseTraditionalLanguage GunStock "槍托")	domainEnglishFormat.kif 27099-27099
(termFormat ChineseLanguage GunStock "枪托")	domainEnglishFormat.kif 27100-27100

antecedent

(=>
    (instance ?STOCK GunStock)
    (exists (?GUN)
        (and
            (instance ?GUN Gun)
            (part ?STOCK ?GUN))))

If X is an instance of gun stock, then there exists Y such that Y is an instance of gun and X is a part of Y