Well, I got there first :-) (01)
Pat (02)
On May 1, 2014, at 3:10 PM, Obrst, Leo J. <lobrst@xxxxxxxxx> wrote: (03)
> Geesh, again with the one-upmanship! ;)
>
>> -----Original Message-----
>> From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx [mailto:ontolog-forum-
>> bounces@xxxxxxxxxxxxxxxx] On Behalf Of Pat Hayes
>> Sent: Thursday, May 01, 2014 3:55 PM
>> To: [ontolog-forum]
>> Subject: Re: [ontolog-forum] retirement
>>
>> (forall ((N NaturalNumber))(implies
>> (exists (P M)(and
>> (OntologForumMember P)
>> (EmailMessage M)
>> (Sends P M)
>> (not (= P PatHayes)
>> (exists ((S Numeral)(and
>> (Contains M (concat "+" S))
>> (= (numericalValueOf S) N))
>> ))
>> ))
>> (Votes PatHayes (plus N 1))
>> ))
>>
>> plus of course axioms defining all those relations and functions, omitted
>here
>> for brevity.
>>
>> On May 1, 2014, at 10:40 AM, Jack Park <jackpark@xxxxxxxxx> wrote:
>>
>>> +10
>>>
>>> On Tue, Apr 29, 2014 at 10:39 PM, John F Sowa <sowa@xxxxxxxxxxx> wrote:
>>>> On 4/29/2014 9:45 PM, Jerry Hobbs wrote:
>>>>> This email thread praising Peter's management of the ontolog forum,
>>>>> does it have a "Like" button?
>>>>
>>>> The usual policy is to give a +1.
>>>>
>>>> I'll go whole hog and give him a +2.
>>>>
>>>> John
>>>>
>>>>
>>>>
>> _________________________________________________________________
>>>> Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
>>>> Config Subscr: 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 join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
>>>>
>>>
>>>
>> _________________________________________________________________
>>> Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
>>> Config Subscr: 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 join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
>>>
>>>
>>
>> ------------------------------------------------------------
>> IHMC (850)434 8903 home
>> 40 South Alcaniz St. (850)202 4416 office
>> Pensacola (850)202 4440 fax
>> FL 32502 (850)291 0667 mobile (preferred)
>> phayes@xxxxxxx http://www.ihmc.us/users/phayes
>>
>>
>>
>>
>>
>>
>>
>> _________________________________________________________________
>> Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
>> Config Subscr: 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 join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
>>
>
> _________________________________________________________________
> Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
> Config Subscr: 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 join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
>
> (04)
------------------------------------------------------------
IHMC (850)434 8903 home
40 South Alcaniz St. (850)202 4416 office
Pensacola (850)202 4440 fax
FL 32502 (850)291 0667 mobile (preferred)
phayes@xxxxxxx http://www.ihmc.us/users/phayes (05)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: 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 join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J (06)
|