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

I added my semantic categorization to the sheet. It was created long long ago and wasn't meant to be used with tesumti interactions table. So in case there are inconsistencies you are free to correct it.

Also filters are now shown in column headers so you can quickly show only rows with necessary values in a chosen column. E.g. click on filter in "klesi 2", click on "clear" and then select "Location and direction". This will show you only the following rows:

"jibni,zvati,darno,lamji,jbini,crane,diklo,nenri,ragve,sivni,mokca,gubni,farna,bartu,berti,cnita,cpana,dandu,dizlo,galtu,gapru,jorne,midju,mipri,pencu,pinta,pritu,sanli,snanu,sraji,sruri,stici,stuna,stuzi,trixe,vreta,zunle,zutse,mlana"

To change back to showing the whole gimste again click on that filter and choose "Select all".

Quite handy provided that semantic categorization has no flaws.

2014-05-31 2:00 GMT+04:00 Jorge Llambías <jjllambias@gmail.com>:

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.

Two options:

1. Split the definition into:
"x1 (event,object) is near or close to x2 (event, object) in x3 (property); x1 (number, abstraction) is near or close to x2 (same type as x1) in x3 (property)"

This will quickly make definitions bulky. On the other hand there are not so many space gismu.

2. Make objects and events one type which will lead to {lo mlatu ka'e fasnu}.

Any other ideas?

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"

It doesn't contradict that porsi2 is an assertion since {ka} is a subclass of {du'u} but I added your example to the sheet (very last columns) until a better glossing of this place is found.

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"?)

No. May be I should remove it since they can be shown by selecting in "klesi 2" only:

Continents

Culture. Nationalities

Culture. Religion

Culture. Languages

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.

Fixed. I moved all of them to "General =>Set structure" class, however, steci should probably also belong to them.

as well as some other gismu from "Groups & parts" class.

For future considerations: "General comparisons" class might also intersect with them and thus needs rearranging.

And let's drop x3 and x4 of girzu!

done.

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.