TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Knuckle BodyJoint)	Mid-level-ontology.kif 14409-14409	Knuckle is a subclass of body joint
(documentation Knuckle EnglishLanguage "Any joint in a Finger.")	Mid-level-ontology.kif 14410-14410	Knuckle is a subclass of body joint

appearance as argument number 2

(termFormat EnglishLanguage Knuckle "knuckle")	domainEnglishFormat.kif 32733-32733
(termFormat ChineseTraditionalLanguage Knuckle "指關節")	domainEnglishFormat.kif 32734-32734
(termFormat ChineseLanguage Knuckle "指关节")	domainEnglishFormat.kif 32735-32735

antecedent

(=>
    (instance ?KNUCKLE Knuckle)
    (exists (?FINGER)
        (and
            (instance ?FINGER Finger)
            (part ?KNUCKLE ?FINGER))))

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