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 9925-9926
(subclass BodyJoint BodyJunction) Mid-level-ontology.kif 9924-9924 subclass BodyJoint and BodyJunction

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


(subclass Ankle BodyJoint) Mid-level-ontology.kif 10377-10377 subclass Ankle and BodyJoint
(subclass Elbow BodyJoint) Mid-level-ontology.kif 10387-10387 subclass Elbow and BodyJoint
(subclass HipJoint BodyJoint) Mid-level-ontology.kif 10453-10453 subclass HipJoint and BodyJoint
(subclass Knee BodyJoint) Mid-level-ontology.kif 10420-10420 subclass Knee and BodyJoint
(subclass Knuckle BodyJoint) Mid-level-ontology.kif 10443-10443 subclass Knuckle and BodyJoint
(subclass Wrist BodyJoint) Mid-level-ontology.kif 10397-10397 subclass Wrist and BodyJoint
(termFormat ChineseLanguage BodyJoint "身体关节") domainEnglishFormat.kif 11419-11419 termFormat ChineseLanguage, BodyJoint and "身体关节"
(termFormat ChineseTraditionalLanguage BodyJoint "身體關節") domainEnglishFormat.kif 11418-11418 termFormat ChineseTraditionalLanguage, BodyJoint and "身體關節"
(termFormat EnglishLanguage BodyJoint "body joint") domainEnglishFormat.kif 11417-11417 termFormat EnglishLanguage, BodyJoint and "body joint"

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 9927-9935


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners