No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4684-4684 | Propranolol est une sous-classe de BetaBlocker |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4702-4702 | Inderal est une sous-classe de Propranolol |
![]() |