|
|
   Hand
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Hand EnglishLanguage "The grasping, fingered part of an upper limb of a Primate.") | Mid-level-ontology.kif 12470-12471 | |
| (externalImage Hand "http://upload.wikimedia.org/wikipedia/commons/4/4a/ Raczka4.jpg") | pictureList.kif 109-109 | |
| (subclass Hand AnimalAnatomicalStructure) | Mid-level-ontology.kif 12468-12468 | Hand est une sous-classe de AnimalAnatomicalStructure |
| (subclass Hand BodySegment) | Mid-level-ontology.kif 12469-12469 | Hand est une sous-classe de BodySegment |
| appearance as argument number 2 |
|
|
| (initialPart FingerBone Hand) | Anatomy.kif 880-880 | initialPart FingerBone and Hand |
| (initialPart PalmBone Hand) | Anatomy.kif 832-832 | initialPart PalmBone and Hand |
| (initialPart WristBone Hand) | Anatomy.kif 744-744 | initialPart WristBone and Hand |
| (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 12473-12478 |
| 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 6621-6630 | |
| (=> (and (instance ?WAVE Waving) (patient ?WAVE ?HAND)) (instance ?HAND Hand)) |
Mid-level-ontology.kif 13082-13086 | |
| (=> (and (wears ?P ?G) (instance ?G Glove)) (exists (?H) (and (instance ?H Hand) (part ?H ?P) (meetsSpatially ?G ?H)))) |
Mid-level-ontology.kif 5134-5142 | |
| (=> (attribute ?HAND Fist) (instance ?HAND Hand)) |
Mid-level-ontology.kif 19855-19857 | |
| (=> (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 8886-8894 | |
| (=> (instance ?FINGER Finger) (exists (?HAND) (and (instance ?HAND Hand) (part ?FINGER ?HAND)))) |
Mid-level-ontology.kif 12509-12514 | |
| (=> (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 1457-1466 | |
| (=> (instance ?HG HandGesture) (exists (?H) (and (instance ?H Hand) (patient ?HG ?H)))) |
Mid-level-ontology.kif 13071-13076 |
| statement |
|
|
| (equal Glove (CoveringFn Hand)) |
Cars.kif 4751-4751 | Glove est CoveringFn Hand |
| (subclass LeftHand (BodySideFn Left Hand)) |
Medicine.kif 2888-2888 | LeftHand est une sous-classe de BodySideFn Left and Hand |
| (subclass RightHand (BodySideFn Right Hand)) |
Medicine.kif 2891-2891 | RightHand est une sous-classe de BodySideFn Right and Hand |
|
|
|
