Received: from mail-yx0-f189.google.com ([209.85.213.189]:35860)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.76)
	(envelope-from <lojban+bncCOib25n_BhDO4JiBBRoE5XdacA@googlegroups.com>)
	id 1T08hR-0003wL-7s; Sat, 11 Aug 2012 03:13:45 -0700
Received: by yenq11 with SMTP id q11sf2771255yen.16
        for <multiple recipients>; Sat, 11 Aug 2012 03:13:34 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlegroups.com; s=beta;
        h=x-beenthere:received-spf:mime-version:sender: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
         :list-subscribe:list-unsubscribe:content-type
         :content-transfer-encoding;
        bh=rrX/x4YH4UnA17WsKP9cj4e3zEaztYQFUIf/JRKv7S8=;
        b=l0VnYtASli+QDte+Zhic+etdJ6mYvgt7NwiRuN7vH2p56TjdTA6NnqEV+1A4AZVlik
         LCLNKKDKKruuWM5t9mI0GwWAmZeY3N33tSoHlBwQfJCdc5nIFiSasRTgAmIl0bgOM9+x
         WxsE0qOylHrizzU6QqCHHLpt2QPQkjmYedxJ0=
Received: by 10.52.180.202 with SMTP id dq10mr783645vdc.17.1344680014694;
        Sat, 11 Aug 2012 03:13:34 -0700 (PDT)
X-BeenThere: lojban@googlegroups.com
Received: by 10.52.93.40 with SMTP id cr8ls3878200vdb.8.gmail; Sat, 11 Aug
 2012 03:13:34 -0700 (PDT)
Received: by 10.58.248.41 with SMTP id yj9mr255163vec.17.1344680014181;
        Sat, 11 Aug 2012 03:13:34 -0700 (PDT)
Received: by 10.58.248.41 with SMTP id yj9mr255162vec.17.1344680014170;
        Sat, 11 Aug 2012 03:13:34 -0700 (PDT)
Received: from mail-vc0-f175.google.com (mail-vc0-f175.google.com [209.85.220.175])
        by gmr-mx.google.com with ESMTPS id t4si225483vds.3.2012.08.11.03.13.34
        (version=TLSv1/SSLv3 cipher=OTHER);
        Sat, 11 Aug 2012 03:13:34 -0700 (PDT)
Received-SPF: pass (google.com: domain of rpglover64@gmail.com designates 209.85.220.175 as permitted sender) client-ip=209.85.220.175;
Received: by vcbfy27 with SMTP id fy27so2272293vcb.6
        for <lojban@googlegroups.com>; Sat, 11 Aug 2012 03:13:34 -0700 (PDT)
Received: by 10.220.149.79 with SMTP id s15mr4629784vcv.71.1344680014067; Sat,
 11 Aug 2012 03:13:34 -0700 (PDT)
MIME-Version: 1.0
Sender: lojban@googlegroups.com
Received: by 10.58.252.104 with HTTP; Sat, 11 Aug 2012 03:13:13 -0700 (PDT)
In-Reply-To: <9afe3883-606f-436f-a383-c54dbb5bc688@googlegroups.com>
References: <9afe3883-606f-436f-a383-c54dbb5bc688@googlegroups.com>
From: ".arpis." <rpglover64+jbobau@gmail.com>
Date: Sat, 11 Aug 2012 06:13:13 -0400
Message-ID: <CALm==BWAVYaDMRsL8q80Awhy7cO2rZE3J2Z0VotwxYOETtjBog@mail.gmail.com>
Subject: Re: [lojban] {lo broda cu brode} vs. {lo brode cu broda} vs. {broda
 je brode} vs. {brode no'oi broda} vs. Lesniewski vs. NLP
To: lojban@googlegroups.com
X-Original-Sender: rpglover64@gmail.com
X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com:
 domain of rpglover64@gmail.com designates 209.85.220.175 as permitted sender)
 smtp.mail=rpglover64@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: <lojban.googlegroups.com>
X-Google-Group-Id: 1004133512417
List-Post: <http://groups.google.com/group/lojban/post?hl=en_US>, <mailto:lojban@googlegroups.com>
List-Help: <http://groups.google.com/support/?hl=en_US>, <mailto:lojban+help@googlegroups.com>
List-Archive: <http://groups.google.com/group/lojban?hl=en_US>
List-Subscribe: <http://groups.google.com/group/lojban/subscribe?hl=en_US>, <mailto:lojban+subscribe@googlegroups.com>
List-Unsubscribe: <http://groups.google.com/group/lojban/subscribe?hl=en_US>, <mailto:googlegroups-manage+1004133512417+unsubscribe@googlegroups.com>
Content-Type: text/plain; charset=ISO-8859-7
Content-Transfer-Encoding: quoted-printable
X-Spam-Score: -0.7 (/)
X-Spam_score: -0.7
X-Spam_score_int: -6
X-Spam_bar: /

Not that I'm an expert, but I'd expect that you understand it the same way.

Assuming for simplicity one-place predicates, you can view them as sets.

{lo broda cu brode} asserts that a thing which is a broda is a member
of the set of brode, while {lo brode cu broda} asserts the
corresponding fact.

{broda je brode} creates a new predicate which is a set intersection
of broda and brode.

On Sat, Aug 11, 2012 at 5:42 AM, Gleki Arxokuna
<gleki.is.my.name@gmail.com> wrote:
> Can anyone tell me the difference between
>
> {lo broda cu brode} vs. {lo brode cu broda} vs. {broda je brode}
> What is more interesting that latros entered a new cmavo {no'oi} which is
> the same as {noi} but applied to selbri.
> And {lo=3Dzo'e noi}.
> If so what's the difference between
> {lo broda cu brode} vs. {lo brode cu broda} vs. {broda je brode} vs. {bro=
de
> no'oi broda}?
>
> Next.
> In Lesniewski's logic "a =E5 b" means "Earth is a planet", "Alice is a hu=
man"
> but not vice versa.
> In Natural Language Processing there is a predicate "instance-of" so that
> "New York is a city" turns into "New York is an-instance-of a city".
>
> How should I understand the same stuff in Lojban?
>
> --
> 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/-/TCytGgWgTjUJ.
> 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=3Den.



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

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