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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Hand

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 12471-12472
(externalImage Hand "http://upload.wikimedia.org/wikipedia/commons/4/4a/ Raczka4.jpg") pictureList.kif 109-109
(subclass Hand AnimalAnatomicalStructure) Mid-level-ontology.kif 12469-12469 HandAnimalAnatomicalStructuresubclass では %n
(subclass Hand BodySegment) Mid-level-ontology.kif 12470-12470 HandBodySegmentsubclass では %n

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


(initialPart FingerBone Hand) Anatomy.kif 880-880 initialPart FingerBone and Hand
(initialPart PalmBone Hand) Anatomy.kif 832-832 initialPart PalmBone and Hand
(initialPart WristBone Hand) Anatomy.kif 744-744 initialPart WristBone and Hand
(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 12474-12479

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 6622-6631
(=>
    (and
        (instance ?WAVE Waving)
        (patient ?WAVE ?HAND))
    (instance ?HAND Hand))
Mid-level-ontology.kif 13083-13087
(=>
    (and
        (wears ?P ?G)
        (instance ?G Glove))
    (exists (?H)
        (and
            (instance ?H Hand)
            (part ?H ?P)
            (meetsSpatially ?G ?H))))
Mid-level-ontology.kif 5135-5143
(=>
    (attribute ?HAND Fist)
    (instance ?HAND Hand))
Mid-level-ontology.kif 19856-19858
(=>
    (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 8887-8895
(=>
    (instance ?FINGER Finger)
    (exists (?HAND)
        (and
            (instance ?HAND Hand)
            (part ?FINGER ?HAND))))
Mid-level-ontology.kif 12510-12515
(=>
    (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 13072-13077

statement
-------------------------


(equal Glove
    (CoveringFn Hand))
Cars.kif 4743-4743 GloveCoveringFn Handequal では %n
(subclass LeftHand
    (BodySideFn Left Hand))
Medicine.kif 2888-2888 LeftHandBodySideFn Left and Handsubclass では %n
(subclass RightHand
    (BodySideFn Right Hand))
Medicine.kif 2891-2891 RightHandBodySideFn Right and Handsubclass では %n


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners