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 13796-13797
(externalImage Hand "http://upload.wikimedia.org/wikipedia/commons/4/4a/ Raczka4.jpg")	pictureList.kif 109-109
(subclass Hand AnimalAnatomicalStructure)	Mid-level-ontology.kif 13794-13794	Hand is a subclass of AnimalAnatomicalStructure
(subclass Hand BodySegment)	Mid-level-ontology.kif 13795-13795	Hand is a subclass of 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 27316-27316	initialPart WristBone and Hand
(termFormat ChineseTraditionalLanguage Hand "手")	domainEnglishFormat.kif 27315-27315	initialPart WristBone and Hand
(termFormat EnglishLanguage Hand "hand")	domainEnglishFormat.kif 27314-27314	initialPart WristBone and Hand

antecedent

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

Mid-level-ontology.kif 13799-13804

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 Perspiring 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 7555-7564	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 14405-14409	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 6067-6075	If an animal wears a WearableItem and the WearableItem 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 WearableItem meets the object
(=> (attribute ?HAND Fist) (instance ?HAND Hand))	Mid-level-ontology.kif 21434-21436	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 10088-10096	If a physical is an instance of WashBasin, 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 13835-13840	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 ?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	If a physical is an instance of Handgun, then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity and the other entity such that the entity is an instance of human and the other entity is an instance of shooting and the physical is an instrument for the other entity and the entity is an agent of the other entity and the fourth entity is an instance of Grabbing and the fourth entity is a subprocess of the other entity and the physical is a patient of the fourth entity and the entity is an agent of the fourth entity and the third entity is an instrument for the fourth entity and the third entity is an instance of Hand and the third entity is a part of the entity and the statement there exists the third entity2 such that the third entity2 is an instance of Hand and equal the third entity and the third entity2 and the third entity2 is a part of the entity and the third entity2 is an instrument for the fourth entity doesn't have the modal force of Necessity
(=> (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	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 14394-14399	If a process is an instance of HandGesture, then there exists an entity such that the entity is an instance of Hand and the entity is a patient of the process
(=> (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	If a physical is an instance of Longgun, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of shooting and the physical is an instrument for the entity and the other entity is an agent of the entity and the other entity is an instance of human and there exists a third entity such that the third entity is an instance of Grabbing and the other entity is an agent of the third entity and the physical is a patient of the third entity and the statement there exist a fourth entity and a fifth entity such that the fourth entity is an instance of Hand and the fourth entity is a part of the other entity and the fifth entity is an instance of Hand and the fifth entity is a part of the other entity and equal the fourth entity and the fifth entity and the fourth entity is an instrument for the third entity and the fifth entity is an instrument for the third entity has the modal force of Necessity holds during the time of existence of the entity

statement

(equal Glove (CoveringFn Hand))	Cars.kif 4804-4804	equal Glove and CoveringFn Hand
(subclass LeftHand (BodySideFn Left Hand))	Medicine.kif 2889-2889	LeftHand is a subclass of BodySideFn Left and Hand
(subclass RightHand (BodySideFn Right Hand))	Medicine.kif 2892-2892	RightHand is a subclass of BodySideFn Right and 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: