From lojban+bncCIfp7ILVEBDF7I7wBBoEyIiRCw@googlegroups.com Thu Jun 23 14:55:30 2011 Received: from mail-pw0-f61.google.com ([209.85.160.61]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1QZrrz-0006T9-FG; Thu, 23 Jun 2011 14:55:30 -0700 Received: by pwj8 with SMTP id 8sf1389211pwj.16 for ; Thu, 23 Jun 2011 14:55:21 -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=KUS700cbz4avfw/ihRjq7LP+C3k3itoQ5cafaqQgUb4=; b=B2L+HoK5oBc2P37niGUuT3JjVkvVK7YRulwWJJ+RKZxUDLVPKA+1RDSca5Z+YOt7Fb 17xXM9tYDWVh8kIrwyPjkXwwGDqxjiOHfdy42mcOdUttOrYiVvkWrhXPQw2KsIOe/KbK U6dwQZw6J8UBwcWO/B9G3F/Q8hKBrV5AeRidM= 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=BjuNNkJxLn3zdVTui4dfBqrTh+qpp08bvE3I5ViA25WMDL14za9eHOunKqOPcRYAuy nlTQnih8aG2wwi3Ozh2CspbzgVo08CaLfZI/wZxRaxn1T+Zb4nhtnNB5rx/C1PfOEOfh pCf9HPZp1HvAKzAiBOfBnp9InXeDYIqiM+cFU= Received: by 10.68.24.226 with SMTP id x2mr216225pbf.33.1308866117413; Thu, 23 Jun 2011 14:55:17 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.68.37.105 with SMTP id x9ls629796pbj.2.gmail; Thu, 23 Jun 2011 14:55:15 -0700 (PDT) Received: by 10.68.46.104 with SMTP id u8mr436358pbm.49.1308866115477; Thu, 23 Jun 2011 14:55:15 -0700 (PDT) Received: by 10.68.46.104 with SMTP id u8mr436357pbm.49.1308866115465; Thu, 23 Jun 2011 14:55:15 -0700 (PDT) Received: from mail-pz0-f52.google.com (mail-pz0-f52.google.com [209.85.210.52]) by gmr-mx.google.com with ESMTPS id f8si4196139pbc.0.2011.06.23.14.55.15 (version=TLSv1/SSLv3 cipher=OTHER); Thu, 23 Jun 2011 14:55:15 -0700 (PDT) Received-SPF: pass (google.com: domain of felipeg.assis@gmail.com designates 209.85.210.52 as permitted sender) client-ip=209.85.210.52; Received: by pzd13 with SMTP id 13so2115867pzd.39 for ; Thu, 23 Jun 2011 14:55:15 -0700 (PDT) MIME-Version: 1.0 Received: by 10.68.25.74 with SMTP id a10mr1439130pbg.78.1308866114509; Thu, 23 Jun 2011 14:55:14 -0700 (PDT) Received: by 10.68.48.102 with HTTP; Thu, 23 Jun 2011 14:55:14 -0700 (PDT) In-Reply-To: References: Date: Thu, 23 Jun 2011 18:55:14 -0300 Message-ID: Subject: Re: [lojban] non-ka properties From: =?ISO-8859-1?Q?Felipe_Gon=E7alves_Assis?= To: lojban@googlegroups.com X-Original-Sender: felipeg.assis@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of felipeg.assis@gmail.com designates 209.85.210.52 as permitted sender) smtp.mail=felipeg.assis@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 2011/6/22 Jorge Llamb=EDas > > 2011/6/22 Felipe Gon=E7alves Assis : > > > > Stating a {ckaji} is just an indirect way to state the bridi obtained > > by applying the predicate to the x1. > > Yes. > > But just as "kau" makes sense outside of a subordinate bridi, it can > also make sense in these properties whose only purpose is to allow the > raising of one of the arguments. > Could you point me where this general meaning of {kau} is explained? Anyway, I guess {kau} is just not what we were looking for. You understand what things I am trying to express, right? They are just functions, so that I can use {zmadu} to say "f(x) > f(y)", {jibni} to say "f(x) is close to f(= y)" and {traji} to say "f, restricted to X, has maximal/minimal value at x". I = am just asking how to express f in lojban. I really feel that this was the spirit in which these gismu were defined. You talk about complex objects, and compare them with functions with simpler, structured codomains. --=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.