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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Knee

Sigma KEE - Knee
Knee

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


(documentation Knee EnglishLanguage "The joint in the Leg connecting the tibia and fibula with the femur.") Mid-level-ontology.kif 12797-12798
(externalImage Knee "http://upload.wikimedia.org/wikipedia/commons/e/e7/ Knee.female.jpg") pictureList.kif 121-121
(subclass Knee BodyJoint) Mid-level-ontology.kif 12796-12796 KneeBodyJointsubclass では %n

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


(termFormat ChineseLanguage Knee "膝盖") domainEnglishFormat.kif 32683-32683
(termFormat ChineseTraditionalLanguage Knee "膝蓋") domainEnglishFormat.kif 32682-32682
(termFormat EnglishLanguage Knee "knee") domainEnglishFormat.kif 32681-32681

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


(=>
    (instance ?KNEE Knee)
    (exists (?LEG)
        (and
            (instance ?LEG Leg)
            (part ?KNEE ?LEG))))
Mid-level-ontology.kif 12800-12805

statement
-------------------------


(subclass LeftKnee
    (BodySideFn Left Knee))
Medicine.kif 2912-2912 LeftKneeBodySideFn Left and Kneesubclass では %n
(subclass RightKnee
    (BodySideFn Right Knee))
Medicine.kif 2915-2915 RightKneeBodySideFn Right and Kneesubclass では %n


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