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 | |
(subclass Hand BodySegment) | Mid-level-ontology.kif 13801-13801 |
appearance as argument number 2 |
![]() |
(initialPart FingerBone Hand) | Anatomy.kif 911-911 | |
(initialPart PalmBone Hand) | Anatomy.kif 863-863 | |
(initialPart WristBone Hand) | Anatomy.kif 759-759 | |
(termFormat ChineseLanguage Hand "手") | domainEnglishFormat.kif 27317-27317 | |
(termFormat ChineseTraditionalLanguage Hand "手") | domainEnglishFormat.kif 27316-27316 | |
(termFormat EnglishLanguage Hand "hand") | domainEnglishFormat.kif 27315-27315 |
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 | |
(subclass LeftHand (BodySideFn Left Hand)) |
Medicine.kif 2889-2889 | |
(subclass RightHand (BodySideFn Right Hand)) |
Medicine.kif 2892-2892 |
![]() |
![]() |