Anesthetizing - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Anesthetizing

Anesthetizing(anesthetizing)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 941-946
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 940-940	Anesthetizing is a subclass of therapeutic process

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 960-960	General anesthetizing is a subclass of anesthetizing
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 994-994	Local anesthetizing is a subclass of anesthetizing
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 977-977	Sedating is a subclass of anesthetizing
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 947-947

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 966-975	If a process is an instance of anesthetizing and an entity is a patient of the process, then unconscious is an attribute of the entity and pain is not an attribute of the entity holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 949-958	If a process is an instance of anesthetizing and an entity is a patient of the process, then unconscious is an attribute of the entity or pain is not an attribute of the entity holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1026-1031	If an object is an instance of anesthetizing, then there exists an entity such that the entity is an instance of anesthesia and the object is a resource for a process

consequent

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

Medicine.kif 1033-1039

If a physical is an instance of anesthesia,
then the physical has the purpose there exists an entity such that the entity is an instance of anesthetizing and the physical is a resource for 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