Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Tendon

Sigma KEE - Tendon
Tendon

appearance as argument number 1
-------------------------


(documentation Tendon EnglishLanguage "Tissue that connects Muscle to Bone.") Mid-level-ontology.kif 9446-9446
(externalImage Tendon "http://upload.wikimedia.org/wikipedia/commons/3/3c/ Achilles-tendon.jpg") pictureList.kif 4835-4835
(subclass Tendon AnimalSubstance) Mid-level-ontology.kif 9445-9445 Tendon est une sous-classe de AnimalSubstance
(subclass Tendon Tissue) Mid-level-ontology.kif 9444-9444 Tendon est une sous-classe de tissu

appearance as argument number 2
-------------------------


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

antecedent
-------------------------


(=>
    (instance ?T Tendon)
    (exists (?M ?B)
        (and
            (instance ?M Muscle)
            (instance ?B Bone)
            (connects ?T ?M ?B))))
Mid-level-ontology.kif 9448-9454


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners