Hi Johannes,
On 12/10/18 6:48 PM, Johannes Castner wrote:
; all users have an account
(EvaluationLink
account
(ListLink
User
)
)
note that you don't need to wrap the argument with a ListLink if
there's only one, you might write
(EvaluationLink
account
User)
How do I say that an account has points in it, that can be updated and
Depends on what you mean "has points in it". `account` is a predicate
so it indeed can have stuff in it by using `EvaluationLink` as you did
with `User`, which says `User` is in `account`. If `account` where a
concept, then you could equivalently (or isomorphically equivalently)
write
(MemberLink
User
account)
that a user has that account etc? I'm sorry, I'm still rather new to
Atomese and I've been trying to figure this out but I'm seriously stuck.
Please help!
It's not clear to me what you want to express. If you write it in FOL
we'll definitely be able to translate it to Atomese.
Nil
--
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/90e25b86-abda-0da6-6f76-5eafd4da3204%40gmail.com.
For more options, visit https://groups.google.com/d/optout.
