| Hand(hand)
| | hand, hooks, left, left_hand, manus, maulers, meat_hooks, mitt, palm, paw, right, right_hand, thenar |
| appearance as argument number 1 |
|
|
| (subclass Hand AnimalAnatomicalStructure) | Mid-level-ontology.kif 13956-13956 | Hand is a subclass of animal anatomical structure |
| (subclass Hand BodySegment) | Mid-level-ontology.kif 13957-13957 | Hand is a subclass of body segment |
| (documentation Hand EnglishLanguage "The grasping, fingered part of an upper limb of a Primate.") | Mid-level-ontology.kif 13958-13959 | Hand is a subclass of body segment |
| (externalImage Hand "http://upload.wikimedia.org/wikipedia/commons/4/4a/ Raczka4.jpg") | pictureList.kif 109-109 | Hand is a subclass of body segment |
| appearance as argument number 2 |
|
|
| (initialPart WristBone Hand) | Anatomy.kif 759-759 | Every wrist bone is initially part of a hand |
| (initialPart PalmBone Hand) | Anatomy.kif 863-863 | Every palm bone is initially part of a hand |
| (initialPart FingerBone Hand) | Anatomy.kif 911-911 | Every finger bone is initially part of a hand |
| (termFormat EnglishLanguage Hand "hand") | domainEnglishFormat.kif 27308-27308 | Every finger bone is initially part of a hand |
| (termFormat ChineseTraditionalLanguage Hand "手") | domainEnglishFormat.kif 27309-27309 | Every finger bone is initially part of a hand |
| (termFormat ChineseLanguage Hand "手") | domainEnglishFormat.kif 27310-27310 | Every finger bone is initially part of a hand |
| antecedent |
|
|
| (=> (instance ?HAND Hand) (exists (?ARM) (and (instance ?ARM Arm) (part ?HAND ?ARM)))) |
Mid-level-ontology.kif 13961-13966 | If X is an instance of hand, then there exists Y such that Y is an instance of arm and X is a part of Y |
| consequent |
|
|
| (=> (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 1692-1701 | If X is an instance of handle, then X has the purpose there exist Y, Z such that Y is an instance of grabbing, X is a patient of Y, Z is an instrument for Y, and Z is an instance of hand |
| (=> (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 1915-1941 | If X is an instance of long gun, then All of the following hold: (1) X has the purpose there exist Y (2) Z such that Y is an instance of shooting (3) X is an instrument for Y (4) Z is an agent of Y (5) Z is an instance of human (6) there exists W such that W is an instance of grabbing (7) Z is an agent of W (8) X is a patient of W (9) the statement there exist V (10) U such that V is an instance of hand (11) V is a part of Z (12) U is an instance of hand (13) U is a part of Z (14) equal V (15) U (16) V is an instrument for W (17) U is an instrument for W has the modal force of necessity holds during the time of existence of Y |
| (=> (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 1994-2018 | If X is an instance of hand gun, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W,, , V (2) Z such that Y is an instance of human (3) Z is an instance of shooting (4) X is an instrument for Z (5) Y is an agent of Z (6) V is an instance of grabbing (7) V is a subprocess of Z (8) X is a patient of V (9) Y is an agent of V (10) W is an instrument for V (11) W is an instance of hand (12) W is a part of Y (13) the statement there doesn't exist U such that U is an instance of hand (14) equal W (15) U (16) U is a part of Y (17) U is an instrument for V doesn't have the modal force of necessity |
| (=> (and (wears ?P ?G) (instance ?G Glove)) (exists (?H) (and (instance ?H Hand) (part ?H ?P) (meetsSpatially ?G ?H)))) |
Mid-level-ontology.kif 6090-6098 | If X wears Y and Y is an instance of glove, then there exists Z such that Z is an instance of hand, Z is a part of X, and Y meets Z |
| (=> (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 7577-7586 | If X is an instance of punching and Y is an agent of X, then there exists Z such that Z is an instance of hand, fist is an attribute of Z, Z is a part of Y, and Z is an instrument for X |
| (=> (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 10134-10142 | If X is an instance of wash basin, then X has the purpose there exist Y, Z such that Y is an instance of washing, X is an instrument for Y, Z is a patient of Y, and Z is an instance of hand |
| (=> (instance ?FINGER Finger) (exists (?HAND) (and (instance ?HAND Hand) (part ?FINGER ?HAND)))) |
Mid-level-ontology.kif 13997-14002 | If X is an instance of finger, then there exists Y such that Y is an instance of hand and X is a part of Y |
| (=> (instance ?HG HandGesture) (exists (?H) (and (instance ?H Hand) (patient ?HG ?H)))) |
Mid-level-ontology.kif 14555-14560 | If X is an instance of hand gesture, then there exists Y such that Y is an instance of hand and Y is a patient of X |
| (=> (and (instance ?WAVE Waving) (patient ?WAVE ?HAND)) (instance ?HAND Hand)) |
Mid-level-ontology.kif 14566-14570 | If X is an instance of waving and Y is a patient of X, then Y is an instance of hand |
| (=> (attribute ?HAND Fist) (instance ?HAND Hand)) |
Mid-level-ontology.kif 21840-21842 | If fist is an attribute of X, then X is an instance of hand |
| (=> (and (instance ?P Perspiring) (experiencer ?P ?A)) (exists (?H) (and (instance ?H Hand) (part ?H ?A) (destination ?P ?H)))) |
emotion.kif 2148-2156 | If X is an instance of sweating and Y experiences X, then there exists Z such that Z is an instance of hand, Z is a part of Y, and X ends up at Z |
| statement |
|
|
| (equal Glove (CoveringFn Hand)) |
Cars.kif 4821-4821 | equal glove and a covering for hand |
| (subclass LeftHand (BodySideFn Left Hand)) |
Medicine.kif 2876-2876 | Left hand is a subclass of the left of hand |
| (subclass RightHand (BodySideFn Right Hand)) |
Medicine.kif 2879-2879 | Right hand is a subclass of the right of hand |
|
|
|