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

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

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

On Sat, Jun 7, 2014 at 11:34 AM, Gleki Arxokuna <gleki.is.my.name@gmail.com> wrote:

Other news: for now only ckilu and gradu have concept/scale in their definitions.

Any more ideas on what to fill them with?

For me "gradu" is the otherwise missing link in the 10^n series:

...

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.
 

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

Question: can megdo1 be a property?

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.

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

Question: is "text" abstract or it is an object therefore 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"?

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