Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Chest(chest) |  | bosom |
| appearance as argument number 1 |
|
|
| (subclass Chest AnimalAnatomicalStructure) | Mid-level-ontology.kif 12703-12703 | Chest is a subclass of animal anatomical structure |
| (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 12704-12706 | Chest is a subclass of animal anatomical structure |
| appearance as argument number 2 |
|
|
| (typicalPart Pectoralis Chest) | Mid-level-ontology.kif 12224-12224 | A chest muscle is typically a part of a chest |
| (initialPart Pectoralis Chest) | Mid-level-ontology.kif 12225-12225 | Every chest muscle is initially part of a chest |
| (termFormat EnglishLanguage Chest "chest") | Mid-level-ontology.kif 12707-12707 | Every chest muscle is initially part of a chest |
| (typicalPart RibBone Chest) | Mid-level-ontology.kif 12732-12732 | A rib is typically a part of a chest |
| (initialPart RibBone Chest) | Mid-level-ontology.kif 12733-12733 | Every rib is initially part of a chest |
| (typicallyContainsPart RibCage Chest) | Mid-level-ontology.kif 12760-12760 | A chest typically has a part rib cage |
| antecedent |
|
|
| (=> (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 12709-12719 | If X is an instance of chest, Y is an instance of animal, X is an instance of Y, and X is a part of Y, then there exists Z such that Z is an instance of torso, X is a part of Z, and Z is a part of Y |
| (=> (and (holdsDuring ?T (and (attribute ?H Prone) (orientation ?H ?O On))) (instance ?C Chest) (part ?C ?H)) (meetsSpatially ?C ?O)) |
Anatomy.kif 1821-1829 | If prone is an attribute of X and X is on to Y holds during Z, W is an instance of chest, and W is a part of X, then W meets Y |
| (=> (and (instance ?C Chest) (part ?C ?P) (equal ?B (BackFn ?P))) (not (part ?C ?B))) |
Anatomy.kif 1845-1852 | If X is an instance of chest, X is a part of Y, and equal Z and the back of Y, then X is not a part of Z |
| consequent |
|
|
| (=> (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 586-595 | If X is an instance of cardio pulmonary resuscitation, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of compressing (3) W is a patient of X (4) Z is an instance of chest (5) Z is a part of W (6) Z is a patient of Y (7) Y is a subprocess of X |
| (=> (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 778-789 | If collapsed lung is an attribute of X holds during Y, then All of the following hold: (1) there exists Z such that Z is an instance of air (2) W is an instance of lung (3) V is an instance of chest (4) W is a part of X (5) V is a part of X (6) Z is between W (7) V holds during Y |
| (=> (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 807-823 | If X is an instance of chest seal, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of closing (3) X is an instrument for Y (4) Y is located at Z (5) Z is an instance of chest (6) V is an instance of hole (7) equal Z (8) the host of the hole V (9) W is an instance of injuring (10) W is located at Z (11) the time of existence of W happens earlier than the time of existence of Y |
| (=> (and (instance ?VCS VentedChestSeal) (instance ?AT Attaching) (objectTransferred ?AT ?VCS) (destination ?AT ?H)) (hasPurpose ?VCS (exists (?A ?L ?C) (and (instance ?A Air) (instance ?L Lung) (instance ?C Chest) (part ?L ?H) (part ?C ?H) (holdsDuring (ImmediatePastFn (WhenFn ?AT)) (between ?L ?A ?C)) (hasPurpose ?VCS (holdsDuring (ImmediateFutureFn (WhenFn ?AT)) (orientation ?A ?H Outside))))))) |
Medicine.kif 832-854 | If X is an instance of vented chest seal, Y is an instance of attaching, the object transferred in Y is X, and Y ends up at Z, then All of the following hold: (1) X has the purpose there exist W, V (2) U such that W is an instance of air (3) V is an instance of lung (4) U is an instance of chest (5) V is a part of Z (6) U is a part of Z (7) W is between V (8) U holds during immediately before the time of existence of Y (9) X has the purpose W is outside of to Z holds during immediately after the time of existence of Y |
| (=> (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 874-896 | If X is an instance of needle decompression and Y is a patient of X, then All of the following hold: (1) there exist Z, W,, , V,, , U,, , T (2) S such that Z is an instance of inserting (3) Z is a subprocess of X (4) the object transferred in Z is R (5) Z originates at W (6) Z ends up at V (7) R is an instance of needle (8) fluid is an attribute of S (9) the object transferred in X is S (10) S ends up at W (11) U is an instance of lung (12) T is an instance of chest (13) U is a part of Y (14) T is a part of Y (15) X originates at V (16) X ends up at W (17) V is between U (18) T (19) W is outside of to Y |
| (=> (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 4912-4932 | If X is an instance of ivabradine, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of human (3) W is an instance of pain in the chest (4) Y experiences W (5) Z is an instance of ingesting (6) Y is an agent of Z (7) the time of existence of W happens earlier than the time of existence of Z (8) there doesn't exist V such that V is an instance of pain in the chest (9) Y experiences V (10) the time of existence of Z happens earlier than the time of existence of V |
| statement |
|
|
| (subclass ChestPain (PainFn Chest)) |
Medicine.kif 2003-2003 | Chest pain is a subclass of pain in the chest |
|