Knuckle | ![]() |
appearance as argument number 1 |
![]() |
(documentation Knuckle EnglishLanguage "Any joint in a Finger.") | Mid-level-ontology.kif 14124-14124 | |
(subclass Knuckle BodyJoint) | Mid-level-ontology.kif 14123-14123 |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Knuckle "指关节") | domainEnglishFormat.kif 32742-32742 | |
(termFormat ChineseTraditionalLanguage Knuckle "指關節") | domainEnglishFormat.kif 32741-32741 | |
(termFormat EnglishLanguage Knuckle "knuckle") | domainEnglishFormat.kif 32740-32740 |
antecedent |
![]() |
(=> (instance ?KNUCKLE Knuckle) (exists (?FINGER) (and (instance ?FINGER Finger) (part ?KNUCKLE ?FINGER)))) |
Mid-level-ontology.kif 14126-14131 |
![]() |
![]() |