| Hand
| |
| appearance as argument number 1 |
|
|
| (documentation Hand EnglishLanguage "The grasping, fingered part of an upper limb of a Primate.") | Mid-level-ontology.kif 10189-10190 | |
| (externalImage Hand "http://upload.wikimedia.org/wikipedia/commons/4/4a/ Raczka4.jpg") | pictureList.kif 109-109 | |
| (subclass Hand AnimalAnatomicalStructure) | Mid-level-ontology.kif 10187-10187 | |
| (subclass Hand BodyPart) | Mid-level-ontology.kif 10188-10188 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Hand "手") | domainEnglishFormat.kif 27229-27229 | |
| (termFormat ChineseTraditionalLanguage Hand "手") | domainEnglishFormat.kif 27228-27228 | |
| (termFormat EnglishLanguage Hand "hand") | domainEnglishFormat.kif 27227-27227 |
| antecedent |
|
|
| (=> (instance ?HAND Hand) (exists (?ARM) (and (instance ?ARM Arm) (part ?HAND ?ARM)))) |
Mid-level-ontology.kif 10192-10197 |
| 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 10716-10720 | |
| (=> (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 17640-17642 | |
| (=> (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 8543-8551 | |
| (=> (instance ?FINGER Finger) (exists (?HAND) (and (instance ?HAND Hand) (part ?FINGER ?HAND)))) |
Mid-level-ontology.kif 10227-10232 | |
| (=> (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 10705-10710 |
| statement |
|
|
| (equal Glove (CoveringFn Hand)) |
Cars.kif 4724-4724 |
|
|
|