No TPTP formula. May not be expressible in strict first order. | WMD.kif 1296-1296 | Doxycycline est une sous-classe de OralAntibiotic |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3800-3800 | Doxycycline est une sous-classe de Antibiotic |
![]() |