TreeView Knowledge Base Browser - Chest

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Chest

Chest(chest)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11213-11215
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11212-11212	Chest is a subclass of animal anatomical structure

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10767-10767	Every chest muscle is initially part of a chest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11236-11236	Every Rib is initially part of a chest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11216-11216
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10766-10766	A chest muscle is typically a part of a chest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11235-11235	A rib bone is typically a part of a chest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11263-11263	A chest typically has a part rib cage

antecedent

No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1799-1807	If prone is an attribute of an object and the object is on to another object holds during a time position and a third object is an instance of chest and the third object is a part of the object, then the third object meets the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11218-11228	If an object is an instance of chest and a class is an instance of animal and the object is an instance of the class and the object is a part of the class, then there exists another object such that the other object is an instance of torso and the object is a part of the other object and the other object is a part of the class
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1823-1830	If an object is an instance of chest and the object is a part of a self connected object and another self connected object is equal to the back of the self connected object, then the object is not a part of the other self connected object

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 895-917	If a transfer is an instance of needle decompression and an object is a patient of the transfer, then there exist another transfer, another object,, , the other transferN,, , a fourth object,, , a fifth object and a sixth object such that the other transfer is an instance of inserting and the other transfer is a subprocess of the transfer and the object transferred in the other transfer is a seventh object and the other transfer originates at the other object and the other transfer ends up at the other transferN and the seventh object is an instance of needle and fluid is an attribute of the sixth object and the object transferred in the transfer is the sixth object and the sixth object ends up at the other object and the fourth object is an instance of lung and the fifth object is an instance of chest and the fourth object is a part of the object and the fifth object is a part of the object and the transfer originates at the other transferN and the transfer ends up at the other object and the other transferN is between the fourth object and the fifth object and the other object is outside to the object
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 853-875	If an object is an instance of vented chest seal and a transfer is an instance of attaching and the object transferred in the transfer is the object and the transfer ends up at an entity, then the object has the purpose there exist the transfer, another entity,, , a third entity and the entity such that the transfer is an instance of air and the other entity is an instance of lung and the third entity is an instance of chest and the other entity is a part of the entity and the third entity is a part of the entity and the transfer is between the other entity and the third entity holds during immediately before the time of existence of the transfer and the object has the purpose the transfer is outside to the entity holds during immediately after the time of existence of the transfer
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 799-810	If collapsed lung is an attribute of an entity holds during a time position, then there exists another entity such that the other entity is an instance of air and a third entity is an instance of lung and a fourth entity is an instance of chest and the third entity is a part of the entity and the fourth entity is a part of the entity and the other entity is between the third entity and the fourth entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 609-618	If a process is an instance of cardio-pulmonary resuscitation, then there exist another process, the other processH and another object such that the other process is an instance of compressing and the other object is a patient of the process and the other processH is an instance of chest and the other processH is a part of the other object and the other processH is a patient of the other process and the other process is a subprocess of the process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 828-844	If a physical is an instance of chest seal, then the physical has the purpose there exist an entity, the entityH,, , a third entity and a fourth entity such that the entity is an instance of closing and the physical is an instrument for the entity and the entity is located at the entityH and the entityH is an instance of chest and the fourth entity is an instance of hole and the entityH is equal to the host of the hole the fourth entity and the third entity is an instance of injuring and the third entity is located at the entityH and the time of existence of the third entity happens earlier than the time of existence of the entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4891-4911	If a physical is an instance of ivabradine, then the physical has the purpose there exist an entity, the physicalN and a third entity such that the entity is an instance of human and the third entity is an instance of pain in the chest and the entity experiences the third entity and the physicalN is an instance of ingesting and the entity is an agent of the physicalN and the time of existence of the third entity happens earlier than the time of existence of the physicalN and there doesn't exist the third entity2 such that the third entity2 is an instance of pain in the chest and the entity experiences the third entity2 and the time of existence of the physicalN happens earlier than the time of existence of the third entity2

statement

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

Medicine.kif 2016-2016

Chest pain is a subclass of pain in the chest

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