Tendon - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Tendon Tissue)	Mid-level-ontology.kif 10936-10936	Tendon is a subclass of tissue
(subclass Tendon AnimalSubstance)	Mid-level-ontology.kif 10937-10937	Tendon is a subclass of animal substance
(documentation Tendon EnglishLanguage "Tissue that connects Muscle to Bone.")	Mid-level-ontology.kif 10938-10938	Tendon is a subclass of animal substance
(externalImage Tendon "http://upload.wikimedia.org/wikipedia/commons/3/3c/ Achilles_tendon.jpg")	pictureList.kif 4834-4834	Tendon is a subclass of animal substance

appearance as argument number 2

(termFormat EnglishLanguage Tendon "tendon")	domainEnglishFormat.kif 57485-57485
(termFormat ChineseTraditionalLanguage Tendon "肌腱")	domainEnglishFormat.kif 57486-57486
(termFormat ChineseLanguage Tendon "肌腱")	domainEnglishFormat.kif 57487-57487

antecedent

(=>
    (instance ?T Tendon)
    (exists (?M ?B)
        (and
            (instance ?M Muscle)
            (instance ?B Bone)
            (connects ?T ?M ?B))))

If X is an instance of tendon, then there exist Y, Z such that Y is an instance of muscle, Z is an instance of bone, X connects Y, and Z