| 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 4869-4872 | |
| (subclass Ivabradine Medicine) | Medicine.kif 4868-4868 |
| appearance as argument number 2 |
|
|
| (subclass Corlanor Ivabradine) | Medicine.kif 4898-4898 | |
| (subclass Procoralan Ivabradine) | Medicine.kif 4901-4901 | |
| (termFormat EnglishLanguage Ivabradine "ivabradine") | Medicine.kif 4874-4874 |
| 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 4876-4896 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners