(=> (subclass ?A Antibiotic) (exists (?D) (and (instance ?D BacterialDisease) (medicine ?A ?D)))) |
Mid-level-ontology.kif 9671-9676 | |
(subclass Antibiotic BiologicallyActiveSubstance) | Mid-level-ontology.kif 9667-9667 | |
(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 |