(=> (subclass ?A Antibiotic) (exists (?D) (and (instance ?D BacterialDisease) (medicine ?A ?D)))) |
Mid-level-ontology.kif 9670-9675 | |
(subclass Antibiotic BiologicallyActiveSubstance) | Mid-level-ontology.kif 9666-9666 | |
(subclass OralAntibiotic Antibiotic) | WMD.kif 1284-1284 | |
(subclass TopicalAntibiotic Antibiotic) | WMD.kif 1311-1311 | |
(subclass InjectedAntibiotic Antibiotic) | Medicine.kif 1342-1342 | |
(subclass CarbapenemAntibiotic Antibiotic) | Medicine.kif 1355-1355 | |
(subclass Cephalosporin Antibiotic) | Medicine.kif 1964-1964 | |
(subclass Clarithromycin Antibiotic) | Medicine.kif 3583-3583 | |
(subclass Doxycycline Antibiotic) | Medicine.kif 3800-3800 |