TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Anesthetizing TherapeuticProcess)	Medicine.kif 920-920	Anesthetizing is a subclass of therapeutic process
(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 921-926	Anesthetizing is a subclass of therapeutic process

appearance as argument number 2

(termFormat EnglishLanguage Anesthetizing "anesthetizing")	Medicine.kif 927-927
(subclass GeneralAnesthetizing Anesthetizing)	Medicine.kif 940-940	General anesthetizing is a subclass of anesthetizing
(subclass Sedating Anesthetizing)	Medicine.kif 957-957	Sedating is a subclass of anesthetizing
(subclass LocalAnesthetizing Anesthetizing)	Medicine.kif 975-975	Local anesthetizing is a subclass of anesthetizing

antecedent

(=> (and (instance ?A Anesthetizing) (patient ?A ?P)) (holdsDuring (WhenFn ?A) (or (attribute ?P Unconscious) (not (attribute ?P Pain)))))	Medicine.kif 929-938	If X is an instance of anesthetizing and Y is a patient of X, then unconscious is an attribute of Y or pain is not an attribute of Y holds during the time of existence of X
(=> (and (instance ?A Anesthetizing) (patient ?A ?P)) (holdsDuring (WhenFn ?A) (and (attribute ?P Unconscious) (not (attribute ?P Pain)))))	Medicine.kif 946-955	If X is an instance of anesthetizing and Y is a patient of X, then unconscious is an attribute of Y and pain is not an attribute of Y holds during the time of existence of X
(=> (instance ?A Anesthetizing) (exists (?DRUG) (and (instance ?DRUG Anesthesia) (resource ?DRUB ?A))))	Medicine.kif 1007-1012	If X is an instance of anesthetizing, then there exists Y such that Y is an instance of anesthesia and X is a resource for Z

consequent

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

If X is an instance of anesthesia, then X has the purpose there exists Y such that Y is an instance of anesthetizing and X is a resource for Y