VentedChestSeal - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - VentedChestSeal

VentedChestSeal(vented chest seal)

appearance as argument number 1

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

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 850-850	partType valve and vented chest seal
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 851-851

antecedent

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

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