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 1331-1332
(subclass InjectedAntibiotic Antibiotic)	Medicine.kif 1330-1330	Injected antibiotic is a subclass of antibiotic

appearance as argument number 2

Medicine.kif 1333-1333

antecedent

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

Medicine.kif 1335-1341

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