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 (PredicateNode "eats") (ListLink (ConceptNode "tim") (ConceptNode "chicken-feet") ) ) (InheritanceLink (stv 0.9 0.9) (ConceptNode "tim") (ConceptNode "chinese") ) (EvaluationLink (PredicateNode "eats") (ListLink (ConceptNode "chinese") (ConceptNode "chicken-feet") ) ) (InheritanceLink (stv 0.9 0.9) (ConceptNode "Jim") (ConceptNode "chinese") ) *Defining Source *: (define source (InheritanceLink (ConceptNode "Jim") (ConceptNode "chinese") ) ) *Defining rules and adding rules to the rule-base:* (load "/opt/opencog/opencog/pln/rules/deduction-rule.scm (define base (ConceptNode "my-rule-base")) (InheritanceLink (ConceptNode "my-rule-base") (ConceptNode "URE") ) (ExecutionLink (SchemaNode "URE:maximum-iterations") (ConceptNode "my-rule-base") (NumberNode "100") ) (MemberLink (stv 0.9 1) deduction-inheritance-rule-name (ConceptNode "my-rule-base") ) (MemberLink (stv 0.5 1) deduction-implication-rule-name (ConceptNode "my-rule-base") ) (MemberLink (stv 0.5 1) deduction-subset-rule-name (ConceptNode "my"my-rule-base")) When i run, (cog-fc source base (SetLink)) it returned, (SetLink ) What do i miss here??? Regards, Vishnu -- You received this message because you are subscribed to the Google Groups "opencog" group. To unsubscribe from this group and stop receiving emails from it, send an email to opencog+unsubscr...@googlegroups.com. To post to this group, send email to opencog@googlegroups.com. Visit this group at https://groups.google.com/group/opencog. To view this discussion on the web visit https://groups.google.com/d/msgid/opencog/fb264f62-fed8-478d-bdd1-0174cc636e94%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.