Talk:SatisfyingSetLink

From OpenCog
Jump to: navigation, search

TODO: I think its correct to say that

 SatisfyingSetLink
  VariableNode "$X"
  EvaluationLink
    PredicateNode "breathe"
    ListLink
      VariableNode "$X"
      ConceptNode "air"

is "the set of all things that breath air" which is the same as ConceptNode "the-set-of-all-things-that-breath-air" and that this ConceptNode can be defined by asserting that

 EquivalenceLink
    ConceptNode "the-set-of-all-things-that-breath-air" 
    SatisfyingSetLink
       VariableNode "$X"
       EvaluationLink
          PredicateNode "breathe"
          ListLink
             VariableNode "$X"
             ConceptNode "air"

right?Linas (talk) 22:46, 10 May 2014 (CDT)