TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Anesthesia Medicine)	Medicine.kif 1002-1002	Anesthesia is a subclass of medicine
(documentation Anesthesia EnglishLanguage "The BiologicallyActiveSubstance used in Anesthetizing.")	Medicine.kif 1003-1004	Anesthesia is a subclass of medicine

appearance as argument number 2

(termFormat EnglishLanguage Anesthesia "anesthesia")

antecedent

(=>
    (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

consequent

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

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