lojbo jufsisku
Lojban sentence search

Total: 2 result(s)
zoi'ai
experimental cmavo non-mekso quote/name substitution for ordered collection of prescriptions, descriptions, definitions, etc. Delimited non-math/non-mekso quote (works like zoi in this respect). Treats the quote as a substitute for some formal collection of rules or mathematical description/definitions/notations; the exact meaning of the quote must be inferred as is the case with la or any quote; the quote is treated as a single block of text representative a single entity so described in only that case/context by the utterer; can be used to clarify the interpretation of text (convention specification; text need not be mathematical (in which case, it must be used in a meta-linguistic scope)) or as an operand of certain mathematical operators (or, more generally perhaps, bridi). Might be useful for quoting names as descriptors for arguments of operands. For example: orderings, metrics, bases, densities, analytic properties, conventions, etc. can all be more easily described by a moniker than by a formal mathematical description. See also: ju'au, se'au, mau'au.
kei'au
experimental cmavo mekso operator: finite result set derived from/on set A with/due to operator/function B under ordering of application C Equivalent to: lo'i li zy du ca'e li pe'o se'au mau'au B zai'ai vei ma'o xy boi ny ve'o boi tau sy boi C ku poi ke'a cmaci xanri zi'e poi ke'a mleca li ci'i zo'u tau sy klesi A. Acts on an operator/function (b) and produces all finite results of that operator being used on any allowable number of elements of the set A without repetition within any given application. The result must be defined (and finite, obviously). Application of the operator on nothing (the elements of the empty set) is generically allowed and follows convention (for example, an empty sum may evaluate to 0). Differs from kei'ai. Use mau'au and zai'ai for quoting B. C will be specified explicitly (possibly elsewhere) and/or via zoi'ai.