Knuckle - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(termFormat ChineseLanguage Knuckle "指关节")	domainEnglishFormat.kif 32759-32759
(termFormat ChineseTraditionalLanguage Knuckle "指關節")	domainEnglishFormat.kif 32758-32758
(termFormat EnglishLanguage Knuckle "knuckle")	domainEnglishFormat.kif 32757-32757

antecedent

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

Mid-level-ontology.kif 13691-13696