TreeView Knowledge Base Browser - Hand

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Hand

Sigma KEE - Hand

Hand(hand)

hand, hooks, left, left_hand, manus, maulers, meat_hooks, mitt, palm, paw, right, right_hand, thenar

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12470-12471
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 109-109
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12468-12468	Hand is a subclass of animal anatomical structure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12469-12469	Hand is a subclass of body segment

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 880-880	Every finger bone is initially part of a hand
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 832-832	Every palm bone is initially part of a hand
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 744-744	Every wrist bone is initially part of a hand
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27306-27306
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27305-27305
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27304-27304

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 12473-12478

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

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6621-6630	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13082-13086	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5134-5142	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19855-19857	If fist is an attribute of an object, then the object is an instance of hand
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8886-8894	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12509-12514	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1457-1466	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13071-13076	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

No TPTP formula. May not be expressible in strict first order.	Cars.kif 4751-4751	Glove is equal to a covering for hand
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2888-2888	Left hand is a subclass of the left hand
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2891-2891	Right hand is a subclass of the right hand

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