Higher-order logical inference with compositional semantics

34345

Knowledge Triples

Source Entity	Relationship	Target Entity
First Order Logic Method	comparesWith	Higher Order Inference System Method
Higher Order Inference System Method	includes	Non First Order Axioms OtherEntity
Higher Order Inference System Method	isBasedOn	CCG Parser Method
Higher Order Inference System Method	uses	Semantic Lexicon Material