Anesthesia - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Anesthesia EnglishLanguage "The BiologicallyActiveSubstance used in Anesthetizing.")	Medicine.kif 1022-1023
(subclass Anesthesia Medicine)	Medicine.kif 1021-1021

appearance as argument number 2

(termFormat EnglishLanguage Anesthesia "anesthesia")

Medicine.kif 1024-1024

antecedent

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

Medicine.kif 1033-1039

consequent

(=>
    (instance ?A Anesthetizing)
    (exists (?DRUG)
        (and
            (instance ?DRUG Anesthesia)
            (resource ?DRUB ?A))))

Medicine.kif 1026-1031