| BodyJoint(body joint) | | articulatio, articulation, joint |
| appearance as argument number 1 |
|
|
| (documentation BodyJoint EnglishLanguage "BodyJunctions where different parts of the same Skeleton come together.") | Mid-level-ontology.kif 12600-12601 | |
| (subclass BodyJoint BodyJunction) | Mid-level-ontology.kif 12599-12599 | Body joint is a subclass of body junction |
| appearance as argument number 2 |
|
|
| (subclass Ankle BodyJoint) | Mid-level-ontology.kif 13620-13620 | Ankle is a subclass of body joint |
| (subclass Elbow BodyJoint) | Mid-level-ontology.kif 13631-13631 | Elbow is a subclass of body joint |
| (subclass HipJoint BodyJoint) | Mid-level-ontology.kif 13698-13698 | Hip joint is a subclass of body joint |
| (subclass Knee BodyJoint) | Mid-level-ontology.kif 13665-13665 | Knee is a subclass of body joint |
| (subclass Knuckle BodyJoint) | Mid-level-ontology.kif 13688-13688 | Knuckle is a subclass of body joint |
| (subclass Wrist BodyJoint) | Mid-level-ontology.kif 13642-13642 | Wrist is a subclass of body joint |
| (termFormat ChineseLanguage BodyJoint "身体关节") | domainEnglishFormat.kif 11492-11492 | Wrist is a subclass of body joint |
| (termFormat ChineseTraditionalLanguage BodyJoint "身體關節") | domainEnglishFormat.kif 11491-11491 | Wrist is a subclass of body joint |
| (termFormat EnglishLanguage BodyJoint "body joint") | domainEnglishFormat.kif 11490-11490 | Wrist is a subclass of 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 12603-12611 |
|
| statement |
|
|
| (subclass Arthritis (PainFn BodyJoint)) |
Medicine.kif 2206-2206 | Arthritis is a subclass of pain in the body joint |
| (subclass JointPain (PainFn BodyJoint)) |
Medicine.kif 1999-1999 | Joint pain is a subclass of pain in the body joint |
|
|
|