Chris, (01)
> For the record, a better representation might have been simply:
>
> (1'') (Ex)(Event(e) & Buttering(e,j,t))
>
> where, intuitively, "Buttering(e,j,t)" expresses "e is a buttering of t
> by j". (02)
Clever representation, Chris. (03)
-- Jerry (04)
_________________________________________________________________
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 (05)
|