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

[Gleki Arxokuna <gleki.is.my.name@gmail.com>]

2014-06-07 22:29 GMT+04:00 Jorge Llambías <jjllambias@gmail.com>:

On Sat, Jun 7, 2014 at 2:53 PM, Gleki Arxokuna <gleki.is.my.name@gmail.com> wrote:

2014-06-07 20:27 GMT+04:00 Jorge Llambías <jjllambias@gmail.com>:

...

megdo

kilto

xecto

dekto

gradu

decti

centi

milti

mikri

...

so its place structure should match the others.

All of them changed to "x1 (text, located) is a million of x2 (same type as x1) in length/width etc. x3 (property)"
and {gradu} moved to their semantic class.

x1 should be (any type), since all types can have quantifiable properties. I would also remove "length/width" since any quantifiable property can be used.   

Yes, fxd. since you agree that it can be a property too.

 

 

As for ckilu, ckilu2 seems to be one of the few places

Question: Few? Are there others? 

 

for properties that have no corresponding place for the thing with the property.

I seem to remember there were a couple in the official gimste, but I don't remember which.

 

Maybe "ckilu" is a relation beteen properties?

lo ka ce'u mitre ma kau cu ckilu lo ka ce'u clani se la'u ma kau

lo ka ce'u bunda ma kau cu ckilu lo ka ma kau junta ce'u

lo ka ce'u snidu ma kau cu ckilu lo ka ma kau ditcu ce'u

lo ka ce'u kelvo ma kau cu ckilu lo ka ce'u glare se la'u ma kau

mu'o mi'e xorxes

Question: Now I wonder what uses can {si'o} have since it has just been completely eliminated from the gimste. 

None.

 

Question: can megdo1 be a property?

Yes, for example: "lo ka ce'u broda cu megdo lo ka ce'u brode kei lo ka ko'a xo kau roi zukte ce'u

 

Seems there are only the following types: located, property (that includes located), proposition, relation, sound, number, text, plural of other types, ordered plural of other types, species, second place of x2 in junla.

How does property include located? Aren't properties abstract?

Explained in an earlier message since "located" includes both objects and events (the latter are NU).

 

Species and sound are rather roles and here for convenience (and might be removed in future).

I don't think sound is a role, it's a subtype of "located". A sound is a sound whether it's the argument of some predicate or not, and it is located is space and time.

Question: is "text" abstract or it is an object therefore a subtype of "located"?

I'd say a subtype of located.

 

Question: may be remove junla3 so that {ti junla lo snidu [be zo'e]} = "This clock measures seconds", {ti junla lo snidu be li pimu} = "This clock measures seconds to the precision of 0.5 seconds"?

Of course. 

done. an example added.

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.