Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   VentedChestSeal
|
|
|
| appearance as argument number 1 |
|
|
| (subclass VentedChestSeal ChestSeal) | Medicine.kif 825-825 | Vented chest seal is a subclass of chest seal |
| (documentation VentedChestSeal EnglishLanguage "A ChestSeal designed to seal a wound in the Chest, ameliorating a Pneumothorax, by allowing Air to escape through the wound but not reenter it.") | Medicine.kif 826-828 | Vented chest seal is a subclass of chest seal |
| appearance as argument number 2 |
|
|
| (partTypes Valve VentedChestSeal) | Medicine.kif 829-829 | Every valve is a part of a vented chest seal |
| (termFormat EnglishLanguage VentedChestSeal "vented chest seal") | Medicine.kif 830-830 | Every valve is a part of a vented chest seal |
| antecedent |
|
|
| (=> (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 |
|