Yuval Shahar: The "Human Cli-Knowme" Project: Building a Universal, Formal, Procedural and Declarative Clinical Knowledge Base, for the Automation of Therapy and Research. KR4HC 2011: 1-22