ro
PA4
-rol-
cmavo
digit/number: each, all.
In definition:
- fa'ai'ai (exp!)
- mekso k-ary operator, for natural k and 1 < k < 5: ordered input (f, g, S, m) where f and g are functions, S is a set of positive integers or "ro" (="all"), and m is 0 or 1 (as a toggle); output is a function equivalent to the function f as applied to an input ordered tuple with g applied to the entries/terms with indices in S (or to all entries/terms if S="ro") if m=0, or g left-composed with the same if m=1.
- su'o'o (exp!)
- digit/number: strictly greater (more) than 0 but strictly less than all (jbo.: "ro").
- esme
- x1 (text) is written in a dialect where {su'o}, {ro} quantifiers are treated as {su'oi}, {ro'oi} respectively
In notes:
- pisu'osoi'ai (comp!)
- digit/number: at least almost-all of; at least almost-certain; 100%.
- su'ero (comp!)
- digit/number: any number
- su'osoi'ai (comp!)
- digit/number: at least almost-all/at least almost-every/at least almost-everywhere; the complementary set is null and may even be empty.
- leryrolmoivla
- l1 (quoted letteral) is the last letter of the word v1.
- nalvaimenre
- x1 is any referent of x2 ; x2 has a set of referents, but the difference between the members of the set is not important
- roldepre'e
- x1 is local train that stops every station of cars/units x2 (mass) for rails/system/railroad x3, propelled by x4.
- rolju'o
- x1=d1 knows everything about x2=d3 by epistemology x3=d4; x1=d1 is omniscient about matter(s) x2=d3.
- rolrafcre
- x1 knows all the rafsi/morphemes of language x2
- tifmu'eza'i
- z1 is real/really exists in this universe for z2 under metaphysics z3.
- troroltruci'e
- c1 is a totalitarian system in j2 with power exercised by t1=t1
- drisu
- x1 is medicine used to treat illness/disease x2 ({bilma}/ka/state) via mechanism of action x3 (event) at dosage x4 (ka))
- bu'ai (exp!)
- abstractor: abstractor to create logically quantified selbri variable to be used in predicate logic of third or higher order.
- cu'au
- universal famyma'o: terminates the most recently opened construct or clause.
- dau'e (exp!)
- Numeral: Some but not all.
- dau'o
- Quantifier modifier: endowment of existential import - repeal of existential import/abstention from claiming existence - assertion of non-existence
- kai'i (exp!)
- Property relativizing determiner / unary quantifier constructor. {kai'i} introduces a predicate whose first argument slot becomes filled by the property made by taking the bridi in which this {kai'i} appears and putting {ce'u} into the argument slot in which this {kai'i} argument was located. Put formally, "kai'i brodi cu brodu" = "lo ka ce'u brodu cu brodi". Additionally, a {kai'i} term has a rightward logical scope, like quantifiers and adverbials.
- kau'u
- Predicate to variable-binding binary quantifier. The first slot of the predicate must be a property.
- na'ei (exp!)
- Contradictory negation of a predicate
- no'ai (exp!)
- digit/number: absolute zero; nothing; there does not exist; ∄
- rai'i (exp!)
- mekso (2 or 3)-ary operator: maximum/minimum/extreme element; ordered list of extreme elements of the set underlying ordered set/structure X1 in direction X2 of list length X3 (default: 1)
- ro'oi (exp!)
- universal plural quantifier. All.
- sei'a (exp!)
- converts singular quantifier into plural quantifier
- soi'ai (exp!)
- almost all/almost every/almost everywhere (technical sense): there is a non-universal conull subset (the complementary (sub)set of which is non-empty but of measure 0, where complement is taken with respect/relative to the universal set) of such things that are satisfactory.
- ve'oi (exp!)
- Close all open mathematical brackets.
- xau'o'o
- mekso convention cancellation
- xe'e (exp!)
- digit/number: any/non-specific referent; modifies quantifier to indicate that it is not important what the specific members of the referential set are
- ze'ai'au
- unary mekso operator: reverse ordered list/tuple X1.
- funtiio
- x1 (plural of ordered pairs) is an exhaustive set (possibly infinite) of inputs/outputs defining a unary function which yields result x3 when given input x2; x1(x2) = x3
- jednpa
- x1 (event/state) is on Monday or the first day of a week x2 in system x3.
- masnpa
- x1 (event/state) is in the first month/January of a year x2 in system x3.
- namcixu
- For mo'e x4 x in x1 there exist mo'e x5 y in x2 such that x me'au x3 y; for mo'e x6 y in x2 there exist mo'e x7 x in x1 such that x me'au x3 y.
- omni
- x1 has relation x2 (binary ka) with everything [that has property x3 (ka)]
- premuje
- x1 is a person-universe, considered as person x2 and as universe x3
- tcekitaujei
- x1 is the 'ce ki tau jei' dialect of Lojban, used by x2 to communicate x3 (si'o/du'u)
- torxesu
- x1 is a torus of genus x2 (li; nonnegative integer), having x3 (li; nonnegative integer) distinct cusps, and with other properties/characteristics x4, by standard/in sense x5; x1 is an x2-fold torus.