On the Formal Standardization of Terminology Resources: The Case Study of TriMED