Antiparasitic - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Antiparasitic BiologicallyActiveSubstance)	Mid-level-ontology.kif 11144-11144	Anti-parasitic is a subclass of biologically active substance
(documentation Antiparasitic EnglishLanguage "A BiologicallyActiveSubstance than can kill instances of Parasite.")	Mid-level-ontology.kif 11145-11146	Anti-parasitic is a subclass of biologically active substance

appearance as argument number 2

(termFormat EnglishLanguage Antiparasitic "anti-parasitic")	Mid-level-ontology.kif 11147-11147
(subclass Ivermectin Antiparasitic)	Medicine.kif 3206-3206	Ivermectin is a subclass of anti-parasitic

antecedent

(=>
    (instance ?A Antiparasitic)
    (exists (?D ?AVM)
        (and
            (instance ?D ParasiticDisease)
            (medicine ?AVM ?D))))

If X is an instance of anti-parasitic, then there exist Y, Z such that Y is an instance of parasitic disease, and Z is medicine for Y