No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5605-5605 | Hydroxychloroquine est une sous-classe de AntiParasitic |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5621-5621 | Plaquenil est une sous-classe de Hydroxychloroquine |