Hand - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Hand EnglishLanguage "The grasping, fingered part of an upper limb of a Primate.")	Mid-level-ontology.kif 13367-13368
(externalImage Hand "http://upload.wikimedia.org/wikipedia/commons/4/4a/ Raczka4.jpg")	pictureList.kif 109-109
(subclass Hand AnimalAnatomicalStructure)	Mid-level-ontology.kif 13365-13365	Hand is a subclass of animal anatomical structure
(subclass Hand BodySegment)	Mid-level-ontology.kif 13366-13366	Hand is a subclass of body segment

appearance as argument number 2

(initialPart FingerBone Hand)	Anatomy.kif 879-879	Every finger bone is initially part of a hand
(initialPart PalmBone Hand)	Anatomy.kif 831-831	Every palm bone is initially part of a hand
(initialPart WristBone Hand)	Anatomy.kif 743-743	Every wrist bone is initially part of a hand
(termFormat ChineseLanguage Hand "手")	domainEnglishFormat.kif 27334-27334	Every wrist bone is initially part of a hand
(termFormat ChineseTraditionalLanguage Hand "手")	domainEnglishFormat.kif 27333-27333	Every wrist bone is initially part of a hand
(termFormat EnglishLanguage Hand "hand")	domainEnglishFormat.kif 27332-27332	Every wrist bone is initially part of a hand

antecedent

(=>
    (instance ?HAND Hand)
    (exists (?ARM)
        (and
            (instance ?ARM Arm)
            (part ?HAND ?ARM))))

Mid-level-ontology.kif 13370-13375

If an object is an instance of hand,
then there exists another object such that the other object is an instance of arm and the object is a part of the other object

consequent

(=> (and (instance ?P Perspiring) (experiencer ?P ?A)) (exists (?H) (and (instance ?H Hand) (part ?H ?A) (destination ?P ?H))))	emotion.kif 1492-1500	If a process is an instance of sweating and an agent experiences the process, then there exists an object such that the object is an instance of hand and the object is a part of the agent and the process ends up at the object
(=> (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 7171-7180	If a process is an instance of punching and an agent is an agent of the process, then there exists an object such that the object is an instance of hand and fist is an attribute of the object and the object is a part of the agent and the object is an instrument for the process
(=> (and (instance ?WAVE Waving) (patient ?WAVE ?HAND)) (instance ?HAND Hand))	Mid-level-ontology.kif 13979-13983	If a process is an instance of waving and an entity is a patient of the process, then the entity is an instance of hand
(=> (and (wears ?P ?G) (instance ?G Glove)) (exists (?H) (and (instance ?H Hand) (part ?H ?P) (meetsSpatially ?G ?H))))	Mid-level-ontology.kif 5684-5692	If an animal wears a wearable item and the wearable item is an instance of glove, then there exists an object such that the object is an instance of hand and the object is a part of the animal and the wearable item meets the object
(=> (attribute ?HAND Fist) (instance ?HAND Hand))	Mid-level-ontology.kif 20945-20947	If fist is an attribute of an object, then the object is an instance of hand
(=> (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 9660-9668	If a physical is an instance of wash basin, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of washing and the physical is an instrument for the entity and the other entity is a patient of the entity and the other entity is an instance of hand
(=> (instance ?FINGER Finger) (exists (?HAND) (and (instance ?HAND Hand) (part ?FINGER ?HAND))))	Mid-level-ontology.kif 13406-13411	If an object is an instance of finger, then there exists another object such that the other object is an instance of hand and the object is a part of the other object
(=> (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 1450-1459	If a physical is an instance of handle, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of grabbing and the physical is a patient of the entity and the other entity is an instrument for the entity and the other entity is an instance of hand
(=> (instance ?HG HandGesture) (exists (?H) (and (instance ?H Hand) (patient ?HG ?H))))	Mid-level-ontology.kif 13968-13973	If a process is an instance of hand gesture, then there exists an entity such that the entity is an instance of hand and the entity is a patient of the process

statement

(equal Glove (CoveringFn Hand))	Cars.kif 4804-4804	Glove is equal to a covering for hand
(subclass LeftHand (BodySideFn Left Hand))	Medicine.kif 2876-2876	Left hand is a subclass of the left hand
(subclass RightHand (BodySideFn Right Hand))	Medicine.kif 2879-2879	Right hand is a subclass of the right hand

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

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

KB Term:			Term intersection

English Word: