# mai'o LI2 experimental cmavo

turns number into pro-sumti: the abstraction described by the utterance denoted by that number and {mai}

E.g. mai'o pa refers to the events or statements described earlier with pamai. Use lu'e to refer to the text. See goi'e, mai

## On gloss:

roksodna in sense "chemical element"
s1=r1 is a quantity of/contains/is made of lithium [Li].

## On grammatical class:

li
the number/evaluated expression; convert number/operand/evaluated math expression to sumti.
me'o
the mathematical expression (unevaluated); convert unevaluated mathematical expression to sumti.
li'ai (exp!)
unevaluated mekso as name.
na'au (exp!)
converts an unevaluated mekso expression into a sumti referencing its evaluated result (if sensible/defined)
bo'ai (exp!)
convert number into pro-sumti: definitional terbri variable with associated number; xn
mai'o (exp!)
turns number into pro-sumti: the abstraction described by the utterance denoted by that number and {mai}

## In definition:

namcu
x1 (li) is a number/quantifier/digit/value/figure (noun); refers to the value and not the symbol.
cimdylai
x1 has x2 (li) number of dimensions
cnanydelta
x1 (li) is the (signed) difference between the average of all elements/data of x2 (completely specified ordered multiset/list) and single number x3 (li; default: infimum of x2 under ordering x6 if such is finite), using averaging function x4 (default: arithmetic average), weights x5 (completely specified ordered multiset/list with the same cardinality/length as x2; default: according to notes), and inherited ordering x6 (default: standard ordering on the set of reals).
crelai
x1 (person) has rank/skill level x2 (li) in discipline/game/activity x3
cunyna'u
n1=c1 (li) is a random number (noun), random under conditions c2, with probability distribution c3.
dzalenypi'i
x1 (li; often but not necessarily an integer) is a multiple of x2 (li; often but not necessarily an integer) by some integer, namely x3 (li; MUST be an integer in the structure; possibly, more than one input may be valid), in algebraic structure x4.
gritezdybi'otei
x1 = t1 is the elapsed time required for decaying/diminishing/reducing/shrinking population x2 = g1 to decrease in number by a factor of exactly/approximately 1/e^(x3) from that which is considered to be the initial population size, where e is the natural exponential base and x3 [li; default: 1] is a real number, according to standard/under condition/by model/in experiment x4; x1 is the one-(e^(x3))-th-life of population/sample x2; the (approximate) (x3)-th one-e-th-ing/e-fold decrease(/increase) of population x2 takes approximately x1 (time).
grixonbybi'otei
x1 = t1 is the elapsed time required for decaying/diminishing/reducing/shrinking population x2 = g1 to decrease in number by a factor of exactly/approximately 1/(x3) from that which is considered to be the initial population size, where x3 [li; default: 1] is a positive real number, according to standard/under condition/by model/in experiment x4; x1 is the (x3^(-1))-th-life of population/sample x2; the (approximate) one-x3-th-ing/(x3)-fold decrease(/increase) of population x2 takes approximately x1 (time).
gusygutci
x1 is x2 (li; default: 1) light-seconds by standard x3.
jbogimkra
x1 is a source language for Lojbanic gismu x2, contributing word x3 (zoi) to make it, which were adapted into the Lojban alphabet as x4 (lo'u or zoi), the language having weight in the algorithm x5 (li)
jefke'u
k1 (event) occurs weekly as a repetition of (abstract) k2 repeating (li) k3 times (default: indefinitely)
ki'ortanminli
x1 is x2 (li; default: 1) kiloparsecs by standard x3.
klenilbra
x1 (li) is the size of set x2 by standard/notion x3
laxtyminli
x1 is x2 (li; default: 1) galactic units (i.e.: the average distance between the center of the Milky Way galaxy and the center of Sol system) by standard x3.
lurminli
x1 is x2 (li; default: 1) times the average distance between the center of Earth and the center of Luna (the Moon) by standard x3.
memkai
x1 is/are x2 (li) in number, and are among x3
momrai
x1=traji1=moi1 is the x2=moi(-1)th (li) most extreme member of set/range x5=traji4=moi2 (set; possibly ordered) in property/ordered according to measure of property x3=traji2 \sim moi (ka) measuring from the x4 = traji3-est/utmost (ka; default: ka zmadu) member, which/who has a similar ordinality count of x6 (li) in the same set by the same ordering.
na'azma
x1 is older than x2 by x3 (li) years
nalrelpi'irna'u
n1 (li) is an integer number that is not a multiple of two by an integer; n1 is an odd number.
nildemparbi
x1 (unitless/dimensionless number; li) is the specific gravity (density or concentration ratio) of x2 (substance) with respect to/by standard/per unit of density/concentration of x3 (substance), where density/concentration of each substance is being taken per unit x4 = nildenmi3 at locus x5 = nildenmi4 of density/concentration type x6 = nildenmi5.
nilga'u
x1 (li) is the altitude of x2 with respect to x3 in frame of reference x4.
nilzma
x1 (li) exceeds/is greater than/is numerically larger than x2 (li) by amount (ni/li) x3; x1 = x2 + x3
pavmompazy'utka'au'ypanzi
x1 is any child of the first child of the first child of ... the first child of x2, where the graph geodesic through the ancestorship-directed family tree from x1 to x2 is of length (x3) + 1 (li; x3 must be a nonnegative integer or positive infinity), and where "first" is according to (partial) ordering rule x4 (default: chronological order of birth per successive generation within the given lineage; other restrictions on legitimacy etc. may be specified here as well).
prulamdjedy'utka'au
x1 (event/date) is before x2 (event/date) by x3 (li; integer) days; x1 is x3 days before x2.
relpi'irna'u
n1 (li) is a number that is a multiple of two by an integer; n1 is an even number
rirny'utka'au
x1 is direct ancestor/mentorial-ancestor of x2 of order x3 (li; nonnegative integer) in graph/network of ancestry (family tree) x4 (defaults to maximal option), where x3 is the smallest possible number which is so constrained; x1 is the x3th-great-grandparent of x2.
terbrikazmi
x1 (li) is the arity of predicate relationship x2; selbri (not restricted to Lojban) is x1-adic; x2 is a predicate with x1(-many) sumti/argument slots that may be filled.
xejykregutci
x1 is x2 (li; default: 1) beard-seconds by standard x3.
delta
x1 (amount/value (li/ni) or labelled entity) is the (mutual) difference between/change in (states/realizations of/output from) general and relevant idea/object or subject of interest or function/aspect/property/topic/dependent parameter/dependent variable x2 under or due to a change in (independent) parameter/variable/index/identification/ownership/property/aspect x3 (generic name) to (later) specific state/realization/value/person/entity/meaning x4 (type and dimensions match those of x3) from (earlier) specific state/realization/value/person/entity/meaning x5 (type and dimensions match that of x3), under circumstances/conditions/with(in) scope/with caveats x6.
kanpe
x1 expects/looks for the occurence of x2 (event), expected likelihood x3 (0-1, default {li} {so'a} i.e. near 1); x1 subjectively evaluates the likelihood of x2 (event) to be x3.
kazmi
x1 (li) is the cardinality of set x2 (set)
modju
x1 (li; number) is congruent to x2 (li; number; see description for canonical/traditional/contextless default usage) modulo x3 (li; number); \frac(x1 - x is an integer.
paxra
x1 is a cross-section (substance viewed cross-sectionally) of object x2 made from perspective/side/orientation/along (and perpendicular to) axis x3 (this determines the shape) and made in hyperplane/at depth/to contain/consisting of particular slice x4 (this determines the size and content), of dimensionality x5 [li; integer greater than -2, less than or equal to the dimensionality of x2]; x1 is the result and arranged content of the intersection of x2 with an (x5) -dimensional hyperplane that is perpendicular to axis x3 and along it such that it has a depth (approximately x4) in x2 that allows it to contain a particular slice (of) x4
anseingu
x1 (node in a tree graph) and x2 (node in the same tree graph) have an essentially-unique most recent (graph-nearest) common ancestor node A such that x3 [nonnegative integer; li] is d(A, x1) and such that x4 [nonnegative integer; li] is d(A, x2), where d is the graph geodesic distance (defined to be infinite if nodes are not connected in the correct direction).
bitkoine
x1 is measured in Bitcoin (currency) as x2 (li)
carnamajga
x1 (li; tensor with units of kg×m2) is the moment of inertia/angular inertial-mass/rotational inertia of object x2 around axis/point of reference x3 in basis/coordinate system x4.
cmavrli
x1 is the selma'o "LI".
x1 (li; number/quantity) is the weighted quasi-arithmetic mean/generalized f-mean of/on data x2 (completely specified ordered multiset/list) using function x3 (defaults according to the notes; if it is an extended-real number, then it has a particular interpretation according to the Notes) with weights x4 (completely specified ordered multiset/list with same cardinality/length as x2; defaults according to Notes).
cpolinomi'a
x1 is a formal polynomial with coefficients x2 (ordered list) of degree x3 (li; nonnegative integer) over structure/ring x4 (to which coefficients x2 all belong) and in indeterminant x5.
dikckulome
x1 is an electric charge which measures x2 (li; default: 1) coulombs by standard/under convention x3 (default: SI definition, except the charge of the proton is negative).
x1 (li) is congruent to x2 (li) modulo x3 (li)
endi
x1 (digit string/byte, storage system, convention) has endianness x2 ("ce'o" sequence of numbers (li); description (ka?)); x1 is x2-endian.
enklesi
x1 is an (arbitrary) x2-set (li) of superset x3; x1 is subset/subgroup/subcategory/subclass/vel sim. of x3 with cardinality/size x2.
gleua
x1 gives x2 (li) fucks about x3.
x1 measures to be equal to x2 (li; default: 1) g of acceleration according to standard x3 (default is as in notes).
graumrei
x1 is x2 (li; default: 1) dimensionless units on scale/by standard x3.
ilmismu
x1 is an ismu of x2, having the same meaning, but with all places except the x3-th (li/set) zi'o-deleted.
jibnije
x1 is near to/close to/approximates x2 in property/quality/aspect/characteristic/quantity x3, and the argument(s) which fill the x4th (li; 1 or 2) sumti slot(s) of this word actually has/attains property (vel sim.) x3 according to standard x5.
jventrajmaumce
x1 is an eventual extremal bound/asymptote (one sense)/limsup (limit superior/limit supremum)/liminf (limit inferior/limit infimum) of x2 (set, or ordered pair of a sequence or a function as the first term and the dummy variable (/input (slot)) thereof being considered as the (sometimes elidable) second term) in direction x3 (li) in ordered structure x4.
kaunmei
x1 (collection, body, set, mass, tuple, n-some, etc.) is x2 (li; default: 1) indivisible/atomic/elementary/basic discrete entities (or particles) of type x3 in composition/content, by standard x4; the count of instances of x3 in x1 is x2 by standard x4.
klaicnampe
x1 measures to be x2 [li; number] Joule-seconds by standard x3
klaisirmpe
x1 measures to be x2 [li; number] kilogram-meters-per-second by standard x3
manjetu
The ([x1]+2)nd (li) sumti of this predicate satisfies the predicate x2 (ka).
nancaji
x1 is x2 (li; no default value assumed, but - unless explicitly overridden - assumed to be expressed with significant figures) years old according to standard of measurement x3; colloquial form: x1 is/has x2 (years (of age)).
orsi
x1 is an ordered tuple/sequence of x2 (li) members, namely x3, x4, x5 ...
pemsuua
x1 is a poem/piece of text with number x2 (li) of x3 (metrical foot) per line
pilkrfitspatrike
x1 is a quantity of human skin with score/type/quantitatively categorizing result x2 (li) on scale/by standard/in system x3 (such as, but not necessarily, even in default: Fitzpatrick skin typing scale).
simsaje
x1 is similar to/appears like/seems like x2 in quality/property/aspect x3 (ka), and the argument(s) in the x4th (li; 1 or 2) sumti slot(s) of this word actually attains/has the said quality (vel sim.) x3 according to standard x5.
sirjrneuei
x1 (line segment) is a neuein/neusis line segment (line element) constructed from directrix x2 (curve; not necessarily linear) to catchline x3 (curve; not necessarily linear, despite the name) which is inclined toward pole x4 (point) such that it has diastema (length) x5 (li; nonnegative extended-real number).
sodnrlito
s1 is a quantity of/contains/is made of lithium (Li).
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.
trajije
x1=traji1 is superlative in property x2=traji2, the x3=traji3 extrema (ka; default: ka zmadu), among set/range x4=traji4, and -- moreover -- (there exists at least one member of) the x52th (li; must be 1 or 2) argument [see note] of this selbri (which) actually has/is/attains said property x2 according to standard x6.
trajmaumce
x1 (li) is an extremal bound (supremum/infimum/possibly-unattained extremum (loose sense in English)/asymptote (one sense)/best possible bound (one sense)) on set x2 (set) in direction x3 (li) in ordered structure x4; x1 bounds x2 tightly/maximally-strongly from the x3 side in x4; x2 is bounded from the x3 side by x1 and any other bound on that side is worse than is x1.
tseingu
x1 (node in a tree graph) and x2 (node in the same tree graph) have an essentially unique most recent (graph-nearest) common ancestor node A such that x3 [nonnegative integer; li] is the minimum element of the set consisting only of d(A, x1) and of d(A, x2), and such that x4 [integer; li] is d(A, x1) - d(A, x2), where d is the graph geodesic distance (defined to be infinite if nodes are not connected in the correct direction).
umre
x1 (set) is measurable and has measure x2 (li; non-negative real number or possibly positive infinity) by measure x3 in space/dimensionality/under conditions x4; x2 is the x3 measure of set x1 in space x4; x3 is a measure which is defined on some class of measurable sets in x4 such that it maps x1 to x2
utka'au
x1 and x2 are path-linked by binary predicate x3 (ka; possibly non-symmetric/non-commutative) via a from-x1-to-x2-directed graph geodesic of length x4 (li; nonnegative integer or positive infinity) in graph x5 (default: maximal) which is generated by relation x3.
utkamtau
x1 and x2 are path-linked by binary predicate x3 (ka; possibly non-symmetric/non-commutative) via some from-x1-to-x2-directed path of length x4 (li; nonnegative integer or positive infinity) in/through graph x5 (default: maximal) which is generated by relation x3.