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 929-934
(subclass Anesthetizing TherapeuticProcess)	Medicine.kif 928-928	Anesthetizing is a subclass of therapeutic process

appearance as argument number 2

(subclass GeneralAnesthetizing Anesthetizing)	Medicine.kif 948-948	General anesthetizing is a subclass of anesthetizing
(subclass LocalAnesthetizing Anesthetizing)	Medicine.kif 982-982	Local anesthetizing is a subclass of anesthetizing
(subclass Sedating Anesthetizing)	Medicine.kif 965-965	Sedating is a subclass of anesthetizing
(termFormat EnglishLanguage Anesthetizing "anesthetizing")	Medicine.kif 935-935	Sedating is a subclass of anesthetizing

antecedent

(=> (and (instance ?A Anesthetizing) (patient ?A ?P)) (holdsDuring (WhenFn ?A) (and (attribute ?P Unconscious) (not (attribute ?P Pain)))))	Medicine.kif 954-963	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 937-946	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 1014-1019	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 1021-1027