lojbo jufsisku
Lojban sentence search

Total: 1711 result(s)
te'au
experimental cmavo iterated Cartesian product with self: A × A × ... × A, n times. Probably belongs to selma'o VUhU but, since it is iterated JOI, there is the case for that. First argument A is a set or similar object; second argument n is a nonnegative integer; the result is the cross-product of A with itself n times. Used as a shortcut for longer, arguably more preferable, constructions so that one can more closely say "R three" and mean R^3. Emphatically not equivalent to exponentiation; it only works on sets and similar objects. See also: te'a, pi'u, se'au.
xe'e
experimental cmavo digit/number: any/non-specific referent; modifies quantifier to indicate that it is not important what the specific members of the referential set are Note: ro is preferred if you are merely saying that the predicate is true for all referents ("Anyone can do this"), rather than saying something like "Choose any two apples". // (xe'e pa prenu) = "any one person / one non-specific person", (xe'enai pa prenu) = "one specific person". See itca, steci, su'anai, su'ero, te'i'o
xe'u
experimental cmavo Abstraction variable indicator selbrisle. xe'u is a pro-bridi (meaning it takes the place of a fully-specified bridi). xe'u indicates that the selbrisle is considered to be a bridi-variable that can be filled by other bridi. xe'u makes sense only inside abstraction clauses. In particular, xe'u is almost solely used in prenex in order to put a word of selma'o NU in prenex in a statement of predicate logic of third or higher order. See bu'ai for usage. See also ce'u, bu'ai.
xo'ei
experimental cmavo unary mekso operator: produces a string of n consecutive "xo'e"'s, treated as digits (concatenated into a single string of digits) n can be any nonnegative integer, infinity, or vague. The default value of n is itself "xo'e", thus transforming this word into a 0-ary operator. The output is a string of digits, not a number; thus, it automatically attaches to a string of PA's if immediately preceding this word; following digits must be concatenated on; it might be necessary to convert this string into a number (especially if it is isolated and/or is being acted upon an operator that is defined as desired for numbers but not for digits or strings), but the conversion may be automatic according to the grammar (at least in some contexts). xo'e is considered to represent exactly one digit in the given base until it is converted into a number.
zai'e
experimental cmavo jargon word indicator; indicates next word is a jargon word Jargon words are to have a single, defined, specialized meaning within one particular narrow context (e.g. a game, field of study, or industry), but may also be assigned to other meanings in other contexts. // Proposed rafsi: -zam-. Afterthought variant: zi'ai // Jargonic context, if needed, may be explicated using tanru, including with bo'ei / me la...ku clauses, or even defined with a specific meaning using the assigned rafsi e.g. samyzamsmacu or {gugyl zei zamgri}
zgana
gismu rafsi: zga x1 observes/[notices]/watches/beholds x2 using senses/means x3 under conditions x4. Behold/watch/gaze (= vi'azga); guard/watchman/sentinel (= zgaku'i, jdeku'i). See also cmavo list ga'a, ganse, viska, catlu, tirna, pencu, sumne, kurji, canci, catlu, jarco, lanli, pinka, simlu.
zi'oi
experimental cmavo fills and deletes (in the manner as {zi'o}) all terbri of immediately previous word that are not explicitly filled with a sumti Implicit/omitted zo'e will be deleted. Deletion is only meaningful if the immediately previous word is a brivla with at least one unfilled (explicitly) terbri. In a tanru or other complicated construct, only the most recent word undergoes this terbri deletion (not every term in the construct). A selbri converted to a sumti by gadri has x1 terbri filled for the purposes of this word; likewise is the case for terbri accessed by be or bei; seltau in the main level of a sumti are filled by the gadri as well for the purposes of this word.
lai'e
experimental cmavo Named reference. It converts a sumti into another sumti. The converted sumti points to the referent the name of which is the referent of the unconverted sumti. ``lai'e ko'a''=``zo'e noi se cmene ko'a''. lai'e is a cmavo of LAhE, and followed by any sumti including ``lo se du'u BRIDI'', ``zo...'', ``lu...li'u'', ``lo'u...le'u'' or ``zoi...'', used with an elidable terminater lu'u. For example, ``lai'e lo se du'u ti brife doi la betis'' refers to something the name of which is a text in a language that means ``ti brife doi la betis'', while ``la'e lo se du'u ti brife doi la betis'' refers to the same as ``lo du'u ti brife doi la betis''. The syntax of sumti following lai'e is analysed by the parser, while the syntax of strings following la'ai or la'o is ignored. In the cases that lai'e is followed by lu, lo'u or zoi, the referent is the same as that of sumti formed by la'au, la'ai or la'o respectively: ``lai'e lu ti brife doi la betis li'u (lu'u)''=``la'au ti brife doi la betis li'u''; ``lai'e lo'u se ly van beti le'u (lu'u)''=``la'ai se ly van beti le'u''; ``lai'e zoi zoi C'est le vent, Betty zoi (lu'u)''=``la'o zoi C'est le vent, Betty zoi''. See also la'e, la, la'o, la'ai, la'au; lu'u; cmene.
be'ei'oi
experimental cmavo ternary mekso operator: x1th Bergelson multiplicative interval with exponents bounded from above by function x2 and with sequence of shifts x3, where exponents belong to set x4 x1 must be a positive integer. x2 must be a strictly monotonic increasing function mapping from all of the positive integers to a subset (not necessarily proper) thereof. x3 must be a sequence of natural numbers. x2 without context will default to the same value as x1 (it is simple linear on the set of positive integers), x3 without context will be a sequence all and only of 1's, x4 without context defaults to the set of all non-negative integers. Let p_i be a prime for all i, with p1 = 2 and the ith prime (in the normal monotonic increasing order) being p_i. Let all other symbols match the aforementioned conditions. Represent the nth term of the sequence x3 by x3_n; represent the function in x2 being applied to the number m by x2(m). Then x1 be'ei'oi x2 boi x3 boi x4 produces the set of all numbers of the form x3_(x1) * (p1)^(e1) *...* (p_(x1))^(e_(x1)), where e_j belongs to the intersection of the interval [0, x2(x1)] with x4.
bu'ai
experimental cmavo abstractor: abstractor to create logically quantified selbri variable to be used in predicate logic of third or higher order. zo'e and da are a constant and a bound variable of predicate logic of first order respectively; co'e and bu'a are a selbri constant and a bound selbri variable of predicate logic of second order respectively; in order to express predicate logic of third or higher order, it is essential to have selbri that treat selbri variables in the domain of all selbri of second order. su'u and bu'ai in selma'o NU can compose respectively a selbri constant and a bound selbri variable in the domain of all selbri of second order. In the case that bu'ai takes plural number of selbri variables, connect them with ju'e or something. Higher order is also possible by nesting bu'ai. Example: su'o bu'ai xe'u kei su'o bu'a ro da zo'u bu'ai da bu'a (This xe'u is an abstraction-variable-indicator-selbrisle used in order to put a word of selma'o NU in prenex.) See also su'u, bu'a; xe'u.
cei'e
experimental cmavo define following selbri with sentence or tu'e...tu'u clause Usage: The selbri after cei'e is defined by the associated sentence or tu'e...tu'u clause. bo'a, bo'e, bo'i, bo'o, and bo'u represent places x1 through x5 within its place structure. (Use bo'ai for more places if needed, or ce'u for "next place"). // cei'e is meant to be used to define new words (implicit ca'e) but may be modified by evidentials to express an assertion (ju'a) or opinion (pe'i) on a meaning instead. Alternatively, smuni and ka'ei may be used. // See cei, goi, goi'e
ce'oi
experimental cmavo argument list separator: acts as a comma between arguments in an argument list supplied to a function. "ce'oi" is the word of choice to separate the arguments in bridi3. Using ce'o there has obvious limitations when the selbri actually calls for a sequence. Obviously, ce'oi has issues too if the selbri can accept an argument list, but this can be circumvented more readily with ke...ke'e brackets than it can with ce'o. Consider ".i lo ka broda cu selbri fi ko'a ce'o ko'e". Without inspecting the type requirements of broda and the respective types of ko'a and ko'e, one cannot determine the meaning of the bridi. Furthermore, if one accepts non-static typing of sumti places, multiple correct answers can be given for a question asking what is the bridi1. This would create ambiguity that is otherwise resolved by "ce'oi". See also ka, du'u, me'au
cu'au
experimental cmavo universial famyma'o: terminates the most recently opened construct or clause. cu'au looks back for the most recently opened construct that has not been terminated, and emulates whatever famyma'o would terminate it. It can also be subscripted with xi, and will terminate that many times. Note that that means grammatical function is being put in a xi clause, so be careful when using it. Additionally, cu'au xi ro will terminate all the way up to the last sentence-starting word (.i mi klama lo zarci pe lo pendo be mi cu'au xi ro -> .i mi klama lo zarci pe lo pendo be mi cu'au-be'o-ku-ge'u-ku-vau). This will also terminate to sentences started in lu (will NOT emulate li'u UNLESS used multiple times), ni'o, and no'i. It will NOT emulate le'u. In addition to ro, it can be subscripted with da'a, which terminates to the sentence level, minus 1. In the previous example, this would just leave the vau remaining, and allow you to continue to add to the place structure of klama.
da'a'au
experimental cmavo mekso operatory: prime mark append For ordered inputs (A, B, C), where A is a general mathematical object, B is an integer (normally nonnegative), and C is a nonnegative integer; appends B prime(s)/distinguishing marks of type C to A. Presumably objects that have the same symbol as A but different B and C values are mutual(ly) related/analogs, but are at least formally distinguishable. B and C each default to 1. In practice, tick marks are usually called prime marks (and probably will effectively/culturally have a value of C=1); other distinguishing features are employed usually once these are used, such as overbars, over-tildes/over-twiddles, dagger, asterisks, etc. For a fixed C, this operator forms a series in B for each A. The meaning is context-specific. B = 0 iff C = 0; if A in unprimed (lacks any distinguishing marks), then B = 0; thus all mathematical objects have this operator implicitly attached to them with the value of 0 for the second and third argumentsize (note that this is not the default value for these arguments when this operator is explicitly mentioned). It is possible therefore to reference both primed and unprimed objects of form A simultaneously via reference to, for example, (1±1)/2 for the value for B and/or C (employing the setting of defaulting to the value of 1 as appropriate).
dau'a
experimental cmavo gafyzmico: Reset all default specifications of immediately previous word to official definition specifications hereinafter (permanently) Restores all default specifications in the (terbri) structure of immediately previously uttered word so that implicit/omitted zo'e and di'au that may fill the terbri of that word are predefined/specific in reference and do indeed necessarily agree with the default setting explicitly specified in the discourse-external/“official” definition of the word. The terbri are not filled by this word. Usage is only meaningful for a brivla with at least one terbri (regardless of being explicitly filled or otherwise). In a tanru or other complicated construct, only the most recent word undergoes this terbri default restoration (not every term in the construct). A selbri converted to a sumti by gadri has the x1 terbri filled for the purposes of this word, but the default setting of that terbri is so restored all the same; likewise is the case for terbri accessed by be or bei; seltau in the main level of a sumti are filled by the gadri as well for the purposes of this word. Affects all future uses of the word (permanent), until the end of the text/conversation or explicitly undone in some manner. See also: doi'a, de'au, zmico.
de'au
experimental cmavo gafyzmico: Cancellation (permanent) of all defaults in immediately previous word Cancels/overrides/ignores/"kills" all defaults (default specifications) in the (terbri) structure of immediately previously uttered word so that implicit/omitted zo'e and di'au that may fill the terbri of that word are general in potential reference (modulo context) and do not necessarily agree with the default setting explicitly specified in the discourse-exterior/“official” definition of the word. The terbri are not filled by this word. Usage is only meaningful for a brivla with at least one terbri (regardless of being explicitly filled or otherwise). In a tanru or other complicated construct, only the most recent word undergoes this terbri default override (not every term in the construct). A selbri converted to a sumti by gadri has the x1 terbri filled for the purposes of this word, but the default setting of that terbri is so overridden all the same; likewise is the case for terbri accessed by be or bei; seltau in the main level of a sumti are filled by the gadri as well for the purposes of this word. Affects all future uses of the word (permanent), until the end of the text/conversation or explicitly undone in some manner. See also: dau'a, de'oi, zmico.