Pat Hayes wrote:
> take a look
>
> http://www.ihmc.us:16080/users/phayes/context/ContextMereology.html (01)
There, you say: (02)
"the parthood relationship, which we will assume is transitive,
asymmetric and reflexive" (03)
Can you give an example of a relation that is both asymmetric and
reflexive (other than the vacuously asymmetric and reflexive empty
relation)? (04)
vQ (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)
|