a lojban dictionary editing system

Get A Printable Dictionary
Search Best Words
Recent Changes
How You Can Help
valsi - All
valsi - Preferred Only
natlang - All
natlang - Preferred Only
XML Export
user Listing
Report Bugs
Admin Request
Create Account
Dictionary record
Back to the main valsi listing.
valsi ce'ai
type experimental cmavo
creator latros
time entered Tue Jun 19 19:53:23 2012

Definition #35286 - Preferred [edit]
selma'o ZOhU
definition lambda variable prenex; marks the end of introduction of lambda-scope variables.
notes Cf. zo'u. In effect this word is used as a shortcut around verbose repeated assignment in a ka prenex: lo ka ce'u goi ko'a ce'u goi ko'e ... zo'u ... is the same as lo ka ko'a ko'e ... ce'ai ... In either form this style can be used to avoid subscripting and to disambiguate nested ka, ni, etc.
gloss words
created by latros
vote information 5
time Mon Mar 11 03:25:08 2013


Definition #38306 [edit]
selma'o ZOhU
definition лямбда-переменная в предварённой мысли; помечает конец введения переменных с лямбда-областью охвата
notes См. также zo'u. В сущности, это слово используется как краткий способ выражения многословных назначений переменных в предварённой мысли с ka: lo ka ce'u goi ko'a ce'u goi ko'e ... zo'u ... - это то же самое, что и lo ka ko'a ko'e ... ce'ai ... В любой форме такой стиль может использоваться, чтобы избежать назначения индексов переменным, а также, чтобы снять неоднозначность из-за вложенных ka, ni и т.п.
gloss words
created by gleki
vote information 1
time Mon Mar 11 06:43:38 2013


Currently, jbovlaste will accept data for 69 languages.
You are not logged in.

  recent changes jbovlaste main
This is jbovlaste, the lojban dictionary system.
The main code was last changed on Wed 07 Oct 2020 05:54:55 PM PDT.
All content is public domain. By submitting content, you agree to place it in the public domain to the fullest extent allowed by local law.
jbovlaste is an official project of the logical language group, and is now headed by Robin Lee Powell.
E-mail him if you have any questions.
care to log in?