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 12470-12471
(externalImage Hand "http://upload.wikimedia.org/wikipedia/commons/4/4a/ Raczka4.jpg") pictureList.kif 109-109
(subclass Hand AnimalAnatomicalStructure) Mid-level-ontology.kif 12468-12468 动物解剖结构subclass
(subclass Hand BodySegment) Mid-level-ontology.kif 12469-12469 BodySegmentsubclass

appearance as argument number 2
-------------------------


(initialPart FingerBone Hand) Anatomy.kif 880-880 %每个 FingerBoneinitially part
(initialPart PalmBone Hand) Anatomy.kif 832-832 %每个 PalmBoneinitially part
(initialPart WristBone Hand) Anatomy.kif 744-744 %每个 WristBoneinitially part
(termFormat ChineseLanguage Hand "手") domainEnglishFormat.kif 27306-27306
(termFormat ChineseTraditionalLanguage Hand "手") domainEnglishFormat.kif 27305-27305
(termFormat EnglishLanguage Hand "hand") domainEnglishFormat.kif 27304-27304

antecedent
-------------------------


(=>
    (instance ?HAND Hand)
    (exists (?ARM)
        (and
            (instance ?ARM Arm)
            (part ?HAND ?ARM))))
Mid-level-ontology.kif 12473-12478

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 6621-6630
(=>
    (and
        (instance ?WAVE Waving)
        (patient ?WAVE ?HAND))
    (instance ?HAND Hand))
Mid-level-ontology.kif 13082-13086
(=>
    (and
        (wears ?P ?G)
        (instance ?G Glove))
    (exists (?H)
        (and
            (instance ?H Hand)
            (part ?H ?P)
            (meetsSpatially ?G ?H))))
Mid-level-ontology.kif 5134-5142
(=>
    (attribute ?HAND Fist)
    (instance ?HAND Hand))
Mid-level-ontology.kif 19855-19857
(=>
    (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 8886-8894
(=>
    (instance ?FINGER Finger)
    (exists (?HAND)
        (and
            (instance ?HAND Hand)
            (part ?FINGER ?HAND))))
Mid-level-ontology.kif 12509-12514
(=>
    (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 1457-1466
(=>
    (instance ?HG HandGesture)
    (exists (?H)
        (and
            (instance ?H Hand)
            (patient ?HG ?H))))
Mid-level-ontology.kif 13071-13076