ChestSeal - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - ChestSeal

ChestSeal(chest seal)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 824-825
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 823-823	Chest seal is a subclass of medical device

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 846-846	Vented chest seal is a subclass of chest seal
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 826-826

antecedent

No TPTP formula. May not be expressible in strict first order.

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