Formalization of medical knowledge.