No TPTP formula. May not be expressible in strict first order. | WMD.kif 1292-1292 | Penicillin is a subclass of oral antibiotic |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5437-5437 | Aminopenicillin is a subclass of penicillin |