Received: from mail-gy0-f189.google.com ([209.85.160.189])
	by chain.digitalkingdom.org with esmtp (Exim 4.72)
	(envelope-from <lojban-beginners+bncCNf8pM-bDBDd_bzvBBoEhGBrLg@googlegroups.com>)
	id 1QUEwH-0003gI-T7; Wed, 08 Jun 2011 02:20:42 -0700
Received: by gyf1 with SMTP id 1sf405934gyf.16
        for <multiple recipients>; Wed, 08 Jun 2011 02:20:32 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlegroups.com; s=beta;
        h=domainkey-signature:x-beenthere:received-spf:mime-version:sender
         :date:message-id:subject:from:to:x-original-sender
         :x-original-authentication-results:reply-to:precedence:mailing-list
         :list-id:x-google-group-id:list-post:list-help:list-archive
         :list-subscribe:list-unsubscribe:content-type;
        bh=WIWGCXta3Bl2/Wq+uZo6GQf1Mq1Nhi0WUVmEApQIC5Y=;
        b=poVO6TQ7tMYRC7POgSLwfD83mdqpgGcO5dUwk42DDjNehXx/JVFty/BR0yJqTkPGEH
         cppfHnc7ulGD1mba2M1kmpEDOf17Eiba/fiK5+Mm/xja/3++CSwzUk1cnJgCvpzj0DFq
         SoNg8xxycCIw2bRNmTk+TQECdLASygU06/D3g=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=googlegroups.com; s=beta;
        h=x-beenthere:received-spf:mime-version:sender:date:message-id
         :subject:from:to:x-original-sender:x-original-authentication-results
         :reply-to:precedence:mailing-list:list-id:x-google-group-id
         :list-post:list-help:list-archive:list-subscribe:list-unsubscribe
         :content-type;
        b=HVbPvX6BZrohucGMrFtauMxmuuFWrhqp7CkWLIPHsXp80RrTIvo/Vu3fBPoKMzlXud
         7Vi7Wi+lIJxnF2aaHIsNVv5mhDXzIzjfUM3i6t8hOkN8L1esDsSAtV1c5LGOfFBcr/nH
         fb8CyTHMB+Em/AipjxzCtq2Y/F76dNbqcoy9Y=
Received: by 10.91.33.25 with SMTP id l25mr41595agj.47.1307524829345;
        Wed, 08 Jun 2011 02:20:29 -0700 (PDT)
X-BeenThere: lojban-beginners@googlegroups.com
Received: by 10.151.122.11 with SMTP id z11ls1344289ybm.1.gmail; Wed, 08 Jun
 2011 02:20:28 -0700 (PDT)
Received: by 10.236.0.196 with SMTP id 44mr688792yhb.14.1307524828382;
        Wed, 08 Jun 2011 02:20:28 -0700 (PDT)
Received: by 10.150.33.26 with SMTP id g26msybg;
        Wed, 8 Jun 2011 01:16:11 -0700 (PDT)
Received: by 10.68.11.135 with SMTP id q7mr77974pbb.81.1307520971305;
        Wed, 08 Jun 2011 01:16:11 -0700 (PDT)
Received: by 10.68.11.135 with SMTP id q7mr77973pbb.81.1307520971296;
        Wed, 08 Jun 2011 01:16:11 -0700 (PDT)
Received: from mail-qy0-f179.google.com (mail-qy0-f179.google.com [209.85.216.179])
        by gmr-mx.google.com with ESMTPS id f8si873818pbc.0.2011.06.08.01.16.11
        (version=TLSv1/SSLv3 cipher=OTHER);
        Wed, 08 Jun 2011 01:16:11 -0700 (PDT)
Received-SPF: pass (google.com: domain of paskios@gmail.com designates 209.85.216.179 as permitted sender) client-ip=209.85.216.179;
Received: by qyk7 with SMTP id 7so144812qyk.10
        for <lojban-beginners@googlegroups.com>; Wed, 08 Jun 2011 01:16:10 -0700 (PDT)
MIME-Version: 1.0
Received: by 10.229.77.139 with SMTP id g11mr5066427qck.9.1307520970237; Wed,
 08 Jun 2011 01:16:10 -0700 (PDT)
Sender: lojban-beginners@googlegroups.com
Received: by 10.229.27.202 with HTTP; Wed, 8 Jun 2011 01:16:10 -0700 (PDT)
Date: Wed, 8 Jun 2011 09:16:10 +0100
Message-ID: <BANLkTiksLi8QXKENs3CFei9-w7E7eBWEJg@mail.gmail.com>
Subject: [lojban-beginners] 'term'
From: tijlan <jbotijlan@gmail.com>
To: lojban-beginners@googlegroups.com
X-Original-Sender: paskios@gmail.com
X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com:
 domain of paskios@gmail.com designates 209.85.216.179 as permitted sender)
 smtp.mail=paskios@gmail.com; dkim=pass (test mode) header.i=@gmail.com
Reply-To: lojban-beginners@googlegroups.com
Precedence: list
Mailing-list: list lojban-beginners@googlegroups.com; contact lojban-beginners+owners@googlegroups.com
List-ID: <lojban-beginners.googlegroups.com>
X-Google-Group-Id: 300742228892
List-Post: <http://groups.google.com/group/lojban-beginners/post?hl=en_US>, <mailto:lojban-beginners@googlegroups.com>
List-Help: <http://groups.google.com/support/?hl=en_US>, <mailto:lojban-beginners+help@googlegroups.com>
List-Archive: <http://groups.google.com/group/lojban-beginners?hl=en_US>
List-Subscribe: <http://groups.google.com/group/lojban-beginners/subscribe?hl=en_US>,
 <mailto:lojban-beginners+subscribe@googlegroups.com>
List-Unsubscribe: <http://groups.google.com/group/lojban-beginners/subscribe?hl=en_US>,
 <mailto:lojban-beginners+unsubscribe@googlegroups.com>
Content-Type: text/plain; charset=ISO-8859-1
Content-Length: 716

In term logic, the predicate is considered a term, which is not the
case in Lojban (especially according to its machine grammars). Is the
term 'term' defined differently? Or is it the definition of
'predicate' that's different?

http://en.wikipedia.org/wiki/Term_logic
http://www.lojban.org/publications/formal-grammars/bnf.300.txt


mu'o mi'e tijlan

-- 
You received this message because you are subscribed to the Google Groups "Lojban Beginners" group.
To post to this group, send email to lojban-beginners@googlegroups.com.
To unsubscribe from this group, send email to lojban-beginners+unsubscribe@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/lojban-beginners?hl=en.