BodyPart - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3493-3494
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13886-13889
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13885-13885	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 13850-13850	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 9771-9771	Animal shell is a subclass of body part
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14007-14007	Body cavity is a subclass of body part
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13981-13981	Body covering is a subclass of body part
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13995-13995	Body junction is a subclass of body part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10541-10541	Bust is a subclass of body part
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14015-14015	Cell is a subclass of body part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9319-9319	Cell part is a subclass of body part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10581-10581	Chin is a subclass of body part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10227-10227	Digit appendage is a subclass of body part
No TPTP formula. May not be expressible in strict first order.	Food.kif 540-540	EggYolk is a subclass of body part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9913-9913	Exoskeleton is a subclass of body part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10562-10562	Face is a subclass of body part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18135-18135	Feather is a subclass of body part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10404-10404	Foot is a subclass of body part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10215-10215	Hand is a subclass of body part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10545-10545	Head is a subclass of body part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9722-9722	Hoof is a subclass of body part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10062-10062	Hypothalamus is a subclass of body part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10293-10293	Limb is a subclass of body part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9833-9833	Lip is a subclass of body part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9686-9686	Mouth is a subclass of body part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10550-10550	Neck is a subclass of body part
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14019-14019	Organ is a subclass of body part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9090-9090	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 27960-27960

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 28390-28400	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 13891-13897	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 13899-13904	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 10358-10364	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 1480-1490	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 6140-6145	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 13986-13993	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 13999-14005	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 2578-2587	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: