BetaBlocker
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4671-4678 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4669-4669 | 子類 BetaBlocker and 醫學 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4679-4679 | HeartAttack 是 對於 Ingesting 的 disease 治癒 BetaBlocker |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4680-4680 | HeartPalpitations 是 對於 Ingesting 的 disease 治癒 BetaBlocker |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4681-4681 | HighBloodPressure 是 對於 Ingesting 的 disease 治癒 BetaBlocker |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4684-4684 | 子類 Propranolol and BetaBlocker |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4682-4682 |