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

Formal Language: 


KB Term:  Term intersection
English Word: 

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 14095-14096
(externalImage Knee "http://upload.wikimedia.org/wikipedia/commons/e/e7/ Knee.female.jpg") pictureList.kif 121-121
(subclass Knee BodyJoint) Mid-level-ontology.kif 14094-14094 膝盖身体关节subclass

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


(termFormat ChineseLanguage Knee "膝盖") domainEnglishFormat.kif 32694-32694
(termFormat ChineseTraditionalLanguage Knee "膝蓋") domainEnglishFormat.kif 32693-32693
(termFormat EnglishLanguage Knee "knee") domainEnglishFormat.kif 32692-32692

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


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

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


(subclass LeftKnee
    (BodySideFn Left Knee))
Medicine.kif 2913-2913 LeftKneeBodySideFn and 膝盖subclass
(subclass RightKnee
    (BodySideFn Right Knee))
Medicine.kif 2916-2916 RightKneeBodySideFn and 膝盖subclass


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