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 932-937
(subclass Anesthetizing TherapeuticProcess)	Medicine.kif 931-931	Anesthetizing is a subclass of therapeutic process

appearance as argument number 2

(subclass GeneralAnesthetizing Anesthetizing)	Medicine.kif 951-951	General anesthetizing is a subclass of anesthetizing
(subclass LocalAnesthetizing Anesthetizing)	Medicine.kif 986-986	Local anesthetizing is a subclass of anesthetizing
(subclass Sedating Anesthetizing)	Medicine.kif 968-968	Sedating is a subclass of anesthetizing
(termFormat EnglishLanguage Anesthetizing "anesthetizing")	Medicine.kif 938-938	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 957-966	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 940-949	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 1018-1023	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 1025-1031