Hyperventilating Socrates
From OpenCog
Syllogism:
Socrates is a man Men breathe air |- Socrates breathes air
We need to map the RelEx2Frame output into OpenCog Atoms in order to do the inference. This involves a set of rules that act on the RelEx2Frame output and produce Atoms, either directly as binary objects, or as Scheme code or XML or whatever.. In this case the output of these Frame2Atom rules for the two premises of the above inference might look like
ConceptNode man ConceptNode air SpecificEntityNode Socrates PredicateNode breathe
Inheritance Socrates man Evaluation breathe (man, air)
It is then a single PLN inference step to conclude
Evaluation breathe (Socrates, air)