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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BodyJoint
BodyJoint

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


(documentation BodyJoint EnglishLanguage "BodyJunctions where different parts of the same Skeleton come together.") Mid-level-ontology.kif 9920-9921
(subclass BodyJoint BodyJunction) Mid-level-ontology.kif 9919-9919 subclass BodyJoint and BodyJunction

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


(subclass Ankle BodyJoint) Mid-level-ontology.kif 10403-10403 subclass Ankle and BodyJoint
(subclass Elbow BodyJoint) Mid-level-ontology.kif 10413-10413 subclass Elbow and BodyJoint
(subclass HipJoint BodyJoint) Mid-level-ontology.kif 10479-10479 subclass HipJoint and BodyJoint
(subclass Knee BodyJoint) Mid-level-ontology.kif 10446-10446 subclass Knee and BodyJoint
(subclass Knuckle BodyJoint) Mid-level-ontology.kif 10469-10469 subclass Knuckle and BodyJoint
(subclass Wrist BodyJoint) Mid-level-ontology.kif 10423-10423 subclass Wrist and BodyJoint
(termFormat ChineseLanguage BodyJoint "身体关节") domainEnglishFormat.kif 11419-11419
(termFormat ChineseTraditionalLanguage BodyJoint "身體關節") domainEnglishFormat.kif 11418-11418
(termFormat EnglishLanguage BodyJoint "body joint") domainEnglishFormat.kif 11417-11417

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 9922-9930


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