Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Hand
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