![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(documentation Hand EnglishLanguage "The grasping, fingered part of an upper limb of a Primate.") | Mid-level-ontology.kif 13802-13803 | |
(externalImage Hand "http://upload.wikimedia.org/wikipedia/commons/4/4a/ Raczka4.jpg") | pictureList.kif 109-109 | |
(subclass Hand AnimalAnatomicalStructure) | Mid-level-ontology.kif 13800-13800 | Hand は AnimalAnatomicalStructure の subclass では |
(subclass Hand BodySegment) | Mid-level-ontology.kif 13801-13801 | Hand は BodySegment の subclass では |
appearance as argument number 2 |
![]() |
(initialPart FingerBone Hand) | Anatomy.kif 911-911 | initialPart FingerBone and Hand |
(initialPart PalmBone Hand) | Anatomy.kif 863-863 | initialPart PalmBone and Hand |
(initialPart WristBone Hand) | Anatomy.kif 759-759 | initialPart WristBone and Hand |
(termFormat ChineseLanguage Hand "手") | domainEnglishFormat.kif 27317-27317 | initialPart WristBone and Hand |
(termFormat ChineseTraditionalLanguage Hand "手") | domainEnglishFormat.kif 27316-27316 | initialPart WristBone and Hand |
(termFormat EnglishLanguage Hand "hand") | domainEnglishFormat.kif 27315-27315 | initialPart WristBone and Hand |
antecedent |
![]() |
(=> (instance ?HAND Hand) (exists (?ARM) (and (instance ?ARM Arm) (part ?HAND ?ARM)))) |
Mid-level-ontology.kif 13805-13810 |
consequent |
![]() |
statement |
![]() |
(equal Glove (CoveringFn Hand)) |
Cars.kif 4804-4804 | equal Glove and CoveringFn Hand |
(subclass LeftHand (BodySideFn Left Hand)) |
Medicine.kif 2889-2889 | LeftHand は BodySideFn Left and Hand の subclass では |
(subclass RightHand (BodySideFn Right Hand)) |
Medicine.kif 2892-2892 | RightHand は BodySideFn Right and Hand の subclass では |
![]() |
![]() |