No TPTP formula. May not be expressible in strict first order. | WMD.kif 1296-1296 | Doxycycline is a subclass of oral antibiotic |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3800-3800 | Doxycycline is a subclass of antibiotic |