From lojban+bncCJ2UzZHuDRDY8_PvBBoE-OFDrA@googlegroups.com Sat Jun 18 12:17:58 2011 Received: from mail-vx0-f189.google.com ([209.85.220.189]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1QY11m-0001Ys-IB; Sat, 18 Jun 2011 12:17:58 -0700 Received: by vxg38 with SMTP id 38sf1464003vxg.16 for ; Sat, 18 Jun 2011 12:17:48 -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 :in-reply-to:references: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:sender:list-subscribe:list-unsubscribe :content-type:content-transfer-encoding; bh=eFGEFszyqw9kzC8sONT3eX4m1NP2unXTac78hPdF9Pk=; b=hweSDuwnQLNyN+vxmaxJ8PA20FAp9KHQApup1DvJlGZ/23N7iLrR9cEbCzz2BOIOnh 6sivw0QdLFR+AM1/BSfif1yMQlvPyNxkGPw2fvZS6L5mswdI/cK+J8f+VQOyqyUDUvRb J/5MLULiuDCVFHC6RR8YdjS8TJg1QUnjKrVkY= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlegroups.com; s=beta; h=x-beenthere:received-spf:mime-version:in-reply-to:references: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:sender :list-subscribe:list-unsubscribe:content-type :content-transfer-encoding; b=KB9ix6EQVVHRFTkqqrWcD89dvQqiOGnTZN+KfdbGiQRm1U56EH6CGk1WII6lP6ysMV wt5M3nNdaWEm3VyDxdfbMYPCkT72nohefp7TBoXkAN6zmVU62BKAiYgk61FSgtL5KxjD PFSrpGk9kCZlbV5suphVUqqQp1oi1UsbtwFe0= Received: by 10.220.181.13 with SMTP id bw13mr605276vcb.49.1308424664476; Sat, 18 Jun 2011 12:17:44 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.52.187.102 with SMTP id fr6ls1781572vdc.0.gmail; Sat, 18 Jun 2011 12:17:43 -0700 (PDT) Received: by 10.52.31.230 with SMTP id d6mr1298798vdi.22.1308424663918; Sat, 18 Jun 2011 12:17:43 -0700 (PDT) Received: by 10.52.31.230 with SMTP id d6mr1298797vdi.22.1308424663908; Sat, 18 Jun 2011 12:17:43 -0700 (PDT) Received: from mail-vw0-f42.google.com (mail-vw0-f42.google.com [209.85.212.42]) by gmr-mx.google.com with ESMTPS id ch6si3226343vdb.2.2011.06.18.12.17.43 (version=TLSv1/SSLv3 cipher=OTHER); Sat, 18 Jun 2011 12:17:43 -0700 (PDT) Received-SPF: pass (google.com: domain of jjllambias@gmail.com designates 209.85.212.42 as permitted sender) client-ip=209.85.212.42; Received: by vwl1 with SMTP id 1so717292vwl.1 for ; Sat, 18 Jun 2011 12:17:43 -0700 (PDT) MIME-Version: 1.0 Received: by 10.52.159.202 with SMTP id xe10mr4952183vdb.263.1308424663767; Sat, 18 Jun 2011 12:17:43 -0700 (PDT) Received: by 10.52.181.234 with HTTP; Sat, 18 Jun 2011 12:17:43 -0700 (PDT) In-Reply-To: <860642.20311.qm@web81305.mail.mud.yahoo.com> References: <860642.20311.qm@web81305.mail.mud.yahoo.com> Date: Sat, 18 Jun 2011 16:17:43 -0300 Message-ID: Subject: Re: [lojban] non-ka properties From: =?ISO-8859-1?Q?Jorge_Llamb=EDas?= To: lojban@googlegroups.com X-Original-Sender: jjllambias@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of jjllambias@gmail.com designates 209.85.212.42 as permitted sender) smtp.mail=jjllambias@gmail.com; dkim=pass (test mode) header.i=@gmail.com Reply-To: lojban@googlegroups.com Precedence: list Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com List-ID: X-Google-Group-Id: 1004133512417 List-Post: , List-Help: , List-Archive: Sender: lojban@googlegroups.com List-Subscribe: , List-Unsubscribe: , Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable On Sat, Jun 18, 2011 at 3:56 PM, John E Clifford wro= te: > =A0A case > could be made, I think, that all and only properties are referred to by > ka-expressions. "Only", perhaps. "All", I doubt. The number of ka-expressions is countable, while the number of properties is not. Perhaps you are allowing the same ka-expression to be used to refer to more than one property. mu'o mi'e xorxes --=20 You received this message because you are subscribed to the Google Groups "= lojban" group. To post to this group, send email to lojban@googlegroups.com. To unsubscribe from this group, send email to lojban+unsubscribe@googlegrou= ps.com. For more options, visit this group at http://groups.google.com/group/lojban= ?hl=3Den.