Inference on language parsed knowledge

From OpenCog
Jump to: navigation, search

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>