lojbo jufsisku
Lojban sentence search

Total: 491 result(s)
lujvo x1 (number) is the supremum of set x2 under (partial) ordering x3 x2 must be a set; although it is standard (and lazy) mathematical practice to speak of "the supremum of a function" (including sequences) in some domain or to constrain the supremum with respect to certain variables in some way, all of these features can and ought to be constraints defining the set of which the supremum is taken; in Lojban, no leeway is given toward such sloppiness. See also: zmaraimecna'u, nacyzmarai.
gismu rafsi: mit mi'u x1 is the same/identical thing as x2 by standard x3; (x1 and x2 interchangeable). (cf. panra, satci, mapti, simsa, drata, dunli, cmavo list du - which has no standard place, simxu)
lujvo g1=m1 is a mass/team/aggregate/whole, together composed solely/completely/wholly of components x2, considered jointly, by standard m3. From mulno + gunma. Just gunma with a complete specification of members. m2 dropped since the property is always "membership in the mass in question". m3 left in since it seems to do no harm, although its meaning seems a bit unclear here.
gismu rafsi: tcu x1 needs/requires/is dependent on/[wants] necessity x2 for purpose/action/stage of process x3. No implication of lack. See also banzu, cidja, claxu, pindi, xebni, sarcu, lacri, djica, taske, xagji.
lujvo x1 is a silkmoth/silkworm [probably Bombyx] of species/breed/type x2 No implication is made about its present life stage; for specific/scientific usage, use bombiksia; for the larval/caterpillar/worm form, use sikykemciftoldi; for the moth/mature/adult form, use sikma'ubortoldi; for the cocoon, use siktodlanka or todbi'olanka. Since many moths have silken cocoons, in order to reference a member specifically of genus Bombyx, use bombiksia.
lujvo m1 is a polynomial function in variable t2=s2 of degree (maximum power with nonzero coefficient) t3 interpreted by rules m2 m2 can include (but is not limited to) information about the underlying formal polynomial and/or ring of definition, steps of addition series (which terms are being summed), and input domain of the function. t2 is a variable of input (no longer an indeterminant, as it is for the underlying formal polynomial). See also: cpolinomi'a
lujvo x1=l2 is a formal character-set/alphabet containing letter(s)/characters/digits/terms x2=l1; x2 is a letter in formal alphabet x1 and is treated formally (it has no meaning, other than possibly being distinct from other letters in x1) Used for formal language analysis. See also: lu'erma, lu'erfu, lerfu (for a nonformal, potentially meaningful variant - with reordered terbri)
lujvo x1 (number) is the infimum of set x2 under (partial) ordering x3 x2 must be a set; although it is standard (and lazy) mathematical practice to speak of "the infimum of a function" (including sequences) in some domain or to constrain the infimum with respect to certain variables in some way, all of these features can and ought to be constraints defining the set of which the infimum is taken; in Lojban, no leeway is given toward such sloppiness. See also: mecraizmana'u, nacmecrai.
experimental cmavo two-tier function map/assignment writer notation: X1 (ordered list, no repetitious terms) maps termwise-respectively to X2 (ordered list; may be repetitious but must have exactly as many terms as X1) So named because, in mathematical notation, the domain set of the function is written down in some order in its entirety and then, below it, the range of the function is written so that each image and preimage line up vertically with their appropriate/respective partner. Really useful when mapping from a countable set/object that is either human-small or in which the pattern is clear. Occasionally used for a more explicit form of notation for permutations (in which cycle decomposition is not necessarily as evident, but the structure as a how is, at least, explicit). The ith term of X1 is mapped to the ith term of X2; there is no knowledge of what happens to any value that is not term of list X1. Useful for lambda calculus.
gismu rafsi: muv mu'u x1 (object) moves to destination/receiver x2 [away] from origin x3 over path/route x4. Also mobile (= comymu'u, for the non-specific opposite of immobile); after a muvdu, object is alienated from/no longer at origin (unless physically returned there, per litru or slilu); agentive move (= muvgau, muvzu'e), non-agentive transitive move (= muvri'a), self-propelled (= sezmuvgau), motion of a part of the object (= pagmu'u), having a moving part (= muvypau, muvyselpau); apparent motion (= mlumu'u). (cf. rinci, klama (which differs in that the means of motion is explicit), litru, cliva, fatri; dunda, benji for agentive movement that does not necessarily imply alienation from origin, preja for similar movement with no agent implied, bevri, vimcu)
lujvo x1=m1 is shade-darkened/has shadow x2=c1 cast upon it by obfuscating/blocking/(at least semi-)opaque object x3=c2 from energy/light/transmission source x4=c3; x2 is the shadow-eclipse caste upon x1 by x3, blocking radiation from x4 Possible uses include (but are not limited to) lunar-style eclipses in which the eclipsed object (as seen from another object) is not physically blocked from sight by yet another object but is shaded from sight by the shadow cast upon it by some object (possibly the one from which the eclipse is viewed). There is no real physical difference between this and a solar-style eclipse (both rely on linear alignment of bodies), but the chosen vantage point varies among them and thus causes different interpretations of the same phenomenon of alignment. In other words, it is an eclipse in which the eclipsed object is viewed to be darkened by a shadow (caste upon it by some object) with no significant blocking/impeding body physically betwixt the eclipsed object and the object from which viewing of the eclipse occurs.
gismu rafsi: bej be'i x1 transfers/sends/transmits x2 to receiver x3 from transmitter/origin x4 via means/medium x5. Also possibly "sharing"; no (complete) alienation from origin is implied. x5 carrier. See also muvdu, dunda, mrilu, nirna, xruti, cradi, tivni, preja, cmavo list be'i, bevri, mrilu, tcana.
experimental cmavo elliptical/vague/indecisive scalar affirmer/negator; true neutral/non-committed/uninvolved scalar truthfulness/assertion Useful for when the truthfulness or falseness of a bridi is undesirable (the speaker makes no firm stance or assumption on the matter). Different from no'e in that it does not necessarily select a neutral value on a scale; it merely acknowledges that some value on the scale could be chosen/that the scale exists, but does not choose one (it is hands-off). If one does not want to accuse someone of being or doing something, but wants to talk about it, this word would be used; often can be used for "are or are not".
fu'ivla x1 is a makefile designed to produce output files / data / event x2 from rules x3. Doesn't refer only the makefiles for GNU make, but also to any such similar files intended to automate the building process. Technically and usually, makefiles just run commands which in turn are what create the output, but the x2 allows us to skip the extra verbosity by specifying the output data directly. If output data is irrelevant, i.e. the makefile runs commands which have no real output, then an event can be used to specify the result of the makefile. See also zbaplrjavni for how to fill the x3.
experimental cmavo default value (re)specification/(re)assignment/(re)definition/over-write; set new default value (terbri-specific; permanent) Terminates immediately previous sumti. The immediately following (next) unfilled terbri at that level of nesting is affected by this word; if no such terbri exists at that level of nesting, this word's affects apply to the next unfilled terbri in the immediately higher level of nesting (unnested once); if no unfilled terbri exist at any/all levels of nesting and following the immediately previous sumti (even if unfilled terbri exist prior to that sumti), this word has no meaningful affect and can be ignored. This word must be followed by a sumti; for the purpose of this explanation, this sumti will be xy (as in "de'ai xy"). The affected terbri is defined to default to the value xy (the sumti as a whole, including gadri, tanru, relative clauses, etc.); in other words, when not explicitly filled or when filled be di'au, the sumti value filling the affected terbri is that of xy. This affect remains in effect until the end of the text/conversation or until/unless the default setting of this terbri explicitly redefined (overriding by di'ei is temporary/only applies to that usage). If xy is zo'e, the default value is completely general and elliptical; thus, permanently overriding a default setting on a specific terbri may be done by "de'ai zo'e". The scope of this word fully encompasses and ends with the following sumti (xy); thus, the second sumti, same-/higher-level terminator, a FA cmavo, etc. following this word ends the new default specification in addition to its other functions. Additionally, this word does not actually fill the affected terbri with any particular sumti/value; it merely defines its default value hereinafter. CAUTION: Thus, the second same-level sumti uttered actually fills the affected terbri; in order to access the newly-defined default value of the terbri immediately after definition, follow "xy" (with terminator) immediately with implicit (or possibly explicit) "zo'e" (possibly necessitating terminators), "di'au", or "xy" itself. Moreover, therefore, the default value defined by this word does not immediately/necessarily affect the truth value of the statement in which it appears (it only does so if the second following sumti is not di'au, implicit (or possibly) explicit zo'e, or xy itself); however, in all future uses of the brivla to which the terbri belongs, unless explicitly filled with a sumti of a different value, the truth value of those statements will be affected. Also, su does not erase this new definition of default. If the affected terbri is naturally defined to have a default or if it has no naturally defined default value, this word semi-permanently over-writes them. See also: dai'o, de'au, de'ei, de'oi, di'au, di'ei, di'oi.
gismu rafsi: fle x1 is a current/flow/river of/in x2 flowing in direction to/towards x3 from direction/source x4. [x1 is a stream of x2; x2 is a fluid Gas or liquid. (= selfle for reordered places); x1 flushes toward x3; flush (= caifle, sukfle)]; See also rirxe, senta where no directionality is implied, rinci, xampo, dikca, sakci, gapci, litki, ciblu.