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