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 11704-11705
(subclass BodyJoint BodyJunction) Mid-level-ontology.kif 11703-11703 BodyJoint est une sous-classe de junction de parties du corps

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


(subclass Ankle BodyJoint) Mid-level-ontology.kif 12724-12724 Ankle est une sous-classe de BodyJoint
(subclass Elbow BodyJoint) Mid-level-ontology.kif 12735-12735 Elbow est une sous-classe de BodyJoint
(subclass HipJoint BodyJoint) Mid-level-ontology.kif 12802-12802 HipJoint est une sous-classe de BodyJoint
(subclass Knee BodyJoint) Mid-level-ontology.kif 12769-12769 Knee est une sous-classe de BodyJoint
(subclass Knuckle BodyJoint) Mid-level-ontology.kif 12792-12792 Knuckle est une sous-classe de BodyJoint
(subclass Wrist BodyJoint) Mid-level-ontology.kif 12746-12746 Wrist est une sous-classe de BodyJoint
(termFormat ChineseLanguage BodyJoint "身体关节") domainEnglishFormat.kif 11477-11477
(termFormat ChineseTraditionalLanguage BodyJoint "身體關節") domainEnglishFormat.kif 11476-11476
(termFormat EnglishLanguage BodyJoint "body joint") domainEnglishFormat.kif 11475-11475

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 11707-11715

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


(subclass Arthritis
    (PainFn BodyJoint))
Medicine.kif 2218-2218 Arthritis est une sous-classe de PainFn BodyJoint
(subclass JointPain
    (PainFn BodyJoint))
Medicine.kif 2011-2011 JointPain est une sous-classe de PainFn BodyJoint


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