lojbo jufsisku
Lojban sentence search

Total: 17849 result(s)
fu'ivla x1 judges/rates/opines x2 [abstraction] to have morality score x3 [number; default: 1] in respect/according to standard/judged according to or in system x4; x1 believes in (the (im)morality of) x2 Beware sumti-raising in x2. x3 should be a real number between -1 and 1 (inclusive); x3=1 is perfectly good/moral/virtuous, x3=0 is neutral, and x3=-1 is completely immoral/despicable.
gismu rafsi: pec pe'u x1 (agent) touches x2 with x3 [a locus on x1 or an instrument] at x4 [a locus on x2]. See also ganse, darxi, jgari, penmi, jorne, satre, mosra, zgana.
lujvo x1 philosophizes/cogitates/ruminates/thinks profoundly about topic x2, with specifics of thought x3 and methodology x4, belonging to school/branch/super- philosophy x5; x1 is a philosopher/philosophe (not necessarily professional or trained). flese is an experimental gismu. This word does not imply a professional, trained, expert, credible, or even habitual/common attendance to philosophical (mental) faculty, but does imply a bit more profundity then mere thought or passing notion. See also: filsofo, flese.
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)
lujvo k1=b1 runs to destination k2 from origin k3 via route k4 using limbs b3 with gait b4. Cf. dzukla.
lujvo n1=c4 is an instructional message about n2=c3 with contents c2 intended for audience n4=c1.
lujvo n1 is an invoice/bill to debtor d1=n4 for amount owed d2 to creditor d3=n3 for goods/services d4. Cf. dejni, notci, janta.
lujvo k1=c1 creeps/crawls to k2 from k3 via k4 using k5=c4. Cf. cpare, klama, reskla, cidydzu.
lujvo x1=k1 is a payment card with cardholder x2=p1 for usage x3=p4, accepted by payee/merchant x4=p3 Non-differentiated cards used for payment, with or without payment account/financial institute association. See debit card (baxydinkarda), credit/charge card (jitseldejykarda/detseldejykarda) and stored-value card (vamveile'ikarda). Cf. maksriveikarda, lejykardymi'i, banxa, pleji, jdini.
fu'ivla x1 is a tunic of material x2. A garment worn over the torso, with or without sleeves, and of various lengths reaching from the hips to the ankles. Originated in Greece and Ancien Rome. tu'inka for type 4. Cf. pastu.
obsolete fu'ivla x1 does x2 (ka) because YOLO. Joke-word more than anything. Contextually, one could use iorlo, but a definite type-4 is not worthy of such a rubbish meaning.
gismu rafsi: fra x1 reacts/responds/answers with action x2 to stimulus x3 under conditions x4; x1 is responsive. x3 stimulates x1 into reaction x2, x3 stimulates reaction x2 (= terfra for place reordering); attempt to stimulate, prod (= terfratoi, tunterfratoi). See also preti, danfu, spuda, cpedu, tarti.
lujvo x1 = c1 is a gun/chemically launched metal slug throwing weapon for use against x2 by x3; weapon fires metallic objects x4 using chemical propellant x5. Cf. xilcelxa'i, mi'ircelxa'i, clacelxa'i, janjaknyxa'i, celgunta. Made from xukmi + jinme + cecla + xarci.
fu'ivla x1 is an eigenvalue (or zero) of linear transformation/square matrix x2, associated with/'owning' all vectors in generalized eigenspace x3 (implies neither nondegeneracy nor degeneracy; default includes the zero vector) with 'eigenspace-generalization' power/exponent x4 (typically and probably by cultural default will be 1), with algebraic multiplicity (of eigenvalue) x5 For any eigenvector v in generalized eigenspace x3 of linear transformation x2 for eigenvalue x1, where I is the identity matrix/transformation that works/makes sense in the context, the following equation is satisfied: ((x2 - x1 I)^x4)v = 0. When the argument of x4 is 1, the generalized eigenspace x3 is simply a strict/simple/basic eigenspace; this is the typical (and probable cultural default) meaning of this word. x4 will typically be restricted to integer values k > 0. x2 should always be specified (at least implicitly by context), for an eigenvalue does not mean much without the linear transformation being known. However, since one usually knows the said linear transformation, and since the basic underlying relationship of this word is "eigen-ness", the eigenvalue is given the primary terbri (x1). When filling x3 and/or x4, x2 and x1 (in that order of importance) should already be (at least contextually implicitly) specified. x3 is the set of all eigenvectors of linear transformation x2, endowed with all of the typical operations of the vector space at hand. The default includes the zero vector (else the x3 eigenspace is not actually a vector space); normally in the context of mathematics, the zero vector is not considered to be an eigenvector, but by this definition it is included. Thus, a Lojban mathematician would consider the zero vector to be an (automatic) eigenvector of the given (in fact, any) linear transformation (particularly ones represented by a square matrix in a given basis). This is the logically most basic definition, but is contrary to typical mathematical culture. This word implies neither nondegeneracy nor degeneracy of eigenspace x3. In other words there may or may not be more than one linearly independent vector in the eigenspace x3 for a given eigenvalue x1 of linear transformation x2. x3 is the unique generalized eigenspace of x2 for given values of x1 and x4. x1 is not necessarily the unique eigenvalue of linear transformation x2, nor is its multiplicity necessarily 1 for the same. Beware when converting the terbri structure of this word. In fact, the set of all eigenvalues for a given linear transformation x2 will include scalar zero (0); therefore, any linear transformation with a nontrivial set of eigenvalues will have at least two eigenvalues that may fill in terbri x1 of this word. The 'eigenvalue' of zero for a proper/nice linear transformation will produce an 'eigenspace' that is equivalent to the entire vector space at hand. If x3 is specified by a set of vectors, the span of that set should fully yield the entire eigenspace of the linear transformation x2 associated with eigenvalue x1, however the set may be redundant (linearly dependent); the zero vector is automatically included in any vector space. A multidimensional eigenspace (that is to say a vector space of eigenvectors with dimension strictly greater than 1) for fixed eigenvalue and linear transformation (and generalization exponent) is degenerate by definition. The algebraic multiplicity x5 of the eigenvalue does not entail degeneracy (of eigenspace) if greater than 1; it is the integer number of occurrences of a given eigenvalue x1 in the multiset of eigenvalues (spectrum) of the given linear transformation/square matrix x2. In other words, the characteristic polynomial can be factored into linear polynomial primes (with root x1) which are exponentiated to the power x5 (the multiplicity; notably, not x4). For x4 > x5, the eigenspace is trivial. x2 may not be diagonalizable. The scalar zero (0) is a naturally permissible argument of x1 (unlike some cultural mathematical definitions in English). Eigenspaces retain the operations and properties endowing the vectorspaces to which they belong (as subspaces). Thus, an eigenspace is more than a set of objects: it is a set of vectors such that that set is endowed with vectorspace operators and properties. Thus klesi alone is insufficient. But the set underlying eigenspace x3 is a type of klesi, with the property of being closed under linear transformation x2 (up to scalar multiplication). The vector space and basis being used are not specified by this word. Use this word as a seltau in constructions such as "eigenket", "eigenstate", etc. (In such cases, te aigne is recommended for the typical English usages of such terms. Use zei in lujvo formed by these constructs. The term "eigenvector" may be rendered as cmima be le te aigne). See also gei'ai, klesi, daigno
lujvo x1=m1 is better/[less bad] than m2 for x2 by standard x3, by amount m4. Cf. mleca, xlali, traji, xagmau, xlamau, xlarai, mecyxlarai.
lujvo x1=t1 is the exponential result of base 10000 (myriad) multiplied by x2=d2=k2 of -yllion(s) (default 1), to power/exponent x3=t2 (default 2). -yllion is a proposal from Donald Knuth for the terminology and symbols of an alternate decimal superbase system. Myllion(s)(x3=2), byllion (x3=4), tryllion (x3=8), quadryllion (x3=16) and so on. See also: myriad (=suzdekyki'o).