[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [lojban] Specifying sumti types: another revision of gimste is complete



Okay, since there was misunderstanding of what "numeral" is I'll have to replace it with "number". Now how can a number be {ruble}?


2014-05-29 3:30 GMT+04:00 Jorge Llambías <jjllambias@gmail.com>:

On Wed, May 28, 2014 at 5:31 AM, Gleki Arxokuna <gleki.is.my.name@gmail.com> 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.

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