A more typical idiom would be

EvaluationLink
     PredicateNode "Price"
     ListLink
          ConceptNode "18 oz. jar Skippy peanut butter"
          QuantityNode "$7"

or e.g.

ContextLink
     AndLink
            ConceptNode "Addis Ababa"
            TimeNode "2017"
     EvaluationLink
            PredicateNode "Price"
            ListLink
                  ConceptNode "18 oz. jar Skippy peanut butter"
                  QuantityNode "$7"


If we want to say that every peanut butter jar has a price, we could say

ForAllLink $X
     ImplicationLink
           InheritanceLink
                $X
                ConceptNode "peanut butter jar"
           ThereExistsLink $P
                EvaluationLink
                       PredicateNode "Price"
                       ListLink
                               ConceptNode $X
                               QuantityNode $P

   and we could also make an abstraction using DefineLink that would let us say

EvaluationLink
      DefinedPredicateNode "hasQuantitativeProperty"
      ListLink
             ConceptNode "peanut butter jar"
             PredicateNode "price"

where the

      DefinedPredicateNode "hasQuantitativeProperty"
      ListLInk
             $Con
             $Prop

is set up with DefineLink to mean

ForAllLink $X
     ImplicationLink
           InheritanceLink
                $X
                ConceptNode $Con
           ThereExistsLink $P
                EvaluationLink
                       PredicateNode $Prop
                       ListLink
                               ConceptNode $X
                               QuantityNode $P

So I guess

      DefinedPredicateNode "hasQuantitativeProperty"

is the syntactic sugar you're looking for, maybe, but you would have to build it
(apologies the above syntax is not exact...)

ben

On Sat, Feb 11, 2017 at 3:07 PM, Alex <[email protected]> wrote:
> Hi!
>
> Should I write:
>   OwnerPartLink Good Price
> Or is some syntactic sugar available especially for those kinds of link?
>
> --
> 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/355d434e-0713-4a9c-802d-f2082c28fc37%40googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.



-- 
Ben Goertzel, PhD
http://goertzel.org

“I tell my students, when you go to these meetings, see what direction
everyone is headed, so you can go in the opposite direction. Don’t
polish the brass on the bandwagon.” – V. S. Ramachandran

-- 
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/CACYTDBdyzkHUaw16tE6%2BZ%3D96vOgLAVUGmz-hHjhW4ZV9V3XOAQ%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.

Reply via email to