|
|
   Propranolol
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4686-4698 | |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4700-4700 | Nausea 是服用 Propranolol 的 side effect |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4684-4684 | Propranolol 是 BetaBlocker 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4702-4702 | Inderal 是 Propranolol 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4699-4699 |
|
|
|