Hi Nil, What I'm trying to say is a user has an account and an account has points in it that can change--just as with any computer game, really. Does that make sense?
Johannes On Tuesday, December 11, 2018 at 7:28:45 AM UTC, Nil wrote: > > 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/9726a9f8-b96e-4d97-bdcb-629b1b70b170%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
