ChestSeal - Sigma Knowledge base Browser

appearance as argument number 1

(documentation ChestSeal EnglishLanguage "A MedicalDevice designed to seal a wound in the Chest, preventing, or ameliorating, a Pneumothorax.")	Medicine.kif 824-825
(subclass ChestSeal MedicalDevice)	Medicine.kif 823-823	Chest seal is a subclass of medical device

appearance as argument number 2

(subclass VentedChestSeal ChestSeal)	Medicine.kif 846-846	Vented chest seal is a subclass of chest seal
(termFormat EnglishLanguage ChestSeal "chest seal")	Medicine.kif 826-826	Vented chest seal is a subclass of chest seal

antecedent

(=>
    (instance ?CS ChestSeal)
    (hasPurpose ?CS
        (exists (?C ?CH ?I ?H)
            (and
                (instance ?C Closing)
                (instrument ?C ?CS)
                (located ?C ?CH)
                (instance ?CH Chest)
                (instance ?H HoleRegion)
                (equal ?CH
                    (HoleHostFn ?H))
                (instance ?I Injuring)
                (located ?I ?CH)
                (earlier
                    (WhenFn ?I)
                    (WhenFn ?C))))))

Medicine.kif 828-844

If a physical is an instance of chest seal,
then the physical has the purpose there exist an entity, the entityH,, , a third entity and a fourth entity such that the entity is an instance of closing and the physical is an instrument for the entity and the entity is located at the entityH and the entityH is an instance of chest and the fourth entity is an instance of hole and the entityH is equal to the host of the hole the fourth entity and the third entity is an instance of injuring and the third entity is located at the entityH and the time of existence of the third entity happens earlier than the time of existence of the entity

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: