Anesthetizing - Sigma Knowledge base Browser

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 is a subclass of therapeutic process

appearance as argument number 2

(subclass GeneralAnesthetizing Anesthetizing)	Medicine.kif 960-960	General anesthetizing is a subclass of anesthetizing
(subclass LocalAnesthetizing Anesthetizing)	Medicine.kif 994-994	Local anesthetizing is a subclass of anesthetizing
(subclass Sedating Anesthetizing)	Medicine.kif 977-977	Sedating is a subclass of 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	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
(=> (and (instance ?A Anesthetizing) (patient ?A ?P)) (holdsDuring (WhenFn ?A) (or (attribute ?P Unconscious) (not (attribute ?P Pain)))))	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
(=> (instance ?A Anesthetizing) (exists (?DRUG) (and (instance ?DRUG Anesthesia) (resource ?DRUB ?A))))	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

(=>
    (instance ?A Anesthesia)
    (hasPurpose ?A
        (exists (?P)
            (and
                (instance ?P Anesthetizing)
                (resource ?P ?A)))))

Medicine.kif 1033-1039