TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Knee BodyJoint)	Mid-level-ontology.kif 14386-14386	Knee is a subclass of body joint
(documentation Knee EnglishLanguage "The joint in the Leg connecting the tibia and fibula with the femur.")	Mid-level-ontology.kif 14387-14388	Knee is a subclass of body joint
(externalImage Knee "http://upload.wikimedia.org/wikipedia/commons/e/e7/ Knee.female.jpg")	pictureList.kif 121-121	Knee is a subclass of body joint

appearance as argument number 2

(termFormat EnglishLanguage Knee "knee")	domainEnglishFormat.kif 32685-32685
(termFormat ChineseTraditionalLanguage Knee "膝蓋")	domainEnglishFormat.kif 32686-32686
(termFormat ChineseLanguage Knee "膝盖")	domainEnglishFormat.kif 32687-32687

antecedent

(=>
    (instance ?KNEE Knee)
    (exists (?LEG)
        (and
            (instance ?LEG Leg)
            (part ?KNEE ?LEG))))

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

statement

(subclass LeftKnee (BodySideFn Left Knee))	Medicine.kif 2918-2918	Left knee is a subclass of the left of knee
(subclass RightKnee (BodySideFn Right Knee))	Medicine.kif 2921-2921	Right knee is a subclass of the right of knee