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 13035-13036
(subclass BodyJoint BodyJunction) Mid-level-ontology.kif 13034-13034 BodyJointボディジャンクションsubclass では

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


(subclass Ankle BodyJoint) Mid-level-ontology.kif 14055-14055 AnkleBodyJointsubclass では
(subclass Elbow BodyJoint) Mid-level-ontology.kif 14066-14066 ElbowBodyJointsubclass では
(subclass HipJoint BodyJoint) Mid-level-ontology.kif 14133-14133 HipJointBodyJointsubclass では
(subclass Knee BodyJoint) Mid-level-ontology.kif 14100-14100 KneeBodyJointsubclass では
(subclass Knuckle BodyJoint) Mid-level-ontology.kif 14123-14123 KnuckleBodyJointsubclass では
(subclass Wrist BodyJoint) Mid-level-ontology.kif 14077-14077 WristBodyJointsubclass では
(termFormat ChineseLanguage BodyJoint "身体关节") domainEnglishFormat.kif 11486-11486 WristBodyJointsubclass では
(termFormat ChineseTraditionalLanguage BodyJoint "身體關節") domainEnglishFormat.kif 11485-11485 WristBodyJointsubclass では
(termFormat EnglishLanguage BodyJoint "body joint") domainEnglishFormat.kif 11484-11484 WristBodyJointsubclass では

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 13038-13046

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


(subclass Arthritis
    (PainFn BodyJoint))
Medicine.kif 2216-2216 ArthritisPainFn BodyJointsubclass では
(subclass JointPain
    (PainFn BodyJoint))
Medicine.kif 2008-2008 JointPainPainFn BodyJointsubclass では


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