Formalizing Traditional Chinese Medicine