Hi,
in this example, deduction rules alone cannot inference anything because
you don't have in your knowledge base things of the sort
Inheritance
A
B
Inheritance
B
C
Some rules are explained in the wiki, like
http://wiki.opencog.org/w/DeductionRule (though I think this section
Hi,
This is the data, that i gave,
(EvaluationLink
(PredicateNode "eats")
(ListLink
(ConceptNode "tom")
(ConceptNode "chicken-feet")
)
)
(InheritanceLink (stv 0.9 0.9)
(ConceptNode "tom")
(ConceptNode "chinese")
)
(EvaluationLink