|
|
   Hand
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Hand EnglishLanguage "The grasping, fingered part of an upper limb of a Primate.") | Mid-level-ontology.kif 10191-10192 | |
| (externalImage Hand "http://upload.wikimedia.org/wikipedia/commons/4/4a/ Raczka4.jpg") | pictureList.kif 109-109 | |
| (subclass Hand AnimalAnatomicalStructure) | Mid-level-ontology.kif 10189-10189 | subclass Hand and AnimalAnatomicalStructure |
| (subclass Hand BodyPart) | Mid-level-ontology.kif 10190-10190 | subclass Hand and BodyPart |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Hand "手") | domainEnglishFormat.kif 27304-27304 | |
| (termFormat ChineseTraditionalLanguage Hand "手") | domainEnglishFormat.kif 27303-27303 | |
| (termFormat EnglishLanguage Hand "hand") | domainEnglishFormat.kif 27302-27302 |
| antecedent |
|
|
| (=> (instance ?HAND Hand) (exists (?ARM) (and (instance ?ARM Arm) (part ?HAND ?ARM)))) |
Mid-level-ontology.kif 10194-10199 |
| consequent |
|
|
| (=> (and (instance ?P Perspiring) (experiencer ?P ?A)) (exists (?H) (and (instance ?H Hand) (part ?H ?A) (destination ?P ?H)))) |
emotion.kif 1467-1475 | |
| (=> (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 6261-6270 | |
| (=> (and (instance ?WAVE Waving) (patient ?WAVE ?HAND)) (instance ?HAND Hand)) |
Mid-level-ontology.kif 10718-10722 | |
| (=> (and (wears ?P ?G) (instance ?G Glove)) (exists (?H) (and (instance ?H Hand) (part ?H ?P) (meetsSpatially ?G ?H)))) |
Mid-level-ontology.kif 5425-5433 |
|
| (=> (attribute ?HAND Fist) (instance ?HAND Hand)) |
Mid-level-ontology.kif 17645-17647 | |
| (=> (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 8545-8553 | |
| (=> (instance ?FINGER Finger) (exists (?HAND) (and (instance ?HAND Hand) (part ?FINGER ?HAND)))) |
Mid-level-ontology.kif 10229-10234 | |
| (=> (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 1858-1867 | |
| (=> (instance ?HG HandGesture) (exists (?H) (and (instance ?H Hand) (patient ?HG ?H)))) |
Mid-level-ontology.kif 10707-10712 |
| statement |
|
|
| (equal Glove (CoveringFn Hand)) |
Cars.kif 4724-4724 | equal Glove and CoveringFn Hand |
|
|
|
