Received: from mail-pb0-f58.google.com ([209.85.160.58]:41155) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.76) (envelope-from ) id 1Tpigz-0003tq-G4; Mon, 31 Dec 2012 08:58:34 -0800 Received: by mail-pb0-f58.google.com with SMTP id xa7sf7840099pbc.3 for ; Mon, 31 Dec 2012 08:58:18 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20120806; h=x-received:x-beenthere:x-received:x-received:received-spf :mime-version:in-reply-to:references:from:date:message-id:subject: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; bh=m0q++BrwqgYWb/WhiskKszi/zkCiIgHq3QJ4paeg2Tw=; b=KbTIEh0MicL9kAw1BDtvZQVHfbZ5fAEq/KjvUnvsdLQfd4xdEQdf6TyNvgfWLSLCDT bHV9VQl1bDSaZBnTypP9RP/UuRxskgoi3rpHrp/uBX9E0mfrpQQ2FxgC3WCXXlghTCQ1 PCjgo1TVT565r7acXGNQOfl8ZWJOl0ryG1qR/Uh4DRQcZwV8DAhiISvsMsD7SbWNkBhC zNpUUa7FeOEzmy76Xh9iiM0+26+voAQ93tMlLXquXiXHwd8i762GSklDCmJ3+mjuKNJd 2GBT6LpWIFN03fVn7T8MaVYTq2oadXHAzuC0sDprPQEABNfX0d5iCSl5hcZQM3GzhIEE RkNw== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=x-received:x-beenthere:x-received:x-received:received-spf :mime-version:in-reply-to:references:from:date:message-id:subject: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; bh=m0q++BrwqgYWb/WhiskKszi/zkCiIgHq3QJ4paeg2Tw=; b=wCJCy6ISZcQ28y3D9xyE6+M5ICORuAUFJfJzkTobrUSUlATyGjN6fhJKHH+mJeW63U yS995HzDWqOFVQ923XndJdFzzALfU15UijIoaoUSZeYafi4CIMCCxDwdx85i9FshQNdb K/FkyZ6U4BfwcKuMDx9CR8cbGsnK4Lf8+9wLi4Lvi5TLCIVORDaI+uZwD8uvZAovvBgm wTbgE86wNLjw+2mz1cDNsThtDLYRzlcVqxNg149UA5V/JaS54cuooAXY+IjlY6b0gRf2 ajdfVG0B4N8y36QwdRzutBoqq6oVcGLBRg1flkDndlknY0zANL5ABoMOuo6JneIgMSN2 eEyg== X-Received: by 10.50.196.135 with SMTP id im7mr13644468igc.1.1356973098442; Mon, 31 Dec 2012 08:58:18 -0800 (PST) X-BeenThere: lojban@googlegroups.com Received: by 10.50.197.230 with SMTP id ix6ls9357141igc.30.gmail; Mon, 31 Dec 2012 08:58:17 -0800 (PST) X-Received: by 10.42.175.70 with SMTP id az6mr32564839icb.33.1356973097489; Mon, 31 Dec 2012 08:58:17 -0800 (PST) X-Received: by 10.42.175.70 with SMTP id az6mr32564838icb.33.1356973097470; Mon, 31 Dec 2012 08:58:17 -0800 (PST) Received: from mail-oa0-f53.google.com (mail-oa0-f53.google.com [209.85.219.53]) by gmr-mx.google.com with ESMTPS id vb4si3164839igb.2.2012.12.31.08.58.17 (version=TLSv1/SSLv3 cipher=OTHER); Mon, 31 Dec 2012 08:58:17 -0800 (PST) Received-SPF: pass (google.com: domain of nictytan@gmail.com designates 209.85.219.53 as permitted sender) client-ip=209.85.219.53; Received: by mail-oa0-f53.google.com with SMTP id j6so11599094oag.40 for ; Mon, 31 Dec 2012 08:58:17 -0800 (PST) Received: by 10.60.32.175 with SMTP id k15mr23151994oei.67.1356973097196; Mon, 31 Dec 2012 08:58:17 -0800 (PST) MIME-Version: 1.0 Received: by 10.182.149.41 with HTTP; Mon, 31 Dec 2012 08:57:55 -0800 (PST) In-Reply-To: References: <4cf81fca-0ca0-41ff-9c2c-8408f6f63fd2@googlegroups.com> From: Jacob Errington Date: Mon, 31 Dec 2012 11:57:55 -0500 Message-ID: Subject: Re: [lojban] definitions: bridi and sumti To: lojban@googlegroups.com X-Original-Sender: nictytan@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of nictytan@gmail.com designates 209.85.219.53 as permitted sender) smtp.mail=nictytan@gmail.com; dkim=pass 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: multipart/alternative; boundary=e89a8f9218ee6d9db704d228ebc5 X-Spam-Score: -0.1 (/) X-Spam_score: -0.1 X-Spam_score_int: 0 X-Spam_bar: / --e89a8f9218ee6d9db704d228ebc5 Content-Type: text/plain; charset=ISO-8859-1 Equally, the terbri is a list of sumti, as they fill the selbri to produce the bridi. Using the functional definition of bridi, bridi = x1 (du'u) is a predication with relationship type x2 (ka) produced from sumti x3 You can think of it like this: take the selbri with its ce'u-place "holes" and fill them in order with sumti from the list in the x3. The result is the bridi1, namely a du'u. e.g. {.i lo du'u mi klama lo zarci cu bridi lo ka ce'u klama ce'u ce'u ce'u ce'u kei mi ce'o lo zarci} (In practice, ce'u-places can be left out because they're implicit.) I used the non-logical connective {ce'o} for the terbri, but this can cause problems when the selbri expects a list, which can be produced from {ce'o}. For that purpose, there's an experimental cmavo, {ce'oi}, that exists just for these "argument lists". As for the actualy difference between {sumti} and {bridi}, sumti1 is a single exact sumti that fills the sumti3-th place of sumti2, whereas bridi3 is a list of sumti that when applied to the function in bridi2 yields the predication bridi1. .i mi'e la tsani mu'o On 31 December 2012 11:20, .arpis. wrote: > The difference is in focus and in relation; {lo sumti} refers to a sumti > in any context, but {lo terbri} refers to the sumti of a particular bridi. > > > On Mon, Dec 31, 2012 at 5:02 AM, jongausib wrote: > >> coi, >> >> what's the difference, if any, between >> >> {lo sumti} and {lo terbri}, >> >> and >> >> {lo selsu'i} and {lo selbri} >> >> ? >> >> I would appreciate a good answer about this matter. >> >> a'o ki'emu'omi'e jongausib >> >> -- >> You received this message because you are subscribed to the Google Groups >> "lojban" group. >> To view this discussion on the web visit >> https://groups.google.com/d/msg/lojban/-/mcDpoMfv2jAJ. >> To post to this group, send email to lojban@googlegroups.com. >> To unsubscribe from this group, send email to >> lojban+unsubscribe@googlegroups.com. >> For more options, visit this group at >> http://groups.google.com/group/lojban?hl=en. >> > > > > -- > mu'o mi'e .arpis. > > -- > 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@googlegroups.com. > For more options, visit this group at > http://groups.google.com/group/lojban?hl=en. > -- 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@googlegroups.com. For more options, visit this group at http://groups.google.com/group/lojban?hl=en. --e89a8f9218ee6d9db704d228ebc5 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Equally, the terbri is a list of sumti, as they fill the selbri to produce = the bridi. Using the functional definition of bridi,
bridi =3D x1 (du&#= 39;u) is a predication with relationship type x2 (ka) produced from sumti x= 3
You can think of it like this: take the selbri with its ce'u-place= "holes" and fill them in order with sumti from the list in the x= 3. The result is the bridi1, namely a du'u.

e.g. {.i lo du'u mi klama lo zarci cu bridi lo ka ce'u klama ce'= ;u ce'u ce'u ce'u kei mi ce'o lo zarci}
(In pract= ice, ce'u-places can be left out because they're implicit.)

I=A0used the non-logical connective {ce'o} for the = terbri, but this can cause problems when the selbri expects a list, which c= an be produced from {ce'o}. For that purpose, there's an experiment= al cmavo, {ce'oi}, that exists just for these "argument lists"= ;.

As for the actualy difference between {sumti} and {brid= i}, sumti1 is a single exact sumti that fills the sumti3-th place of sumti2= , whereas bridi3 is a list of sumti that when applied to the function in br= idi2 yields the predication bridi1.

.i mi'e la tsani mu'o

On 31 December 2012 11:20, .arpis. <<= a href=3D"mailto:rpglover64+jbobau@gmail.com" target=3D"_blank">rpglover64+= jbobau@gmail.com> wrote:
The difference is in focus = and in relation; {lo sumti} refers to a sumti in any context, but {lo terbr= i} refers to the sumti of a particular bridi.


On Mon, Dec 31, 2012 at 5:02 AM, jongausib <so.cool.ogi@gmail.com&= gt; wrote:
coi,

what's the difference, if any, between

{lo sumti} a= nd {lo terbri},

and

{lo selsu'i} and {lo selbri}

?=

I would appreciate a good answer about this matter.

a'o = ki'emu'omi'e jongausib

--
You received this message because you are subscribed to the Google Groups &= quot;lojban" group.
To view this discussion on the web visit https://groups.google.com= /d/msg/lojban/-/mcDpoMfv2jAJ.
=20 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/lojba= n?hl=3Den.



--
mu'o mi'e .arpis.=

--
You received this message because you are subscribed to the Google Groups &= quot;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/lojba= n?hl=3Den.

--
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.
--e89a8f9218ee6d9db704d228ebc5--