Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  VentedChestSeal

Sigma KEE - VentedChestSeal
VentedChestSeal(vented chest seal)

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 Vented chest seal is a subclass of chest seal

appearance as argument number 2
-------------------------


(partType Valve VentedChestSeal) Medicine.kif 850-850 partType valve and vented chest seal
(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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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