Incorporating Domain Knowledge into Medical NLI using Knowledge Graphs