TreeView Knowledge Base Browser - Tourniquet

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Tourniquet

Tourniquet(tourniquet)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 15-15	Relational attribute is an attribute of tourniquet
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 16-16

appearance as argument number 2

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

Medicine.kif 17-17

antecedent

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

Medicine.kif 20-39

If tourniquet is an attribute of an object holds during the objectIME,
then there exist an agent, a process and a transfer such that the agent is an instance of human and the process is an instance of bleeding and the transfer is an instance of attaching and the agent experiences the process and the transfer ends up at the agent and the object transferred in the transfer is the object and the object has the purpose there doesn't exist the process2 such that the process2 is an instance of bleeding and immediately after the time of existence of the transfer overlaps the time of existence of the process2 and the agent experiences the process2

consequent

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

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