| BodyJoint | |
| appearance as argument number 1 |
|
|
| (documentation BodyJoint EnglishLanguage "BodyJunctions where different parts of the same Skeleton come together.") | Mid-level-ontology.kif 9925-9926 | |
| (subclass BodyJoint BodyJunction) | Mid-level-ontology.kif 9924-9924 | subclass BodyJoint and BodyJunction |
| appearance as argument number 2 |
|
|
| (subclass Ankle BodyJoint) | Mid-level-ontology.kif 10377-10377 | subclass Ankle and BodyJoint |
| (subclass Elbow BodyJoint) | Mid-level-ontology.kif 10387-10387 | subclass Elbow and BodyJoint |
| (subclass HipJoint BodyJoint) | Mid-level-ontology.kif 10453-10453 | subclass HipJoint and BodyJoint |
| (subclass Knee BodyJoint) | Mid-level-ontology.kif 10420-10420 | subclass Knee and BodyJoint |
| (subclass Knuckle BodyJoint) | Mid-level-ontology.kif 10443-10443 | subclass Knuckle and BodyJoint |
| (subclass Wrist BodyJoint) | Mid-level-ontology.kif 10397-10397 | subclass Wrist and BodyJoint |
| (termFormat ChineseLanguage BodyJoint "身体关节") | domainEnglishFormat.kif 11419-11419 | termFormat ChineseLanguage, BodyJoint and "身体关节" |
| (termFormat ChineseTraditionalLanguage BodyJoint "身體關節") | domainEnglishFormat.kif 11418-11418 | termFormat ChineseTraditionalLanguage, BodyJoint and "身體關節" |
| (termFormat EnglishLanguage BodyJoint "body joint") | domainEnglishFormat.kif 11417-11417 | termFormat EnglishLanguage, BodyJoint and "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 9927-9935 |
|
|
|
|