No TPTP formula. May not be expressible in strict first order. | WMD.kif 1296-1296 | Doxycycline e' uma sub-classe de OralAntibiotic |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3800-3800 | Doxycycline e' uma sub-classe de Antibiotic |