Received-SPF: pass (google.com: domain of jjllambias@gmail.com designates 2607:f8b0:400c:c01::233 as permitted sender) client-ip=2607:f8b0:400c:c01::233;
MIME-Version: 1.0
In-Reply-To: <CAO7bV+g4ZF8Puzb9tt714xrpRYvw4sBuNd7Gf3pTJ-MeLZszYA@mail.gmail.com>
References: <CAO7bV+hTWfbg8uLyDGLgwwUXBmW+aCq_URk_vBu1SfVJ0ud0DQ@mail.gmail.com>
	<CAO7tK2cCMM7kSe16Vi5d7ovQaReXXGOGv7VAiG8hiZUYJgjGWg@mail.gmail.com>
	<CAO7bV+j48tkO5o_g+Wo8vcNmH0+7KXPyZFAhou6q95EiQXhidg@mail.gmail.com>
	<CAO7tK2eYUE6S-ge6CwXLdOXSJjD7Xh7mkD+V=oRAFeQO4Rc_Og@mail.gmail.com>
	<CAO7bV+giaMU84wfJc3_mNsekvFM1_ZOLmbuAxWB2bn9q7ieMxQ@mail.gmail.com>
	<CAO7tK2ehF3cqU6dZChrMS_g6h+Ddy1F3spg=7f36=2US+bq4mw@mail.gmail.com>
	<CAO7bV+i9yDx59HaVmp0BBdfrSmAir2p7cMBXKbVwGN-n6DBJbw@mail.gmail.com>
	<CAO7tK2dGjBWCYTpbvLNwpzEX1_RxopS_0O0EzoTC99pt7Ht3RA@mail.gmail.com>
	<CAO7bV+hQcPp8=mqUoQVtv6GA9BuU_vOdkAvoAJhXxVUxzU3g9w@mail.gmail.com>
	<CAO7tK2cf7j6+PWPTr7vtFDn8=Yv9VQvDdsA1JrNMUJJsZGZ_XQ@mail.gmail.com>
	<CAO7bV+hry7qqBBryZs11J8Wx7YNruomLerRPcOZnF8uqCdipVw@mail.gmail.com>
	<CAO7tK2feiwCrG+n+4KHd5vd8Dd8xFWw9U3-Winnz65EPUZUp+A@mail.gmail.com>
	<CAO7bV+hfLoT86xF+53QzrA+rfaDdTg=VteNSzd4+KA-VkxezhQ@mail.gmail.com>
	<CAO7tK2cw+Uuig0SPc0DC5vKyMnbkTTOt=bWxwnf47-skp1p1=w@mail.gmail.com>
	<CAO7bV+h=7rYz9=mTpC=Ed9HQRpE3LjgTeEL03ahcJccERCatHg@mail.gmail.com>
	<CAO7tK2ehR5UasLJv4zKGCKdvCfBQnvQs7KRo4FK3KGORB-1_vA@mail.gmail.com>
	<CAO7bV+g4ZF8Puzb9tt714xrpRYvw4sBuNd7Gf3pTJ-MeLZszYA@mail.gmail.com>
Date: Fri, 30 May 2014 19:00:47 -0300
Message-ID: <CAO7tK2eaPaW78uTjATbEwhPFXOaKdR_5H8OsLKTHn5EvO53BWA@mail.gmail.com>
Subject: Re: [lojban] Specifying sumti types: another revision of gimste is complete
From: =?UTF-8?Q?Jorge_Llamb=C3=ADas?= <jjllambias@gmail.com>
To: lojban@googlegroups.com
Reply-To: lojban@googlegroups.com
Precedence: list
Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
Sender: lojban@googlegroups.com
Content-Type: multipart/alternative; boundary=047d7b5d576489466b04faa52d4d
X-Spam_score: -0.7
X-Spam_score_int: -6
X-Spam_bar: /

--047d7b5d576489466b04faa52d4d
Content-Type: text/plain; charset=UTF-8

On Fri, May 30, 2014 at 7:22 AM, Gleki Arxokuna <gleki.is.my.name@gmail.com>
wrote:

> okay, everything fixed acc. to your suggestions.
>
>
I still see issues on gismu with properties. For example, "jibni" has x2
(same type as x1), but "darno" has x2 (object). I agree that the x2 has to
be of the same type as x1 in these but then objects and events must share
the same type (spatio-temporal entities), since events can be close to
objects in position. I think all the comparatives should have x2 same type
as x1, they must be things that can have the same property. Same goes for
klesi, jibni and others.

Is the x2 of porsi an assertion, or should it be a (transitive,
antisymmetric, total) binary relation? I think "porsi" works something like
"li pa ce'o li re ce'o li ci cu porsi lo ka ce'u mleca ce'u"

What's the difference between a property and an aspect? ("Aspect" comes in
handy to cluster al the cultural words together when sorting, but does it
mean anything different from "property"?)

For mupli you have "x2 (property of x2)". mupli/fadni/traji/cnano/rirci
should have the same for x3, and it should be the same type as x1 (a group
of that type). If you have x3 as a set, then property x2 is not a property
of x3, but a property of the members of x3.

And let's drop x3 and x4 of girzu!

mu'o mi'e xorxes

-- 
You received this message because you are subscribed to the Google Groups "lojban" group.
To unsubscribe from this group and stop receiving emails from it, send an email to lojban+unsubscribe@googlegroups.com.
To post to this group, send email to lojban@googlegroups.com.
Visit this group at http://groups.google.com/group/lojban.
For more options, visit https://groups.google.com/d/optout.

--047d7b5d576489466b04faa52d4d
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><br><div class=3D"gmail_extra"><br><br><div class=3D"gmail=
_quote">On Fri, May 30, 2014 at 7:22 AM, Gleki Arxokuna <span dir=3D"ltr">&=
lt;<a href=3D"mailto:gleki.is.my.name@gmail.com" target=3D"_blank">gleki.is=
.my.name@gmail.com</a>&gt;</span> wrote:<br>
<blockquote class=3D"gmail_quote" style=3D"margin:0px 0px 0px 0.8ex;border-=
left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;p=
adding-left:1ex"><div dir=3D"ltr">okay, everything fixed acc. to your sugge=
stions.</div>
<div class=3D"gmail_extra"><br></div></blockquote><div><br></div><div>I sti=
ll see issues on gismu with properties. For example, &quot;jibni&quot; has =
x2 (same type as x1), but &quot;darno&quot; has x2 (object). I agree that t=
he x2 has to be of the same type as x1 in these but then objects and events=
 must share the same type (spatio-temporal entities), since events can be c=
lose to objects in position. I think all the comparatives should have x2 sa=
me type as x1, they must be things that can have the same property. Same go=
es for klesi, jibni and others.</div>
<div><br></div><div>Is the x2 of porsi an assertion, or should it be a (tra=
nsitive, antisymmetric, total) binary relation? I think &quot;porsi&quot; w=
orks something like &quot;li pa ce&#39;o li re ce&#39;o li ci cu porsi lo k=
a ce&#39;u mleca ce&#39;u&quot;=C2=A0</div>
<div><br></div><div>What&#39;s the difference between a property and an asp=
ect? (&quot;Aspect&quot; comes in handy to cluster al the cultural words to=
gether when sorting, but does it mean anything different from &quot;propert=
y&quot;?)</div>
<div><br></div><div><span style=3D"color:rgb(0,0,0);font-family:arial,sans,=
sans-serif;font-size:13px;white-space:pre-wrap">For mupli you have &quot;x2=
 (property of x2)&quot;.  </span><span style=3D"color:rgb(0,0,0);font-famil=
y:arial,sans,sans-serif;font-size:13px;white-space:pre-wrap">mupli/fadni/tr=
aji/cnano/rirci should have the same for x3, and it should be the same type=
 as x1 (a group of that type). If you have x3 as a set, then property x2 is=
 not a property of x3, but a property of the members of x3.=C2=A0</span></d=
iv>
<div><span style=3D"color:rgb(0,0,0);font-family:arial,sans,sans-serif;font=
-size:13px;white-space:pre-wrap"><br></span></div><div><span style=3D"color=
:rgb(0,0,0);font-family:arial,sans,sans-serif;font-size:13px;white-space:pr=
e-wrap">And let&#39;s drop x3 and x4 of girzu!</span></div>
<div><br></div><div>mu&#39;o mi&#39;e xorxes</div><div><br></div></div></di=
v></div>

<p></p>

-- <br />
You received this message because you are subscribed to the Google Groups &=
quot;lojban&quot; group.<br />
To unsubscribe from this group and stop receiving emails from it, send an e=
mail to <a href=3D"mailto:lojban+unsubscribe@googlegroups.com">lojban+unsub=
scribe@googlegroups.com</a>.<br />
To post to this group, send email to <a href=3D"mailto:lojban@googlegroups.=
com">lojban@googlegroups.com</a>.<br />
Visit this group at <a href=3D"http://groups.google.com/group/lojban">http:=
//groups.google.com/group/lojban</a>.<br />
For more options, visit <a href=3D"https://groups.google.com/d/optout">http=
s://groups.google.com/d/optout</a>.<br />

--047d7b5d576489466b04faa52d4d--