No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 4679-4679 |
HeartAttack 是 对于 消化 的 disease 治愈 BetaBlocker |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 4680-4680 |
HeartPalpitations 是 对于 消化 的 disease 治愈 BetaBlocker |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 4681-4681 |
HighBloodPressure 是 对于 消化 的 disease 治愈 BetaBlocker |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 4684-4684 |
Propranolol 是 BetaBlocker 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 4682-4682 |
|