|
|
   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 | 子類 身體關節 and BodyJunction |
| appearance as argument number 2 |
|
|
| (subclass Ankle BodyJoint) | Mid-level-ontology.kif 12724-12724 | 子類 踝 and 身體關節 |
| (subclass Elbow BodyJoint) | Mid-level-ontology.kif 12735-12735 | 子類 手肘 and 身體關節 |
| (subclass HipJoint BodyJoint) | Mid-level-ontology.kif 12802-12802 | 子類 髖關節 and 身體關節 |
| (subclass Knee BodyJoint) | Mid-level-ontology.kif 12769-12769 | 子類 膝蓋 and 身體關節 |
| (subclass Knuckle BodyJoint) | Mid-level-ontology.kif 12792-12792 | 子類 指關節 and 身體關節 |
| (subclass Wrist BodyJoint) | Mid-level-ontology.kif 12746-12746 | 子類 腕 and 身體關節 |
| (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 and PainFn 身體關節 |
| (subclass JointPain (PainFn BodyJoint)) |
Medicine.kif 2011-2011 | 子類 JointPain and PainFn 身體關節 |
|
|
|