Anesthetizing |
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 è una sottoclasse di ProcessoTerapeutico |
appearance as argument number 2 |
(subclass GeneralAnesthetizing Anesthetizing) | Medicine.kif 960-960 | GeneralAnesthetizing è una sottoclasse di Anesthetizing |
(subclass LocalAnesthetizing Anesthetizing) | Medicine.kif 994-994 | LocalAnesthetizing è una sottoclasse di Anesthetizing |
(subclass Sedating Anesthetizing) | Medicine.kif 977-977 | Sedating è una sottoclasse di 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 |
|