ApplyingTourniquet - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - ApplyingTourniquet

ApplyingTourniquet(applying a tourniquet)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 63-64
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 61-61	Applying a tourniquet is a subclass of attaching
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 62-62	Applying a tourniquet is a subclass of therapeutic process

appearance as argument number 2

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

Medicine.kif 65-65

antecedent

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

Medicine.kif 67-78

If a transfer is an instance of applying a tourniquet,
then there exist an agent, an entity and an object such that the agent is an instance of Agent and the entity is an instance of mammal and tourniquet is an attribute of the object holds during the time of existence of the transfer and the transfer ends up at the entity and the agent is an agent of the transfer and the object transferred in the transfer is the object

consequent

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

Medicine.kif 44-59

If a process is an instance of bleeding and an entity is an instance of death and a formula is an instance of human and an agent is an instance of human and the agent experiences the process and the formula is near to the agent and the statement the process causes the entity has the modal force of likely,
then there exists another entity such that the other entity is an instance of applying a tourniquet and the formula is an agent of the other entity and the other entity ends up at the agent is obliged to perform tasks of type the formula

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