jbovlaste
a lojban dictionary editing system
User:
Pass:

Home
Get A Printable Dictionary
Search Best Words
Recent Changes
How You Can Help
valsi - All
valsi - Preferred Only
natlang - All
natlang - Preferred Only
Languages
XML Export
user Listing
Report Bugs
Utilities
Status
Help
Admin Request
Create Account
Dictionary record
Back to the main valsi listing.
valsi kei'ai
type experimental cmavo
creator krtisfranks
time entered Wed Dec 17 06:40:33 2014

Examples
   
English
Definition #63936 - Preferred [edit]
   
selma'o PEhO
definition mekso style converter: elementwise application of operator
notes Prefixed to an operator/function that operates on numbers, thereby transforming it into a set operator (thus its arguments must be sets where before they were numbers), as defined in a given structure; the result is a function of the same arity. Produces the set of all numbers that are given by some ordered tuple of elements (the nth term of which belongs to the nth set specified, for all n) with the operator acting on them/the tuple (per the rules of that operator). The set produced may include empty terms and/or infinity. Let "@" represent the operator and "xi " represent a set for all i; then x1 kei'ai @ x2 boi x3 boi x4 boi ... = Set(@ (t1, t2, t3, t4,...) : ti in xi for all i); the ordered Cartesian product of the operands of 'kei'ai @' must be a subset of the domain set of '@'. If f is unitary and we convert it to a set operator 'kei'ai f' = F, then for any good set A, F(A) = $ \operatorname$imgf(A) , which is the image of A under the function/map f. See also kei'au for a similar but different word.
gloss words
created by krtisfranks
vote information 2
time Mon Jul 24 00:25:35 2017
[View Comments For This Definition]

Examples

Example #1:

"li pa ce re kei'ai su'i ci ce vo du li vo ce mu ce xa"; (notice grouping and the lack of terminating ongoing mekso)

(by krtisfranks) [edit]
Etymology

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 Sun Nov 15 18:45:23 PST 2015.
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?