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

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



I think that since "located" can contain NU then "property" (which is based on {ka}) is a subtype of "located".
E.g. in {mi kakne lo NU bajra} we have a "located" but in a more precise {mi kakne lo ka bajra} we have a property.


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

More random comments:

(1) Shouldn't venfu3 be (property of x2) like cnemu3, sfasa3, ckasu3, xlura3 (this last one with reversed causality from the others)?

fxd. All of them are also  in Psycho:Attitude class. (however, some belong to other classes so "Psycho" is in the class3 column sometimes.


(2) I don't think cpedu2 should be limited to properties, especially when the property holder comes later in the structure. 

Woudn't it be raising then if the action of cpedu2 is not done by cpedu3? The same for {pikci}.


(3) How is pandi4 a property of pandi3?

Should pandi4 be a property of pandi2? Or both?
 

(4) Shouldn't bancu2 be of the same type as bancu1?

Not sure if the boundary should be of the same type as bancu1/bancu3.
 

(5) pleji2/vecnu4 are most often money, not properties, and pleji4/vecnu2 can be goods.

See my note above on located vs. properties. I can of course change these places to "located, property".


(6) I don't think vamji1 is a property of vamji2

ti se vamji lo ka se vecnu
 

(7) Shouldn't jaspu4 be a property of x2?

Yes, fxd (something got broken at one point).
 

(8) gismu2 and tanru4 should be something with one or more ce'u, not text or located.or proposition

gismu2 = property of gismu3?

tanru4 is just valsi2, isn't it? 


(9) Shouldn't farvi4/pluta4/kruvi4 be ordered like pruce4?
changed to "ordered plural of located" although kruvi doesn't have a vector like farvi/pruce/pluta have.
 

(10) sefta3 and sefta4 should be dropped.
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.

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