Chest - Sigma Knowledge base Browser

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

(documentation Chest EnglishLanguage "The part of the Torso that includes the rib cage of an Animal, surrounding the Heart and Lungs.")	Mid-level-ontology.kif 11432-11434
(subclass Chest AnimalAnatomicalStructure)	Mid-level-ontology.kif 11431-11431	Chest is a subclass of animal anatomical structure

appearance as argument number 2

(initialPart Pectoralis Chest)	Mid-level-ontology.kif 10986-10986	Every chest muscle is initially part of a chest
(initialPart Rib Chest)	Mid-level-ontology.kif 11455-11455	Every Rib is initially part of a chest
(termFormat EnglishLanguage Chest "chest")	Mid-level-ontology.kif 11435-11435	Every Rib is initially part of a chest
(typicalPart Pectoralis Chest)	Mid-level-ontology.kif 10985-10985	A chest muscle is typically a part of a chest
(typicalPart RibBone Chest)	Mid-level-ontology.kif 11454-11454	A rib bone is typically a part of a chest
(typicallyContainsPart RibCage Chest)	Mid-level-ontology.kif 11482-11482	A chest typically has a part rib cage

antecedent

(=> (and (holdsDuring ?T (and (attribute ?H Prone) (orientation ?H ?O On))) (instance ?C Chest) (part ?C ?H)) (meetsSpatially ?C ?O))	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
(=> (and (instance ?C Chest) (instance ?A Animal) (instance ?C ?A) (part ?C ?A)) (exists (?T) (and (instance ?T Torso) (part ?C ?T) (part ?T ?A))))	Mid-level-ontology.kif 11437-11447	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
(=> (and (instance ?C Chest) (part ?C ?P) (equal ?B (BackFn ?P))) (not (part ?C ?B)))	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

(=> (and (instance ?T Thoracentesis) (patient ?T ?H)) (exists (?I ?O ?IN ?L ?C ?F) (and (instance ?I Inserting) (subProcess ?I ?T) (objectTransferred ?I ?N) (origin ?I ?O) (destination ?I ?IN) (instance ?N Needle) (attribute ?F Fluid) (objectTransferred ?T ?F) (destination ?F ?O) (instance ?L Lung) (instance ?C Chest) (part ?L ?H) (part ?C ?H) (origin ?T ?IN) (destination ?T ?O) (between ?L ?IN ?C) (orientation ?O ?H Outside))))	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
(=> (and (instance ?VCS VentedChestSeal) (instance ?A Attaching) (objectTransferred ?A ?VCS) (destination ?A ?H)) (hasPurpose ?VCS (exists (?A ?L ?C ?H) (and (instance ?A Air) (instance ?L Lung) (instance ?C Chest) (part ?L ?H) (part ?C ?H) (holdsDuring (ImmediatePastFn (WhenFn ?A)) (between ?L ?A ?C)) (hasPurpose ?VCS (holdsDuring (ImmediateFutureFn (WhenFn ?A)) (orientation ?A ?H Outside)))))))	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
(=> (holdsDuring ?T (attribute ?H Pneumothorax)) (holdsDuring ?T (exists (?A) (and (instance ?A Air) (instance ?L Lung) (instance ?C Chest) (part ?L ?H) (part ?C ?H) (between ?L ?A ?C)))))	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
(=> (instance ?CPR CPR) (exists (?C ?CH ?O) (and (instance ?C Compressing) (patient ?CPR ?O) (instance ?CH Chest) (part ?CH ?O) (patient ?C ?CH) (subProcess ?C ?CPR))))	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
(=> (instance ?CS ChestSeal) (hasPurpose ?CS (exists (?C ?CH ?I ?H) (and (instance ?C Closing) (instrument ?C ?CS) (located ?C ?CH) (instance ?CH Chest) (instance ?H HoleRegion) (equal ?CH (HoleHostFn ?H)) (instance ?I Injuring) (located ?I ?CH) (earlier (WhenFn ?I) (WhenFn ?C))))))	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
(=> (instance ?I Ivabradine) (hasPurpose ?I (exists (?H ?IN ?P) (and (instance ?H Human) (instance ?P (PainFn Chest)) (experiencer ?P ?H) (instance ?IN Ingesting) (agent ?IN ?H) (earlier (WhenFn ?P) (WhenFn ?IN)) (not (exists (?P2) (and (instance ?P2 (PainFn Chest)) (experiencer ?P2 ?H) (earlier (WhenFn ?IN) (WhenFn ?P2)))))))))	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

(subclass ChestPain
(PainFn Chest))

Medicine.kif 2016-2016

Chest pain is a subclass of pain in the chest

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