>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)?
>
>Clearly he means "antisymmetric", i.e.,
>
>(if (and (R x y) (R y x))
> (= x y))
> (01)
Right. That is the axiom I state in the document.
Sorry about the terminological mistake. (02)
Pat (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)
--
---------------------------------------------------------------------
IHMC (850)434 8903 or (650)494 3973 home
40 South Alcaniz St. (850)202 4416 office
Pensacola (850)202 4440 fax
FL 32502 (850)291 0667 cell
phayesAT-SIGNihmc.us http://www.ihmc.us/users/phayes (05)
_________________________________________________________________
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 (06)
|