We have conflicting translations into FOL, would be great if someone
could help me clear this up, thanks!
1
domain= humans
Ax Ay Az parent(y,x) & parent(z,y) <--------> grandparent(z,x)
2
domain = people
grandparent(g,c) g is grandparent of child c
parent(p,c) p is parent of child c
ag,c garndparent(g,c) <-------> Ep parent(g,p) & parent(p,c)
Re: OT: The View ... I would NEVER suggest anyone continue having their kids associate with a child molester, even if said molester happens to be the grandparent, parent, etc. ... A parent who was not physically abusive, but who has been emotionally and verbally abusive all one's life?... (rec.arts.tv.soaps.cbs)
Re: OT: The View ... I would NEVER suggest anyone continue having their kids associate with a child molester, even if said molester happens to be the grandparent, parent, etc. ... A parent who was not physically abusive, but who has been emotionally and verbally abusive all one's life?... (rec.arts.tv.soaps.cbs)
Any Grandparents out there? ... fields: GP PP1 CC1... I basically want to have CC1+CC2+CC3+CC4 show up on the Grandparent... textbox in the Child form and then in the Parent form using something ... (microsoft.public.access.formscoding)
Re: How to call the grandparents method ... you only have access to your parent.... exist in your grandparent definition.... > I am Child... > public virtual void WhoAmI()... (microsoft.public.dotnet.languages.csharp)
Run-time type id and Inheritance ... Is there any possible way to determine if a class A inherits from class ... So if I have an Abstract Base Class called Grandparent,... inherits from Parent called Child.... (comp.lang.cpp)
