TreeView 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 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

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

KB Term:			Term intersection

English Word: