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

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


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


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