Inference on language parsed knowledge
From OpenCog
As a (completely fallicious) example:
People are very ugly. Ben eats ugly things. |- Ben eats people
This should be deducible through the construction of the following AtomSpace entities (from RelEx):
Inheritance people ugly Evaluation Subject (eat_1, ben_1) Evaluation Object (eat_1, things_1) Inheritance things_1 things Inheritance things_1 ugly Inheritance eat_1 eat Inheritance ben_1 ben Inheritance people things //background knowledge |- Evaluation Object (eat_1, people) <tv>