From sentto-44114-16748-1034870266-lojban-in=lojban.org@returns.groups.yahoo.com Thu Oct 17 09:34:21 2002 Received: with ECARTIS (v1.0.0; list lojban-list); Thu, 17 Oct 2002 09:34:21 -0700 (PDT) Received: from n5.grp.scd.yahoo.com ([66.218.66.89]) by digitalkingdom.org with smtp (Exim 4.05) id 182DbF-0007YK-01 for lojban-in@lojban.org; Thu, 17 Oct 2002 09:34:17 -0700 X-eGroups-Return: sentto-44114-16748-1034870266-lojban-in=lojban.org@returns.groups.yahoo.com Received: from [66.218.66.96] by n5.grp.scd.yahoo.com with NNFMP; 17 Oct 2002 15:57:46 -0000 X-Sender: jjllambias@hotmail.com X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-8_2_2_1); 17 Oct 2002 15:57:46 -0000 Received: (qmail 39314 invoked from network); 17 Oct 2002 15:57:46 -0000 Received: from unknown (66.218.66.216) by m13.grp.scd.yahoo.com with QMQP; 17 Oct 2002 15:57:46 -0000 Received: from unknown (HELO hotmail.com) (216.33.241.4) by mta1.grp.scd.yahoo.com with SMTP; 17 Oct 2002 15:57:46 -0000 Received: from mail pickup service by hotmail.com with Microsoft SMTPSVC; Thu, 17 Oct 2002 08:57:46 -0700 Received: from 200.49.74.2 by lw8fd.law8.hotmail.msn.com with HTTP; Thu, 17 Oct 2002 15:57:45 GMT To: lojban@yahoogroups.com Bcc: Message-ID: X-OriginalArrivalTime: 17 Oct 2002 15:57:46.0041 (UTC) FILETIME=[EF343A90:01C275F5] From: "Jorge Llambias" X-Originating-IP: [200.49.74.2] X-Yahoo-Profile: jjllambias2000 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: Thu, 17 Oct 2002 15:57:45 +0000 Subject: [lojban] Re: zil Content-Type: text/plain; charset=US-ASCII X-archive-position: 2244 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-list-bounce@lojban.org Errors-to: lojban-list-bounce@lojban.org X-original-sender: jjllambias@hotmail.com Precedence: bulk Reply-to: lojban-list@lojban.org X-list: lojban-list la djan cusku di'e >To be precise, zi'o provides the operation of the >relational algebra called "projection", whereby an n-place relation >becomes an (n-1)-place relation. This serves as a superficial analogy, but it's not quite the same thing. zi'o expands the meaning of a selbri, a projection doesn't. A projection just fixes the value of one of the arguments, or restricts in some way the relationship between the arguments. zi'o goes the other way. It would be more appropriate to say that the zi'o-less selbri is a projection of the zi'o-selbri. Only a subset of the arguments that satisfy the zi'o-selbri will satisfy the zi'o-less one. > > An example: > > > > pikta > > x1 is a ticket entitling x2 to entitlement/privilege x3 under conditions >x4 > > > > zilpikta (< zilpavypikta) > > x1 has right/entitlement/privilege x2 under conditions x3 > >An excellent example! Yes, very good. {pikta} is a projection of {zilpikta}, from all relationships of entitlement to only those relationships involving tickets. Also: zilrelpikta x1 is a ticket giving entitlement/privilege x2 under conditions x3 To include tickets that are not personalized. and: zilreljvecibypikta x1 is a ticket under conditions x2 To include tickets that don't necessarily entitle privileges. (It is still a mystery to me why some gismu have an "under conditions" place and others don't.) mu'o mi'e xorxes _________________________________________________________________ Protect your PC - get McAfee.com VirusScan Online http://clinic.mcafee.com/clinic/ibuy/campaign.asp?cid=3963 ------------------------ Yahoo! Groups Sponsor ---------------------~--> Sell a Home with Ease! http://us.click.yahoo.com/SrPZMC/kTmEAA/jd3IAA/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/