Re: function terms in Euler, n3, and RDF [was: gedcom-relation e

> No, that's not what [] means - (you can't just remove them!) they mean...

You can remove them if you replace them with an existentially
quantified variable, yes?

And you can remove an existentially quantified variable in an asserted
context by replacing it with a new term (that is, by skolemization),
right? 

In another context, like a negated context or a query, I agree
skolemization would be wrong.  I guess I should have been more explicit.

    -- sandro

Received on Wednesday, 7 March 2001 08:25:06 UTC