No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4684-4684 | Propranolol is a subclass of beta blocker |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4702-4702 | Inderal is a subclass of propranolol |