Title: Language, logic, and formalization of knowledge