lojbo jufsisku
Lojban sentence search

Total: 2343 result(s)
vonfu'ivla
lujvo x1=v1=f1 is a stage 4 fu'ivla meaning x2=v2, based on word x3=f2 in language x4. 'stage 4 fu'ivla' is a term specific to Lojban and described in 'The Complete Lojban Language', chapter 4, section 7. The definition is similar to that of fu'ivla, but with the x3 place of fu'ivla omitted. x1 is assumed to be a word in Lojban as the concept doesn't make much sense for other languages. See also pavyfu'ivla - 'stage 1 fu'ivla', relfu'ivla - 'stage 2 fu'ivla' and cibyfu'ivla - 'stage 3 fu'ivla'
xlura
gismu rafsi: xlu x1 (agent) influences/lures/tempts x2 into action/state x3 by influence/threat/lure x4. Also impresses; x4 is alluring (= trivelxlu for place reordering); x3 may be an achieved action/state, or an attempt to perform an action/enter a state). (x3 and x4 are normally events or states); See also djica, mukti, trina, jitro, sazri, tcica, xance, stidi, kajde, maksi.
zdeltadirake
fu'ivla x1 is the Dirac delta function (generalized), defined on structure x2 (contextless default is probably the field of real numbers), yielded by family of distributions x3 (contextless default is probably Gaussians centered at 0 and which enclose unit area) This generalized function evaluates to zero (0) everywhere except at 0 (in the domain), at which it evaluates to an infinity (∞) sufficient(ly large) for the purpose of integration to exactly equal one (1) whenever the integral interval properly contains 0 (in the domain). x2 determines what 0, 1, and ∞ mean. Properly, more than a set should be specified; the domain and codomain are determined thereby.
zilkacmre
lujvo x1 = m2 [quantity] is x2 = k3 = m3 [number counted] items/units of/in/pertaining to set x3 = k2, on scale x4 = m4 (si'o; default: from 0 representing nothing/no instances of the item, and by (units of) 1 for each additional occurrence if the item is quantized). x1 is countably measurable. Counting should (ideally) be perfect, so accuracy is identically and mathematically equal to "1"; the scale sets the "counting [off] by units" and most countable things are counted from "0" (meaning nothing/no instances of the item in question) with each additional occurrence of the (quantized) item being represented by an addition "1". See: kamre, kacmre.
dutso
experimental gismu x1 is clockwise/right-turn-direction of[/to] x2 along/following track x3 [path] in frame of reference x4 (where the axis is within the region defined by the track as the boundary, as viewed from and defined by view(er) x4; see notes); x1 is locally to the right of x2, according to x4, constrained along x3; x1 is along a right turn from x2 along path x3, as viewed in frame x4. Angular/curling direction: clockwise. he orientation of the path determines x4 but does not factor into consideration for x3. Further glosses: clockwise, locally rightward, right-turning (with no bulk translation) in a way that would be characterized as "negative" by the right-hand rule (aligned with and in the direction of a basis vector, at least for a given component). x1 is left-handedly/clockwise(ly) oriented relative to x2 on/along x3 in frame of reference x4. x1 is left-handed (one sense) from x2 [more accurately: moving from x2 to x1 requires a(n imaginary) motion that is left-handed about/along x3 as seen in frame/orientation/perspective x4]. x1 is to the path-following right of x2 (where the path is connected; as such, x1 is also be to the path-following left of x2, although there is an implication that the former is the smaller (or equal-length) path). See also: zucna, du'ei (left-handed vectorial cross product), du'oi (modal). Proposed short rafsi: -tso-.
zei'ei
experimental cmavo begin quote that is converted into rafsi Terminated by zei'oi. Quotes an utterance (must be grammatical) and converts it (as a whole) into a single rafsi with the meaning of "something to do with the referent of "[insert quoted text]"". Notably, does not distribute through the text, treating each word individually with left-grouping (it does not distribute zei before and/or after each word (as needed)); the quoted utterance is taken as a whole unit of meaning unto itself; for the former purpose, see zei'ei'au. This word is useful for forming quotes and mathematical expressions (formal, evaluated, or otherwise) into lujvo. This rafsi is assumed to begin the next word if the preceding text/utterance does not end with an otherwise standalone and ungrammatical rafsi (the grammar in such a situation should be discussed); in order to connect it as a rafsi within a lujvo that began before it, precede the quotation with zei. In order to finish a lujvo or treat the quotation as a brivla on its own, follow it with co'e, which is treated as if the preceding utterance (the quote) is a single word followed immediately by zei; in order to string multiple ZEIhEI-ZEIhOI rafsi together follow this formula: zei'ei broda zei'oi co'e zei zei'ei brode zei'oi (co'e (zei...))... . Individual rafsi outside of lujvo are typically not grammatical (except in certain quotation structures, vel sim.).
bancocysle
lujvo s1=c1 is a linguistic-gesture unit/chereme [in analogy with phoneme; specifically, nonvocal] representing/that is recognized meaningful conceptual subunit underlying specific gestures/gesture-phones s2 in language b1 used by b2 in order to communicate/express b3=c2 (si'o/du'u; not quote) made using body part/utensil/tool/locus c3 by motion/action/means c4 From bangu corci (here non-vocal) selci. x2 is a recognized/represented by (belongs to equivalence class of) chereme x1. The chereme may not have meaning on its own but must be expressive naturally and/or in that language (as a gesture and phoneme is, respectively). See also banvoksle, xancrcereme, lercorci, cocle'u, corci, xanle'u, xanle'ule'u, xanbau, saskrcereme
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.
cagna
experimental gismu x1 is an open/closed wound on locus x2 caused by x3. Unlike velxai, it's specific to physical injuries pertaining to the surface of an organic body such as skin. Open wounds include ka'arcagna for "incision / incised wound", fercagna for "laceration", gukcagna for "abrasion", tuncagna for "puncture wound", grecagna for "penetration wound", batcagna for "bite wound", dancagna for "gunshot wound", jelcagna for "burn", da'ercagna for "bedsore", furcagna for "necrosis"; closed wounds include daxcagna for "contusion/bruise", camdaxcagna for "hematoma", ra'ircagna for "chronic wound". The victim (the whole of the injured body) may be specified by joining it to the x2 with "po" or putting it directly on x2 with "tu'a".
canja
gismu rafsi: caj x1 exchanges/trades/barters commodity x2 for x3 with x4; x1, x4 is a trader/merchant/businessman. Also (adjective:) x1, x2, x4 is/are commercial (better expressed as ka canja, kamcanja). x2/x3 may be a specific object, a commodity (mass), an event (possibly service), or a property; pedantically, for objects/commodities, this is sumti-raising from ownership of the object/commodity (= posycanja for unambiguous semantics); (cf. dunda, friti, vecnu, zarci, jdini, pleji, jdima, jerna, kargu; see note at jdima on cost/price/value distinction, banxa, cirko, dunda, janta, kargu, prali, sfasa, zivle)
ciksi
gismu rafsi: cki x1 (person) explains x2 (event/state/property) to x3 with explanation x4 (du'u). Explanation x4 is an underlying mechanism/details/purpose/method for x2 (= velcki for reordered places), generally assumed to be non-obvious; metaphorical usage with the various causal relations (i.e. jalge, mukti, krinu, rinka, nibli, zukte) is possible, but the non-obviousness, and the existence of an explainer with a point of view makes this word not a simple expression of cause. See also cipra, danfu, jalge, jinvi, krinu, mukti, nabmi, preti, rinka, sidbo, zukte, tavla.
citsi
gismu x1 is a season/is seasonal [cyclical interval], defined by interval/property x2, of year(s) x3. Also anniversary (= citsydei, na'arcitsydei), jubilee (= mumnoncitsi); the period of time may be short or long as indicated by x2, and may occur every year or every nth year as indicated by x3 (default every year); (x2 and/or x3 may need metaphorical restriction: djecitsi, pavdeicitsi; also equinox, solstice, time of year. See also cedra, crisa, critu, dunra, ranji, temci, vensa, jbena.
dinso
experimental gismu x1 is a dinosaur [very general: any ancient quasi-reptilian vertebrate] of type x2 living in era x3. A gismu version of dinsauru; contrast with reksa. The use of this word is not strictly only relevant to members of clade Dinosauria, although it does include them (and, specifically, birds); its referent might include pterosaurs, icthyosaurs, plesiosaurs, mosasaurs, dimetrodons, avemetatarsaliads, and perhaps even synapsids (in other words, any ancient quasi-reptilian vertebrate). As such, it is a qualitative word that bears no particular or strong attention or respect to genealogy or academic classification of these animals. Basically, any ancient animal the name of which ends in "-saur" can be so-described. Proposed short rafsi: -dis-. See also: rexsa, ketslau, ikfiio, disrmuzo, plesiio.
dunda
gismu rafsi: dud du'a x1 [donor] gives/donates gift/present x2 to recipient/beneficiary x3 [without payment/exchange]. Also grants; x3 is a receiver (= terdu'a for reordered places); the Lojban doesn't distinguish between or imply possession transfer or sharing; x2 may be a specific object, a commodity (mass), an event, or a property; pedantically, for objects/commodities, this is sumti-raising from ownership of the object/commodity (= posydu'a, posyseldu'a for unambiguous semantics). See also benji, muvdu, canja, pleji, vecnu, friti, sfasa, dapma, cnemu, prali.
fau'au
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.
grafetu
fu'ivla x1 is the graph on vertices/nodes x2 (set) and edges x3 (set of ordered tuples of vertices in x2) and with additional properties x4. A "web"/"network". An element of x2 is a "place" in a more generic/abstract/metaphoric sense than spatial; must be discrete. Thus, webpages, family diagrams, lattices, pages in a book, cities and roadways on a map, etc. constitute graphs. x1 also includes trees. Notice that both x2 and x3 are sets; an element of x3 is an ordered pair/2-tuple, but the order does not matter unless x1 is oriented, in which case the edge runs from the first node in the tuple to the second node in the tuple. x4 can include defining features, weights, etc. Equivalent to grafu (which is merely the gismu form of this word); very similar to tcana.