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 1335-1336
(subclass InjectedAntibiotic Antibiotic)	Medicine.kif 1334-1334	Injected antibiotic is a subclass of antibiotic

appearance as argument number 2

Medicine.kif 1337-1337

antecedent

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

Medicine.kif 1339-1345

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