Received: from mail-pa0-f62.google.com ([209.85.220.62]:61925) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.80.1) (envelope-from ) id 1WpnIj-0000Lk-6i for lojban-list-archive@lojban.org; Wed, 28 May 2014 16:30:34 -0700 Received: by mail-pa0-f62.google.com with SMTP id kp14sf3215159pab.17 for ; Wed, 28 May 2014 16:30:23 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20120806; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :x-original-sender:x-original-authentication-results:reply-to :precedence:mailing-list:list-id:list-post:list-help:list-archive :sender:list-subscribe:list-unsubscribe:content-type; bh=wQvkwxDQgKzun8DfW9PtB4ND36H04OKLA9nB4GwKwSA=; b=UlGKemerLTtPslnjZXSP96scH/5h9QEL4xpXkGQexLY9itjBk3SV/3yMcoFkFKiwCr tK/0mYMD14sNp7wq1Wwn49Q87Kqflh5HoG336scEpM+a6k2tkgK9ZzKgyU0q+ItgL4w7 9Awr4Ron+8hYMtW/fRNC0k+Zxiiaia6W3LHI3Ukyw5siYGbOGvZrx9JD9Gm+DV4T52yq FuYQ0L8tciDChkN3Gu+mnp8MW0BtczoIcexVRzI68ZmsAm/1izRPS6P3Dkoknx05NN/S 7n+DTzX27OC88NKwzpTnXENJnI/dv9QZYdUxM50n6vfQFEUkNfH0FE1Y9FPFPuN01ldt UW6w== X-Received: by 10.140.102.65 with SMTP id v59mr155qge.42.1401319823149; Wed, 28 May 2014 16:30:23 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.140.19.173 with SMTP id 42ls280157qgh.27.gmail; Wed, 28 May 2014 16:30:22 -0700 (PDT) X-Received: by 10.52.4.164 with SMTP id l4mr1147864vdl.3.1401319822653; Wed, 28 May 2014 16:30:22 -0700 (PDT) Received: from mail-vc0-x232.google.com (mail-vc0-x232.google.com [2607:f8b0:400c:c03::232]) by gmr-mx.google.com with ESMTPS id on5si1216721vdb.0.2014.05.28.16.30.22 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Wed, 28 May 2014 16:30:22 -0700 (PDT) Received-SPF: pass (google.com: domain of jjllambias@gmail.com designates 2607:f8b0:400c:c03::232 as permitted sender) client-ip=2607:f8b0:400c:c03::232; Received: by mail-vc0-f178.google.com with SMTP id ij19so9867038vcb.37 for ; Wed, 28 May 2014 16:30:22 -0700 (PDT) MIME-Version: 1.0 X-Received: by 10.58.126.4 with SMTP id mu4mr3380830veb.0.1401319822547; Wed, 28 May 2014 16:30:22 -0700 (PDT) Received: by 10.220.170.73 with HTTP; Wed, 28 May 2014 16:30:22 -0700 (PDT) In-Reply-To: References: Date: Wed, 28 May 2014 20:30:22 -0300 Message-ID: Subject: Re: [lojban] Specifying sumti types: another revision of gimste is complete From: =?UTF-8?Q?Jorge_Llamb=C3=ADas?= To: lojban@googlegroups.com X-Original-Sender: jjllambias@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of jjllambias@gmail.com designates 2607:f8b0:400c:c03::232 as permitted sender) smtp.mail=jjllambias@gmail.com; dkim=pass header.i=@gmail.com; dmarc=pass (p=NONE dis=NONE) header.from=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=047d7b6700af3d62b804fa7e3202 X-Spam-Score: 0.0 (/) X-Spam_score: 0.0 X-Spam_score_int: 0 X-Spam_bar: / --047d7b6700af3d62b804fa7e3202 Content-Type: text/plain; charset=UTF-8 On Wed, May 28, 2014 at 5:31 AM, Gleki Arxokuna wrote: > Well, I made corrections except in the following words. Please explain how > can: > > girzu1 be an event? x1 (group) is a group with common feature x2 > (property) due to set x3 linked by relations x4 (assertion) > A group of events is both girzu and fasnu. As I said before, I don't think "group" should be a type, or at least it doesn't seem to belong to the same typology. > jarki1 be an event? x1 is narrow in length/width etc. x2 (property) > If events can have dimensions (and they can) they can be jarki. It's a vi'a or vi'u event which is ve'i in the second most significant dimension. jbini1 be an event or a numeral x1 is between x2 (set) in x3 (property) > (I think you want "number" rather than "numeral". A numeral is a symbol (me'o) that refers to a number (li). "5" and "V" are two different numerals that refer to the same number, the number five.) What's so weird about an event being among other events, or a number between other numbers? Events have locations, numbers have magnitudes. jibni1 be an event? x1 is near or close to x2 in x3 (property) > Of course an event can be near something, that's what "vi" indicates when the property is spatial position. > pindi be an event of a numeral? x1 is poor in x2 > ricfu be an event of a numeral? x1 is rich in x2 (property) > Yes, an event can have an abundance or be scarce in a certain property. A number too. Prime numbers are pindi in divisors, for example. > rotsu1 be an event of a numeral? x1 is thick in length/width etc. x2 > (property) > Events have spatial dimensions, therefore they can be rotsu. I admit I can't think at the moment in what property a number could be rotsu, but it's just because I'm not feeling imaginative. > ruble1 be an event of a numeral? x1 is weak or frail in x2 (property) > I suppose if it's a property they could easily lose. > suksa1 be an object of a numeral? x1 (event) is sudden at stage x2 > (event) in process x3 (event) > Here I have to point out that my definition of "suksa" is different from the official one: "x1 is-sudden-in/suddenly-does x2 (ka)". "lo mlatu cu suksa lo ka canci", "lo se centre be lo pinji cu suksa lo ka banro" sumji1 be an event of a numeral? > Yes, if you add two events, the result is an event. Are you asking how sumji1 could be a number? > x1 (object) is the sum of x2 (object) plus x3 (object); x1 (numeral) is > the sum of x2 (numeral) plus x3 (numeral) > tordu1 be an event of a numeral? x1 is short in length/width etc. x2 > (property) > An event can certainly be tordu in duration. For numbers see rotsu. > tsali1 be an event of a numeral? x1 is strong in property x2 (property) > See ruble. > xadba1 be an event of a numeral? x1 is half of x2 > What's the problem? > zenba1 be a numeral? x1 (object, event) increases in x2 (property) by > amount x3 > Yes, if "lo se mitre be da" can change, then it can increase or decrease in magnitude. 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. --047d7b6700af3d62b804fa7e3202 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable

= On Wed, May 28, 2014 at 5:31 AM, Gleki Arxokuna <gleki.is.my.name= @gmail.com> wrote:
Well, I made corrections ex= cept in the following words. Please explain how can:

girzu1=C2=A0be an event? x1 (gr= oup) is a group with common feature x2 (property) due to set x3 linked by r= elations x4 (assertion)

A= group of events is both girzu and fasnu. As I said before, I don't thi= nk "group" should be a type, or at least it doesn't seem to b= elong to the same typology.
=C2=A0
jarki1 be an event? x1 is= narrow in length/width etc. x2 (property)

If events can have dimensions (and they can) they can be = jarki. It's a vi'a or vi'u event which is ve'i in the secon= d most significant dimension.

jb= ini1 be an event or a numeral x= 1 is between x2 (set) in x3 (property)

(I think you want "number= " rather than "numeral". A numeral is a symbol (me'o) th= at refers to a number (li). "5" and "V" are two differe= nt numerals that refer to the same number, the number five.)

What's so weird about an event being among other ev= ents, or a number between other numbers? Events have locations, numbers hav= e magnitudes.

jibni1 be an event? x1 is = near or close to x2 in x3 (property)
Of course an event can be near something, that's what "= ;vi" indicates when the property is spatial position.
=C2=A0
= pindi be an event of a numeral? x1 is poor in x2
ricfu be an event of a numeral? <= /span>x1 is rich in x2 (property)

Yes, an event can have an abundance or be scarce in a certain prop= erty. A number too. Prime numbers are pindi in divisors, for example.
=C2=A0
= rotsu1 be an event of a numeral? x1 is thick in length/width etc. x2 (property)=C2=A0

Events have spatial dimensions= , therefore they can be rotsu. I admit I can't think at the moment in w= hat property a number could be rotsu, but it's just because I'm not= feeling imaginative.
=C2=A0
ruble1 be an event of a numeral? = x1 is weak or frail in x2 (property)
<= div>
I suppose if it's a property they could easily lose.=
=C2=A0
= suksa1 be an object of a numeral? x1 (event) is sudden at stage x2 (event) in process x3 (event)

Here I have to point out that = my definition of "suksa" is different from the official one: &quo= t;x1 is-sudden-in/suddenly-does x2 (ka)".=C2=A0
"lo mla= tu cu suksa lo ka canci", "lo se centre be lo pinji cu suksa lo k= a banro"

sumji1 be an event of a numeral? =

Yes, if you add t= wo events, the result is an event. Are you asking how sumji1 could be a num= ber?
=C2=A0
= x1 (object) is the sum of x2 (object) plus x3 (object); x1 (numeral) is the= sum of x2 (numeral) plus x3 (numeral)
tordu1 be an event of a numeral? = x1 is short in length/width etc. x2 (property)

An event can certainly be tordu in duration. F= or numbers see rotsu.
=C2=A0
tsali1 be an event of a numeral? = x1 is strong in property x2 (property)

See ruble.
=C2=A0
xadba1 be an event of a numeral? x1 is half of x2=C2=A0

What's the problem?
=C2=A0
zenba1 be a numeral? x1 (o= bject, event) increases in x2 (property) by amount x3

Yes, if "lo se mitre be da" can chan= ge, then it can increase or decrease in magnitude.

mu'o mi'e xorxes

--
You received this message because you are subscribed to the Google Groups &= quot;lojban" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to lojban+unsub= scribe@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 http= s://groups.google.com/d/optout.
--047d7b6700af3d62b804fa7e3202--