BodyJoint
|
|
appearance as argument number 1 |
(documentation BodyJoint EnglishLanguage "BodyJunctions where different parts of the same Skeleton come together.") | Mid-level-ontology.kif 11731-11732 | |
(subclass BodyJoint BodyJunction) | Mid-level-ontology.kif 11730-11730 | BodyJoint e' uma sub-classe de junta de partes do corpo |
appearance as argument number 2 |
(subclass Ankle BodyJoint) | Mid-level-ontology.kif 12751-12751 | Ankle e' uma sub-classe de BodyJoint |
(subclass Elbow BodyJoint) | Mid-level-ontology.kif 12762-12762 | Elbow e' uma sub-classe de BodyJoint |
(subclass HipJoint BodyJoint) | Mid-level-ontology.kif 12829-12829 | HipJoint e' uma sub-classe de BodyJoint |
(subclass Knee BodyJoint) | Mid-level-ontology.kif 12796-12796 | Knee e' uma sub-classe de BodyJoint |
(subclass Knuckle BodyJoint) | Mid-level-ontology.kif 12819-12819 | Knuckle e' uma sub-classe de BodyJoint |
(subclass Wrist BodyJoint) | Mid-level-ontology.kif 12773-12773 | Wrist e' uma sub-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 11734-11742 |
|
statement |
(subclass Arthritis (PainFn BodyJoint)) |
Medicine.kif 2218-2218 | Arthritis e' uma sub-classe de PainFn BodyJoint |
(subclass JointPain (PainFn BodyJoint)) |
Medicine.kif 2011-2011 | JointPain e' uma sub-classe de PainFn BodyJoint |