ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] retirement

To: "Obrst, Leo J." <lobrst@xxxxxxxxx>
Cc: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Pat Hayes <phayes@xxxxxxx>
Date: Fri, 2 May 2014 11:03:38 -0500
Message-id: <8548B3CF-5A0E-4CC5-A19B-FA22A7093FB2@xxxxxxx>
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)

<Prev in Thread] Current Thread [Next in Thread>