Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ChestSeal(chest seal) |
| appearance as argument number 1 |
|
| (subclass ChestSeal MedicalDevice) | Medicine.kif 802-802 | Chest seal is a subclass of medical device |
| (documentation ChestSeal EnglishLanguage "A MedicalDevice designed to seal a wound in the Chest, preventing, or ameliorating, a Pneumothorax.") | Medicine.kif 803-804 | Chest seal is a subclass of medical device |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ChestSeal "chest seal") | Medicine.kif 805-805 | |
| (subclass VentedChestSeal ChestSeal) | Medicine.kif 825-825 | Vented chest seal is a subclass of chest seal |
| antecedent |
|
|
| (=> (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 |
|