MIRKB: a myocardial infarction risk knowledge base. (4th November 2019)