Hello, I just wanted to make sure my use of the LambdaLink inside the Lojban<->Atomese translator is correct.
One use case is the following: EquivalenceLink LambdaLink VariableNode "1" EvaluationLink PredicateNode "pred" ListLink (VariableNode "1") LambdaLink VariableNode "2" ContextLink VariableNode "2" ConceptNode "Somthing" (Might be a EvaluationLink)) I use this to define the PredicateNode "pred" so as to apply to things in whiches context "Something" is true. Does this do what I want it to? If not is there a different way to do this? regards /roman -- 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 [email protected]. To post to this group, send email to [email protected]. 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/99c37450-697a-4164-a3c5-80780584c05d%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
