Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Anesthetizing
Anesthetizing(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 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
(=>
    (and
        (instance ?A Anesthetizing)
        (patient ?A ?P))
    (holdsDuring
        (WhenFn ?A)
        (or
            (attribute ?P Unconscious)
            (not
                (attribute ?P Pain)))))
Medicine.kif 940-949
(=>
    (instance ?A Anesthetizing)
    (exists (?DRUG)
        (and
            (instance ?DRUG Anesthesia)
            (resource ?DRUB ?A))))
Medicine.kif 1018-1023

consequent
-------------------------


(=>
    (instance ?A Anesthesia)
    (hasPurpose ?A
        (exists (?P)
            (and
                (instance ?P Anesthetizing)
                (resource ?P ?A)))))
Medicine.kif 1025-1031


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners