Alveolus 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 | Ivabradine は Medicine の subclass では %n |
appearance as argument number 2 |
(subclass Corlanor Ivabradine) | Medicine.kif 4913-4913 | Corlanor は Ivabradine の subclass では %n |
(subclass Procoralan Ivabradine) | Medicine.kif 4916-4916 | Procoralan は Ivabradine の subclass では %n |
(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 |
|