From Natural Language Definitions to Knowledge Bases Axioms