| Knuckle(knuckle) | | knuckle, knuckle_joint, metacarpophalangeal_joint |
| appearance as argument number 1 |
|
|
| (documentation Knuckle EnglishLanguage "Any joint in a Finger.") | Mid-level-ontology.kif 13011-13011 | |
| (subclass Knuckle BodyJoint) | Mid-level-ontology.kif 13010-13010 | Knuckle is a subclass of body joint |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Knuckle "指关节") | domainEnglishFormat.kif 32765-32765 | |
| (termFormat ChineseTraditionalLanguage Knuckle "指關節") | domainEnglishFormat.kif 32764-32764 | |
| (termFormat EnglishLanguage Knuckle "knuckle") | domainEnglishFormat.kif 32763-32763 |
| antecedent |
|
|
| (=> (instance ?KNUCKLE Knuckle) (exists (?FINGER) (and (instance ?FINGER Finger) (part ?KNUCKLE ?FINGER)))) |
Mid-level-ontology.kif 13013-13018 |
|
|
|
|