The ORM Foundation

 what i dont understand is the fact that you can say that A exists (and create an existential fact), or you can define the property existence (or inexistence), then go on and say that A has the property existence (creating an elementary fact).

isnt it the same content declared in two different ways - once as an existential fact and once as an elementary fact?

Rolemo

I assume you want to use "exists" as a unary predicate. The formalization of ORM instead always uses an existential quantifier instead of a predicate for asserting existence. So please do not use "exists" as a predicate.

Cheers

Terry