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

This is a "best guess" listing for the word "ka'ei" in language English, meaning that only one of the definitions for this word will be shown (the one with the highest total votes). See all the definitions for ka'ei.

Back to the main valsi listing.
valsi ka'ei
type experimental cmavo
creator spheniscine
time entered Wed Jul 15 02:14:45 2015

Definition #67094 - Preferred [edit]
selma'o NU
definition abstractor: predicate abstractor. x1 is the predicate expressed by [bridi], using bo'a, bo'e, etc for variables.
notes Identical in meaning to an n-ary ka, but with lambda-variables bound to bo'a/bo'e/bo'i/bo'o/bo'u (bo'ai for additional variables) instead of ce'u (which may still be used for "next place"). This is mainly for convenience, to avoid having to assign pro-sumti to ce'u variables either with goi or ce'ai. See me'ei, me'au, cei'e, ckaji, ckini
gloss words
created by spheniscine
vote information 2
time Thu Jul 16 16:58:28 2015
[View Comments For This Definition]


Example #1:

zo ifle cu se smuni lo ka'ei ge <ganai me'au bo'a gi me'au bo'e> gi <ga me'au bo'a gi me'au bo'i>

(by spheniscine) [edit]

Example #2:

me'ei ifle cu ka'ei ge <ganai me'au bo'a gi me'au bo'e> gi <ga me'au bo'a gi me'au bo'i>

(by spheniscine) [edit]

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?