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

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 12539-12541
(subclass Chest AnimalAnatomicalStructure)	Mid-level-ontology.kif 12538-12538	Chest is a subclass of AnimalAnatomicalStructure

appearance as argument number 2

(initialPart Pectoralis Chest)	Mid-level-ontology.kif 12093-12093	initialPart Pectoralis and Chest
(initialPart RibBone Chest)	Mid-level-ontology.kif 12562-12562	initialPart RibBone and Chest
(termFormat EnglishLanguage Chest "chest")	Mid-level-ontology.kif 12542-12542	initialPart RibBone and Chest
(typicalPart Pectoralis Chest)	Mid-level-ontology.kif 12092-12092	typicalPart Pectoralis and Chest
(typicalPart RibBone Chest)	Mid-level-ontology.kif 12561-12561	typicalPart RibBone and Chest
(typicallyContainsPart RibCage Chest)	Mid-level-ontology.kif 12589-12589	typicallyContainsPart RibCage and Chest

antecedent

(=> (and (holdsDuring ?T (and (attribute ?H Prone) (orientation ?H ?O On))) (instance ?C Chest) (part ?C ?H)) (meetsSpatially ?C ?O))	Anatomy.kif 1832-1840	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 12544-12554	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 1856-1863	If an object is an instance of Chest and the object is a part of a self connected object and equal another self connected object and 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 886-908	If a transfer is an instance of Thoracentesis 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 objectTransferred the other transfer and 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 objectTransferred the transfer and 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 844-866	If an object is an instance of VentedChestSeal and a transfer is an instance of attaching and objectTransferred the transfer and 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 790-801	If Pneumothorax 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 599-608	If a process is an instance of CPR, 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 819-835	If a physical is an instance of ChestSeal, 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 equal the entityH and 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 4898-4918	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 PainFn 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 PainFn 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 2013-2013

ChestPain is a subclass of PainFn 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