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 12689-12690
(externalImage Hand "http://upload.wikimedia.org/wikipedia/commons/4/4a/ Raczka4.jpg")	pictureList.kif 109-109
(subclass Hand AnimalAnatomicalStructure)	Mid-level-ontology.kif 12687-12687	Hand is a subclass of animal anatomical structure
(subclass Hand BodySegment)	Mid-level-ontology.kif 12688-12688	Hand is a subclass of body segment

appearance as argument number 2

(initialPart FingerBone Hand)	Anatomy.kif 880-880	Every finger bone is initially part of a hand
(initialPart PalmBone Hand)	Anatomy.kif 832-832	Every palm bone is initially part of a hand
(initialPart WristBone Hand)	Anatomy.kif 744-744	Every wrist bone is initially part of a hand
(termFormat ChineseLanguage Hand "手")	domainEnglishFormat.kif 27340-27340	Every wrist bone is initially part of a hand
(termFormat ChineseTraditionalLanguage Hand "手")	domainEnglishFormat.kif 27339-27339	Every wrist bone is initially part of a hand
(termFormat EnglishLanguage Hand "hand")	domainEnglishFormat.kif 27338-27338	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 12692-12697

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 6616-6625	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 13301-13305	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 5129-5137	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 20114-20116	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 9105-9113	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 12728-12733	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 13290-13295	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 4728-4728	Glove is equal to a covering for hand
(subclass LeftHand (BodySideFn Left Hand))	Medicine.kif 2888-2888	Left hand is a subclass of the left hand
(subclass RightHand (BodySideFn Right Hand))	Medicine.kif 2891-2891	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: