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
> --
> 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+u...@googlegroups.com.
> To post to this group, send email to
ope...@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/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