Anesthesia - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Anesthesia EnglishLanguage "The BiologicallyActiveSubstance used in Anesthetizing.")	Medicine.kif 1010-1011
(subclass Anesthesia Medicine)	Medicine.kif 1009-1009	Anesthesia is a subclass of medicine

appearance as argument number 2

(termFormat EnglishLanguage Anesthesia "anesthesia")

Medicine.kif 1012-1012

antecedent

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

Medicine.kif 1021-1027

consequent

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

Medicine.kif 1014-1019