No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5605-5605 | Hydroxychloroquine is a subclass of AntiParasitic |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5621-5621 | Plaquenil is a subclass of hydroxychloroquine |