| appearance as argument number 1 |
|
| (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 847-849 | |
| (subclass VentedChestSeal ChestSeal) | Medicine.kif 846-846 | VentedChestSeal est une sous-classe de ChestSeal |
| appearance as argument number 2 |
|
|
| (partType Valve VentedChestSeal) | Medicine.kif 850-850 | partType Valve and VentedChestSeal |
| (termFormat EnglishLanguage VentedChestSeal "vented chest seal") | Medicine.kif 851-851 |
| antecedent |
|
|
| (=> (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 |
|
|
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