VentedChestSeal - Sigma Knowledge base Browser

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 835-837
(subclass VentedChestSeal ChestSeal)	Medicine.kif 834-834	Vented chest seal is a subclass of chest seal

appearance as argument number 2

(partTypes Valve VentedChestSeal)	Medicine.kif 838-838	Every valve is a part of a vented chest seal
(termFormat EnglishLanguage VentedChestSeal "vented chest seal")	Medicine.kif 839-839	Every valve is a part of a vented chest seal

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 841-863

If an object is an instance of vented chest seal and a transfer is an instance of attaching and the object transferred in the transfer is the object and the transfer ends up at an entity,
then the object has the purpose there exist the transfer, another entity,, , a third entity and the entity such that the transfer is an instance of air and the other entity is an instance of lung and the third entity is an instance of chest and the other entity is a part of the entity and the third entity is a part of the entity and the transfer is between the other entity and the third entity holds during immediately before the time of existence of the transfer and the object has the purpose the transfer is outside to the entity holds during immediately after the time of existence of the transfer

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

KB Term:			Term intersection

English Word: