Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Hand
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 14084-14084 Hand is a subclass of animal anatomical structure
(subclass Hand BodySegment) Mid-level-ontology.kif 14085-14085 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 14086-14087 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 748-748 Every wrist bone is initially part of a hand
(initialPart PalmBone Hand) Anatomy.kif 852-852 Every palm bone is initially part of a hand
(initialPart FingerBone Hand) Anatomy.kif 900-900 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 14089-14094 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 1724-1733 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 1966-1992 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 2045-2069 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 6230-6238 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 7710-7719 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 10254-10262 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 14125-14130 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 14628-14633 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 14639-14643 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 21774-21776 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 2347-2355 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