InjectedAntibiotic - Sigma Knowledge base Browser

appearance as argument number 1

(documentation InjectedAntibiotic EnglishLanguage "An Antibiotic that is meant for Injecting into a patient.")	Medicine.kif 1343-1344
(subclass InjectedAntibiotic Antibiotic)	Medicine.kif 1342-1342	Injected antibiotic is a subclass of antibiotic

appearance as argument number 2

Medicine.kif 1345-1345

antecedent

(=>
    (instance ?A InjectedAntibiotic)
    (hasPurpose ?A
        (exists (?I)
            (and
                (instance ?I Injecting)
                (objectTransferred ?I ?A)))))

Medicine.kif 1347-1353

If a physical is an instance of injected antibiotic,
then the physical has the purpose there exists an entity such that the entity is an instance of injecting and the object transferred in the entity is the physical