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 | Ankle は BodyJoint の subclass では |
(subclass Elbow BodyJoint) | Mid-level-ontology.kif 14066-14066 | Elbow は BodyJoint の subclass では |
(subclass HipJoint BodyJoint) | Mid-level-ontology.kif 14133-14133 | HipJoint は BodyJoint の subclass では |
(subclass Knee BodyJoint) | Mid-level-ontology.kif 14100-14100 | Knee は BodyJoint の subclass では |
(subclass Knuckle BodyJoint) | Mid-level-ontology.kif 14123-14123 | Knuckle は BodyJoint の subclass では |
(subclass Wrist BodyJoint) | Mid-level-ontology.kif 14077-14077 | Wrist は BodyJoint の subclass では |
(termFormat ChineseLanguage BodyJoint "身体关节") | domainEnglishFormat.kif 11486-11486 | Wrist は BodyJoint の subclass では |
(termFormat ChineseTraditionalLanguage BodyJoint "身體關節") | domainEnglishFormat.kif 11485-11485 | Wrist は BodyJoint の subclass では |
(termFormat EnglishLanguage BodyJoint "body joint") | domainEnglishFormat.kif 11484-11484 | Wrist は BodyJoint の subclass では |
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 | Arthritis は PainFn BodyJoint の subclass では |
(subclass JointPain (PainFn BodyJoint)) |
Medicine.kif 2008-2008 | JointPain は PainFn BodyJoint の subclass では |
![]() |
![]() |