Building a Knowledge Graph from Natural Language Definitions for Interpretable Text Entailment Recognition