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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BodyJoint

Sigma KEE - BodyJoint
BodyJoint(body joint)articulatio, articulation, joint

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


(documentation BodyJoint EnglishLanguage "BodyJunctions where different parts of the same Skeleton come together.") Mid-level-ontology.kif 11185-11186
(subclass BodyJoint BodyJunction) Mid-level-ontology.kif 11184-11184 Body joint is a subclass of body junction

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


(subclass Ankle BodyJoint) Mid-level-ontology.kif 12185-12185 Ankle is a subclass of body joint
(subclass Elbow BodyJoint) Mid-level-ontology.kif 12196-12196 Elbow is a subclass of body joint
(subclass HipJoint BodyJoint) Mid-level-ontology.kif 12263-12263 Hip joint is a subclass of body joint
(subclass Knee BodyJoint) Mid-level-ontology.kif 12230-12230 Knee is a subclass of body joint
(subclass Knuckle BodyJoint) Mid-level-ontology.kif 12253-12253 Knuckle is a subclass of body joint
(subclass Wrist BodyJoint) Mid-level-ontology.kif 12207-12207 Wrist is a subclass of body joint
(termFormat ChineseLanguage BodyJoint "身体关节") domainEnglishFormat.kif 11480-11480
(termFormat ChineseTraditionalLanguage BodyJoint "身體關節") domainEnglishFormat.kif 11479-11479
(termFormat EnglishLanguage BodyJoint "body joint") domainEnglishFormat.kif 11478-11478

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


(=>
    (instance ?J BodyJoint)
    (exists (?S ?P1 ?P2)
        (and
            (instance ?S Skeleton)
            (component ?P1 ?S)
            (component ?P2 ?S)
            (component ?J ?S)
            (connects ?J ?P1 ?P2))))
Mid-level-ontology.kif 11188-11196


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