On May 27, 2007, at 3:03 AM, Waclaw Kusnierczyk wrote:
> Pat Hayes wrote:
>> take a look
>>
>> http://www.ihmc.us:16080/users/phayes/context/ContextMereology.html
>
> There, you say:
>
> "the parthood relationship, which we will assume is transitive,
> asymmetric and reflexive"
>
> Can you give an example of a relation that is both asymmetric and
> reflexive (other than the vacuously asymmetric and reflexive empty
> relation)? (01)
Clearly he means "antisymmetric", i.e., (02)
(if (and (R x y) (R y x))
(= x y)) (03)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (04)
|