Hand![]() | ![]() |
appearance as argument number 1 |
![]() |
(documentation Hand EnglishLanguage "The grasping, fingered part of an upper limb of a Primate.") | Mid-level-ontology.kif 13802-13803 | |
(externalImage Hand "http://upload.wikimedia.org/wikipedia/commons/4/4a/ Raczka4.jpg") | pictureList.kif 109-109 | |
(subclass Hand AnimalAnatomicalStructure) | Mid-level-ontology.kif 13800-13800 | Hand est une sous-classe de AnimalAnatomicalStructure |
(subclass Hand BodySegment) | Mid-level-ontology.kif 13801-13801 | Hand est une sous-classe de BodySegment |
appearance as argument number 2 |
![]() |
(initialPart FingerBone Hand) | Anatomy.kif 911-911 | initialPart FingerBone and Hand |
(initialPart PalmBone Hand) | Anatomy.kif 863-863 | initialPart PalmBone and Hand |
(initialPart WristBone Hand) | Anatomy.kif 759-759 | initialPart WristBone and Hand |
(termFormat ChineseLanguage Hand "手") | domainEnglishFormat.kif 27317-27317 | initialPart WristBone and Hand |
(termFormat ChineseTraditionalLanguage Hand "手") | domainEnglishFormat.kif 27316-27316 | initialPart WristBone and Hand |
(termFormat EnglishLanguage Hand "hand") | domainEnglishFormat.kif 27315-27315 | initialPart WristBone and Hand |
antecedent |
![]() |
(=> (instance ?HAND Hand) (exists (?ARM) (and (instance ?ARM Arm) (part ?HAND ?ARM)))) |
Mid-level-ontology.kif 13805-13810 |
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 7559-7568 | |
(=> (and (instance ?WAVE Waving) (patient ?WAVE ?HAND)) (instance ?HAND Hand)) |
Mid-level-ontology.kif 14414-14418 | |
(=> (and (wears ?P ?G) (instance ?G Glove)) (exists (?H) (and (instance ?H Hand) (part ?H ?P) (meetsSpatially ?G ?H)))) |
Mid-level-ontology.kif 6072-6080 | |
(=> (attribute ?HAND Fist) (instance ?HAND Hand)) |
Mid-level-ontology.kif 21443-21445 | |
(=> (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 10093-10101 | |
(=> (instance ?FINGER Finger) (exists (?HAND) (and (instance ?HAND Hand) (part ?FINGER ?HAND)))) |
Mid-level-ontology.kif 13841-13846 | |
(=> (instance ?GUN Handgun) (hasPurpose ?GUN (exists (?MAN ?S ?H ?G ?S) (and (instance ?MAN Human) (instance ?S Shooting) (instrument ?S ?GUN) (agent ?S ?MAN) (instance ?G Grabbing) (subProcess ?G ?S) (patient ?G ?GUN) (agent ?G ?MAN) (instrument ?G ?H) (instance ?H Hand) (part ?H ?MAN) (not (modalAttribute (exists (?H2) (and (instance ?H2 Hand) (not (equal ?H ?H2)) (part ?H2 ?MAN) (instrument ?G ?H2))) Necessity)))))) |
Mid-level-ontology.kif 1976-2000 |
|
(=> (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 1674-1683 | |
(=> (instance ?HG HandGesture) (exists (?H) (and (instance ?H Hand) (patient ?HG ?H)))) |
Mid-level-ontology.kif 14403-14408 | |
(=> (instance ?L Longgun) (hasPurpose ?L (exists (?S ?A) (and (instance ?S Shooting) (instrument ?S ?L) (agent ?S ?A) (instance ?A Human) (holdsDuring (WhenFn ?S) (exists (?G) (and (instance ?G Grabbing) (agent ?G ?A) (patient ?G ?L) (modalAttribute (exists (?H1 ?H2) (and (instance ?H1 Hand) (part ?H1 ?A) (instance ?H2 Hand) (part ?H2 ?A) (not (equal ?H1 ?H2)) (instrument ?G ?H1) (instrument ?G ?H2))) Necessity)))))))) |
Mid-level-ontology.kif 1897-1923 |
|
statement |
![]() |
(equal Glove (CoveringFn Hand)) |
Cars.kif 4804-4804 | equal Glove and CoveringFn Hand |
(subclass LeftHand (BodySideFn Left Hand)) |
Medicine.kif 2889-2889 | LeftHand est une sous-classe de BodySideFn Left and Hand |
(subclass RightHand (BodySideFn Right Hand)) |
Medicine.kif 2892-2892 | RightHand est une sous-classe de BodySideFn Right and Hand |
![]() |
![]() |