From sentto-44114-21208-1068851013-lojban-in=lojban.org@returns.groups.yahoo.com Fri Nov 14 15:03:25 2003 Received: with ECARTIS (v1.0.0; list lojban-list); Fri, 14 Nov 2003 15:03:25 -0800 (PST) Received: from n17.grp.scd.yahoo.com ([66.218.66.72]) by chain.digitalkingdom.org with smtp (Exim 4.22) id 1AKmyG-0003Ba-W5 for lojban-in@lojban.org; Fri, 14 Nov 2003 15:03:21 -0800 X-eGroups-Return: sentto-44114-21208-1068851013-lojban-in=lojban.org@returns.groups.yahoo.com Received: from [66.218.66.94] by n17.grp.scd.yahoo.com with NNFMP; 14 Nov 2003 23:03:37 -0000 X-Sender: jcowan@reutershealth.com X-Apparently-To: lojban@yahoogroups.com Received: (qmail 81081 invoked from network); 14 Nov 2003 23:03:25 -0000 Received: from unknown (66.218.66.167) by m1.grp.scd.yahoo.com with QMQP; 14 Nov 2003 23:03:25 -0000 Received: from unknown (HELO mail.reutershealth.com) (65.246.141.36) by mta6.grp.scd.yahoo.com with SMTP; 14 Nov 2003 23:03:24 -0000 Received: from skunk.reutershealth.com (mail [65.246.141.36]) by mail.reutershealth.com (Pro-8.9.3/Pro-8.9.3) with SMTP id RAA20893; Fri, 14 Nov 2003 17:58:19 -0500 (EST) Received: by skunk.reutershealth.com (sSMTP sendmail emulation); Fri, 14 Nov 2003 18:03:20 -0500 To: Jorge =?utf-8?Q?Llamb=EDas?= Cc: lojban@yahoogroups.com Message-ID: <20031114230320.GS5394@skunk.reutershealth.com> References: <20031114222722.GO5394@skunk.reutershealth.com> <20031114225436.57966.qmail@web41902.mail.yahoo.com> In-Reply-To: <20031114225436.57966.qmail@web41902.mail.yahoo.com> User-Agent: Mutt/1.4.1i From: "John Cowan" X-Originating-IP: 65.246.141.36 MIME-Version: 1.0 Mailing-List: list lojban@yahoogroups.com; contact lojban-owner@yahoogroups.com Delivered-To: mailing list lojban@yahoogroups.com Precedence: bulk Date: Fri, 14 Nov 2003 18:03:20 -0500 Subject: [lojban] Re: COI, UI (was Re: cfari) Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by Ecartis X-archive-position: 6705 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-list-bounce@lojban.org Errors-to: lojban-list-bounce@lojban.org X-original-sender: jcowan@reutershealth.com Precedence: bulk Reply-to: lojban-list@lojban.org X-list: lojban-list Jorge Llamb��)B�as scripsit: > > The x1 of fancu is the abstract function, whereas x4 is the lambda-expresion > > (or equivalent) that specifies it. > > Shouldn't those two be interreplaceable? No. x1 and x4 are analogous to li and me'o. > What other gismu places > are like the x1 of fancu and what other places are like the x4? x1 and x2 of girzu respectively, except that x4 is a text, not a property. > Or are they sui generis? Is the x2 of sumti like the x1 of fancu, > like the x4, or something else? x2 of sumti is like the x1 of fancu. -- Only do what only you can do. John Cowan --Edsger W. Dijkstra, http://www.reutershealth.com deceased 6 August 2002 http://www.ccil.org/~cowan ------------------------ Yahoo! Groups Sponsor ---------------------~--> Buy Ink Cartridges or Refill Kits for your HP, Epson, Canon or Lexmark Printer at MyInks.com. Free s/h on orders $50 or more to the US & Canada. http://www.c1tracking.com/l.asp?cid=5511 http://us.click.yahoo.com/mOAaAA/3exGAA/qnsNAA/GSaulB/TM ---------------------------------------------------------------------~-> To unsubscribe, send mail to lojban-unsubscribe@onelist.com Your use of Yahoo! Groups is subject to http://docs.yahoo.com/info/terms/