Turn English Sentences into First Order Logic [closed]

Question

Closed. This question is off-topic. It is not currently accepting answers.

---

Want to improve this question? Update the question so it's on-topic for Stack Overflow.

Closed 5 years ago.

Do tools or libraries capable of translation an English sentence into First Order Logic exist?

Eg: 'Every thing that loves all humans is a dog.' becomes:

 ∀_(x,y)  humman(y)  ∩  love(x,y) → isdog(x)

I think it's called a semantic interpreter, but I don't seem to find anything beyond research papers.

I have just started learning both Java and Natural Language Processing, and I apologize in advance if my question has been answered before (Or if it's plain stupid).

Thanks for your help.

Answer 1

Take a look at here: https://bitbucket.org/yoavartzi/spf

This is a very comprehensive package for parsing text, to logical form, mostly based on CCG grammar.