| appearance as argument number 1 |
|
| (documentation Anesthetizing EnglishLanguage "Being under Anesthesia is a state of controlled, temporary loss of sensation or awareness that is induced for medical or veterinary purposes. It may include some or all of analgesia (relief from or prevention of pain), Paralysis (muscle relaxation), amnesia (loss of memory), and Unconsciousness. Anesthesia enables the painless performance of procedures that would otherwise require physical restraint in a non-anesthetized individual, or would otherwise be technically unfeasible. Three broad categories of anesthesia exist: GeneralAnesthetizing, Sedation and LocalAnesthetizing. [from Wikipedia]") | Medicine.kif 941-946 | |
| (subclass Anesthetizing TherapeuticProcess) | Medicine.kif 940-940 | Anesthetizing est une sous-classe de processus therapeutique |
| appearance as argument number 2 |
|
|
| (subclass GeneralAnesthetizing Anesthetizing) | Medicine.kif 960-960 | GeneralAnesthetizing est une sous-classe de Anesthetizing |
| (subclass LocalAnesthetizing Anesthetizing) | Medicine.kif 994-994 | LocalAnesthetizing est une sous-classe de Anesthetizing |
| (subclass Sedating Anesthetizing) | Medicine.kif 977-977 | Sedating est une sous-classe de Anesthetizing |
| (termFormat EnglishLanguage Anesthetizing "anesthetizing") | Medicine.kif 947-947 |
| antecedent |
|
|
| (=> (and (instance ?A Anesthetizing) (patient ?A ?P)) (holdsDuring (WhenFn ?A) (and (attribute ?P Unconscious) (not (attribute ?P Pain))))) |
Medicine.kif 966-975 | |
| (=> (and (instance ?A Anesthetizing) (patient ?A ?P)) (holdsDuring (WhenFn ?A) (or (attribute ?P Unconscious) (not (attribute ?P Pain))))) |
Medicine.kif 949-958 | |
| (=> (instance ?A Anesthetizing) (exists (?DRUG) (and (instance ?DRUG Anesthesia) (resource ?DRUB ?A)))) |
Medicine.kif 1026-1031 |
|
| consequent |
|
|
| (=> (instance ?A Anesthesia) (hasPurpose ?A (exists (?P) (and (instance ?P Anesthetizing) (resource ?P ?A))))) |
Medicine.kif 1033-1039 |
|
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