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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Knee
Knee(knee)
articulatio_genus, genu, human_knee, knee, knee_joint, stifle

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 12742-12743
(externalImage Knee "http://upload.wikimedia.org/wikipedia/commons/e/e7/ Knee.female.jpg") pictureList.kif 121-121
(subclass Knee BodyJoint) Mid-level-ontology.kif 12741-12741 Knee is a subclass of body joint

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


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

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


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

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


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


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



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