BodyPart - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 19474-19475
No TPTP formula. May not be expressible in strict first order.	Merge.kif 19470-19473
No TPTP formula. May not be expressible in strict first order.	Merge.kif 19469-19469	Body part is a subclass of anatomical structure

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 19429-19429	Anatomical structure is exhaustively partitioned into body part and abnormal anatomical structure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9748-9748	Animal shell is a subclass of body part
No TPTP formula. May not be expressible in strict first order.	Merge.kif 19612-19612	Body cavity is a subclass of body part
No TPTP formula. May not be expressible in strict first order.	Merge.kif 19583-19583	Body covering is a subclass of body part
No TPTP formula. May not be expressible in strict first order.	Merge.kif 19599-19599	Body junction is a subclass of body part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10487-10487	Bust is a subclass of body part
No TPTP formula. May not be expressible in strict first order.	Merge.kif 19624-19624	Cell is a subclass of body part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9311-9311	Cell part is a subclass of body part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10527-10527	Chin is a subclass of body part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10203-10203	Digit appendage is a subclass of body part
No TPTP formula. May not be expressible in strict first order.	Food.kif 585-585	EggYolk is a subclass of body part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9890-9890	Exoskeleton is a subclass of body part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10508-10508	Face is a subclass of body part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18082-18082	Feather is a subclass of body part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10365-10365	Foot is a subclass of body part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10191-10191	Hand is a subclass of body part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10491-10491	Head is a subclass of body part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9699-9699	Hoof is a subclass of body part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10039-10039	Hypothalamus is a subclass of body part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10269-10269	Limb is a subclass of body part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9810-9810	Lip is a subclass of body part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9663-9663	Mouth is a subclass of body part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10496-10496	Neck is a subclass of body part
No TPTP formula. May not be expressible in strict first order.	Merge.kif 19629-19629	Organ is a subclass of body part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9082-9082	Plant branch is a subclass of body part

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

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

Mid-level-ontology.kif 27903-27903

The number 1 argument of CoveringFn is a subclass of body part

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28333-28343	An entity is an instance of body part and Bare is an attribute of the entity holds during a time position if and only if there doesn't exist another entity such that the other entity is an instance of clothing and the other entity covers the entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 19477-19483	If an entity is an instance of body part, then there exist a physical and a time position such that the physical is an instance of organism and the time position is a part of the time of existence of the physical and the entity is a component of the physical holds during the time position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 19485-19490	If an entity is an instance of body part, then there exists a process such that the process is an instance of physiologic process and the entity is a result of the process

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 15176-15182	If a motion is an instance of body motion and an object moves during the motion, then the object is an instance of body part and the object is a patient of the motion
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1474-1484	If a process is an instance of perspiring (whole body) and an agent experiences the process, then there doesn't exist an object such that the object is an instance of body part and the object is a part of the agent and the process doesn't end up at the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6135-6140	If a process is an instance of atrophy, then there exists an agent such that the agent experiences the process and the agent is an instance of body part
No TPTP formula. May not be expressible in strict first order.	Merge.kif 19590-19597	If an object is an instance of body covering, then there exists another object such that the object is a superficial part of the other object and the other object is an instance of organism or the other object is an instance of body part
No TPTP formula. May not be expressible in strict first order.	Merge.kif 19604-19610	If an object is an instance of body junction, then there exist another object and a third object such that the other object is an instance of body part and the third object is an instance of body part and the object connects the other object and the third object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2577-2586	If a process is an instance of excretion, then there exist an agent, an entity and an object such that the agent is an instance of organism and the agent is an agent of the process and the entity is a patient of the process and the entity is an instance of excrement and the object is an instance of body part and the object is an instrument for the process

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: