ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] retirement

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "Obrst, Leo J." <lobrst@xxxxxxxxx>
Date: Thu, 1 May 2014 20:10:50 +0000
Message-id: <FDFBC56B2482EE48850DB651ADF7FEB0351A1F94@xxxxxxxxxxxxxxxxxx>
Geesh, again with the one-upmanship! ;)    (01)

>-----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
>    (02)

_________________________________________________________________
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    (03)

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