|
|
   Ivabradine
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Ivabradine EnglishLanguage "Ivabradine, sold under the brand name Procoralan among others, is a medication used for the symptomatic management of stable heart-related chest pain and heart failure not fully managed by beta blockers. [from Wikipedia]") | Medicine.kif 4884-4887 | |
| (subclass Ivabradine Medicine) | Medicine.kif 4883-4883 |
| appearance as argument number 2 |
|
|
| (subclass Corlanor Ivabradine) | Medicine.kif 4913-4913 | |
| (subclass Procoralan Ivabradine) | Medicine.kif 4916-4916 | |
| (termFormat EnglishLanguage Ivabradine "ivabradine") | Medicine.kif 4889-4889 |
| antecedent |
|
|
| (=> (instance ?I Ivabradine) (hasPurpose ?I (exists (?H ?IN ?P) (and (instance ?H Human) (instance ?P (PainFn Chest)) (experiencer ?P ?H) (instance ?IN Ingesting) (agent ?IN ?H) (earlier (WhenFn ?P) (WhenFn ?IN)) (not (exists (?P2) (and (instance ?P2 (PainFn Chest)) (experiencer ?P2 ?H) (earlier (WhenFn ?IN) (WhenFn ?P2))))))))) |
Medicine.kif 4891-4911 |
|
|
|