TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Ankle BodyJoint)	Mid-level-ontology.kif 14341-14341	Ankle is a subclass of body joint
(documentation Ankle EnglishLanguage "The joint in the Leg that connects the tibia and the fibula to the talus.")	Mid-level-ontology.kif 14342-14343	Ankle is a subclass of body joint
(externalImage Ankle "http://articulatesoftware.com/SUMOpictures/medical/ anatomy/ Ankle.png")	pictureList.kif 225-225	Ankle is a subclass of body joint

appearance as argument number 2

(termFormat EnglishLanguage Ankle "ankle")	domainEnglishFormat.kif 7631-7631
(termFormat ChineseTraditionalLanguage Ankle "踝")	domainEnglishFormat.kif 7632-7632
(termFormat ChineseLanguage Ankle "踝")	domainEnglishFormat.kif 7633-7633

antecedent

(=>
    (instance ?A Ankle)
    (exists (?L)
        (and
            (instance ?L Leg)
            (part ?A ?L))))

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