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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - VentedChestSeal

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


        (instance ?VCS VentedChestSeal)
        (instance ?A Attaching)
        (objectTransferred ?A ?VCS)
        (destination ?A ?H))
    (hasPurpose ?VCS
        (exists (?A ?L ?C ?H)
                (instance ?A Air)
                (instance ?L Lung)
                (instance ?C Chest)
                (part ?L ?H)
                (part ?C ?H)
                        (WhenFn ?A))
                    (between ?L ?A ?C))
                (hasPurpose ?VCS
                            (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