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