Hand |
appearance as argument number 1 |
(documentation Hand EnglishLanguage "The grasping, fingered part of an upper limb of a Primate.") | Mid-level-ontology.kif 12498-12499 | |
(externalImage Hand "http://upload.wikimedia.org/wikipedia/commons/4/4a/ Raczka4.jpg") | pictureList.kif 109-109 | |
(subclass Hand AnimalAnatomicalStructure) | Mid-level-ontology.kif 12496-12496 | |
(subclass Hand BodySegment) | Mid-level-ontology.kif 12497-12497 |
appearance as argument number 2 |
(initialPart FingerBone Hand) | Anatomy.kif 880-880 | |
(initialPart PalmBone Hand) | Anatomy.kif 832-832 | |
(initialPart WristBone Hand) | Anatomy.kif 744-744 | |
(termFormat ChineseLanguage Hand "手") | domainEnglishFormat.kif 27306-27306 | |
(termFormat ChineseTraditionalLanguage Hand "手") | domainEnglishFormat.kif 27305-27305 | |
(termFormat EnglishLanguage Hand "hand") | domainEnglishFormat.kif 27304-27304 |
antecedent |
(=> (instance ?HAND Hand) (exists (?ARM) (and (instance ?ARM Arm) (part ?HAND ?ARM)))) |
Mid-level-ontology.kif 12501-12506 |
consequent |
(=> (and (instance ?P Perspiring) (experiencer ?P ?A)) (exists (?H) (and (instance ?H Hand) (part ?H ?A) (destination ?P ?H)))) |
emotion.kif 1492-1500 | |
(=> (and (instance ?P Punching) (agent ?P ?A)) (exists (?H) (and (instance ?H Hand) (attribute ?H Fist) (part ?H ?A) (instrument ?P ?H)))) |
Mid-level-ontology.kif 6616-6625 | |
(=> (and (instance ?WAVE Waving) (patient ?WAVE ?HAND)) (instance ?HAND Hand)) |
Mid-level-ontology.kif 13110-13114 | |
(=> (and (wears ?P ?G) (instance ?G Glove)) (exists (?H) (and (instance ?H Hand) (part ?H ?P) (meetsSpatially ?G ?H)))) |
Mid-level-ontology.kif 5129-5137 | |
(=> (attribute ?HAND Fist) (instance ?HAND Hand)) |
Mid-level-ontology.kif 19883-19885 | |
(=> (instance ?B WashBasin) (hasPurpose ?B (exists (?W ?H) (and (instance ?W Washing) (instrument ?W ?B) (patient ?W ?H) (instance ?H Hand))))) |
Mid-level-ontology.kif 8914-8922 | |
(=> (instance ?FINGER Finger) (exists (?HAND) (and (instance ?HAND Hand) (part ?FINGER ?HAND)))) |
Mid-level-ontology.kif 12537-12542 | |
(=> (instance ?H Handle) (hasPurpose ?H (exists (?G ?D) (and (instance ?G Grabbing) (patient ?G ?H) (instrument ?G ?D) (instance ?D Hand))))) |
Mid-level-ontology.kif 1450-1459 | |
(=> (instance ?HG HandGesture) (exists (?H) (and (instance ?H Hand) (patient ?HG ?H)))) |
Mid-level-ontology.kif 13099-13104 |
statement |
(equal Glove (CoveringFn Hand)) |
Cars.kif 4728-4728 | |
(subclass LeftHand (BodySideFn Left Hand)) |
Medicine.kif 2888-2888 | |
(subclass RightHand (BodySideFn Right Hand)) |
Medicine.kif 2891-2891 |