Re: semantics of daml:equivalentTo [was: Comments on Annotat

Is there any reason for not having SymmetricProperty and
ReflexiveProperty classes? and EquivalentProperty class?
(which is redundant, but good for deductions)
Can we then say type(equivalentTo, EquivalentProperty)?
--
Jos De Roo

Received on Wednesday, 11 October 2000 13:35:34 UTC