| Hand
| |
| appearance as argument number 1 |
|
|
| (documentation Hand EnglishLanguage "The grasping, fingered part of an upper limb of a Primate.") | Mid-level-ontology.kif 12443-12444 | |
| (externalImage Hand "http://upload.wikimedia.org/wikipedia/commons/4/4a/ Raczka4.jpg") | pictureList.kif 109-109 | |
| (subclass Hand AnimalAnatomicalStructure) | Mid-level-ontology.kif 12441-12441 | Hand est une sous-classe de AnimalAnatomicalStructure |
| (subclass Hand BodySegment) | Mid-level-ontology.kif 12442-12442 | 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 27312-27312 | |
| (termFormat ChineseTraditionalLanguage Hand "手") | domainEnglishFormat.kif 27311-27311 | |
| (termFormat EnglishLanguage Hand "hand") | domainEnglishFormat.kif 27310-27310 |
| antecedent |
|
|
| (=> (instance ?HAND Hand) (exists (?ARM) (and (instance ?ARM Arm) (part ?HAND ?ARM)))) |
Mid-level-ontology.kif 12446-12451 |
| 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 6594-6603 | |
| (=> (and (instance ?WAVE Waving) (patient ?WAVE ?HAND)) (instance ?HAND Hand)) |
Mid-level-ontology.kif 13055-13059 | |
| (=> (and (wears ?P ?G) (instance ?G Glove)) (exists (?H) (and (instance ?H Hand) (part ?H ?P) (meetsSpatially ?G ?H)))) |
Mid-level-ontology.kif 5107-5115 | |
| (=> (attribute ?HAND Fist) (instance ?HAND Hand)) |
Mid-level-ontology.kif 19805-19807 | |
| (=> (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 8859-8867 | |
| (=> (instance ?FINGER Finger) (exists (?HAND) (and (instance ?HAND Hand) (part ?FINGER ?HAND)))) |
Mid-level-ontology.kif 12482-12487 | |
| (=> (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 1429-1438 | |
| (=> (instance ?HG HandGesture) (exists (?H) (and (instance ?H Hand) (patient ?HG ?H)))) |
Mid-level-ontology.kif 13044-13049 |
| statement |
|
|
| (equal Glove (CoveringFn Hand)) |
Cars.kif 4743-4743 | 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 |
|
|
|