connectedBodyPart - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11958-11959
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11962-11962	The number 1 argument of connected is a subclass of body part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11963-11963	The number 2 argument of connected is a subclass of body part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11957-11957	connected is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11956-11956	connected is an instance of transitive relation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11960-11960
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11961-11961

antecedent

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

Mid-level-ontology.kif 11967-11977

If a a kind of body part is connected to a another kind of body part and healthy is an attribute of an object,
then there exist a kind of body partI and another kind of body partI such that the kind of body partI is an instance of the kind of body part and the other kind of body partI is an instance of the other kind of body part and the kind of body partI is a part of the object and the other kind of body partI is a part of the object and the kind of body partI is connected to the other kind of body partI

consequent

No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 561-574	If a kind of body part is an instance of cervical vertebra bone and a kind of body part is a part of an object and the object is an instance of human and disease or syndrome is not an attribute of the object, then there exists another kind of body part such that another kind of body part is an instance of cervical vertebra bone and the other kind of body part is not equal to the kind of body part and the other kind of body part is a part of the object and a the other kind of body part is connected to a the kind of body part
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 505-517	If a kind of body part is an instance of costae spuriae and a kind of body part is a part of an object and the object is an instance of human and disease or syndrome is not an attribute of the object, then there doesn't exist another kind of body part such that another kind of body part is an instance of sternum and the other kind of body part is a part of the object and a the other kind of body part is connected to a the kind of body part
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 601-614	If a kind of body part is an instance of lumbar vertebra bone and a kind of body part is a part of an object and the object is an instance of human and disease or syndrome is not an attribute of the object, then there exists another kind of body part such that another kind of body part is an instance of lumbar vertebra bone and the other kind of body part is not equal to the kind of body part and the other kind of body part is a part of the object and a the other kind of body part is connected to a the kind of body part
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 669-682	If a kind of body part is an instance of thoracic vertebra bone and a kind of body part is a part of an object and the object is an instance of human and disease or syndrome is not an attribute of the object, then there exists another kind of body part such that another kind of body part is an instance of thoracic vertebra bone and the other kind of body part is not equal to the kind of body part and the other kind of body part is a part of the object and a the other kind of body part is connected to a the kind of body part
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 492-503	If a kind of body part is an instance of costae verae and a kind of body part is a part of an object and the object is an instance of human and disease or syndrome is not an attribute of the object, then there exists another kind of body part such that another kind of body part is an instance of sternum and the other kind of body part is a part of the object and a the other kind of body part is connected to a the kind of body part
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1741-1743	If the insertion point of a kind of body part is another kind of body part, then a a kind of body part is connected to a another kind of body part
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1691-1693	If the origin of a kind of body part is another kind of body part, then a a kind of body part is connected to a another kind of body part

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12064-12064	A esophagus is connected to a stomach
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12066-12066	A intestine is connected to a rectum
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12063-12063	A mouth is connected to a esophagus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12090-12090	A mouth is connected to a trachea
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12091-12091	A nose is connected to a trachea
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12067-12067	A rectum is connected to a anus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12065-12065	A stomach is connected to a intestine
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12092-12092	A trachea is connected to a lung

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: