(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))
)) (01)
plus of course axioms defining all those relations and functions, omitted here
for brevity. (02)
On May 1, 2014, at 10:40 AM, Jack Park <jackpark@xxxxxxxxx> wrote: (03)
> +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
>
> (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)
|