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