[go: up one dir, main page]

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).
auksetike
x1 is an auxetic structure/material with Poisson ratio x2 (li) composed of physical material/substance x3, having geometry or other properties x4.
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".
cnanfadi
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).
dilcrmadjulu
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.
gradrgu
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.
zmaduje
x1 is more than/greater than/exceeds x2 in property x3 (ka) and the x4th (li; 1 or 2) argument of this selbri actually has/is/expresses/attains property x3 according to x5.
zmaumce
x1 (li) is a bound on set x2 (set) in direction x3 (li) in ordered structure x4; x1 bounds x2 from the x3 side in x4; x2 is bounded from the x3 side by x1.

In notes:

pacna
x1 hopes/wishes for/desires x2 (event), expected likelihood x3 (0-1); x1 hopes that x2 happens.
cacryme'utcika
x1 (number) is the minute/minute notation of the hour, of event/state x2, in system x3.
cuvyto'aci'e
x1 is a just intonation with prime limit x2 and odd limit x3
detke'u
The date [day,week,month,year] x1=d1=k1 is recurrence/repetition of the date [day,week,month,year] of the first event x2=d2, for the x3=k3'rd time, in system x3.
djecacrytcika
x1 (number) is the hour/hour notation of the day, of event/state x2, in system x3.
jbetei
x1 (amount of time) is the age of x2.
kucyvla
x1=v1=k1 is a word/quotation crossing other words/quotations, meaning/defined by x2=v2, located at x3=k3
metnidytcika
x1 (number) is the second/second notation of the minute, of event/state x2, in system x3.
mlijarso'a
x1=s1=j1 is a soft-boiled egg of/from organism x2=s2.
mucyveldekpu
d4 is d2 (default 1) dessertspoon(s)/dessertspoonful(s)/cochleare medium (dstspn./cochl. med.) [volume-unit], standard d3=m1 (default 1 dessertspoon=10 mL),d1 tablespoon(s),d5 teaspoon(s), d6 one ml measuring spoon(s).
mucyxeldekpu
d5 is d2 (default 1) teaspoon(s)/teaspoonful(s)/cochleare minus (t., ts., tsp. or tspn./cochl. min.)[volume-unit], standard d3=m1 (default 1 teaspoon=5 mL),d4 dessertspoon(s),d1 tablespoon(s), d6 one ml measuring spoon(s).
nuljarso'a
x1=s1=j1 is a coddled/mollet egg of/from organism x2=s2.
nulpa'a
p1 expects/looks for the occurence of p2 (event), expected likelihood p3 (0-1); p1 subjectively evaluates the likelihood of p2 (event) to be p3.
porna'ofrinu
f1=c1 [value] is a/the median/quartile/decile/percentile/fraction-type of median with numerator f2, denominator f3 in property/amount c2 (ka/ni) among p1 (s) (ordered set) by standard c4.
rilsletei
x1 is tempo of rhythmic movement x2 with the unit x3; x1 is a time interval and corresponds to the unit x3 of a form of rhythm of x2.
risnyrilti
x1 is the heart rate / heartbeat of x2 with the unit (default 1) x3
sorkubli
x1 is a mucube
tcejarso'a
x1=s1=j1 is a hard-boiled egg of/from organism x2=s2.
temjudri
x1 is a point on time axis, of event/state x2, in system x3.
togyku'e
x1 is a musical interval of size x2 in tuning system x3.
vendu'a
v1=x1 sells v2=x2 to buyer v3=x3 and includes d2=x4 for a discounted price of (default free) v4=x5
drisu
x1 is medicine used to treat illness/disease x2 ({bilma}/ka/state) via mechanism of action x3 (event) at dosage x4 (ka))
dzoli
x1 is recursively related to x2 by applying x3 (number) levels-of-recursion of the predicate-relation x4 (ka with two ce'u)
likse
x1 is a x2y, a x2boo, a x2ums (diminutive)
nulpa
x1 is 1 [1×100] of x2 in dimension/aspect x3 (default is units).
ce'ei'oi
BIhI argument modifier: indicates dimensionality/length of tuple
de'i'a
in the Nth century.
de'i'e
in the year N.
de'i'i
in the Nth month.
de'i'o
on the Nth day of the month.
de'i'u
on the Nth day of the week.
ja'oi (exp!)
permutation cycle writer notation start
ju'au
semi-mathematical binary operator: named number base operator/interpreter
kau'ai
Microdigit-spanning endianness binary-toggle.
kau'au
Macrodigit-spanning endianness binary-toggle.
kei'au
mekso operator: finite result set derived from/on set A with/due to operator/function B under ordering of application C
ku'i'a
PA: blank/empty digit
li'ei
arbitrary character string or irregular number
pi'ai
Prefix multiplication of unit selbri
rai'i
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)
re'ai'e
free conversion
sau'i
mekso n-ary operator: reciprocal of the sum of the reciprocal of each of X1, X2, ..., Xn (for any natural number n); 1/((1/X1) + (1/X.
sei'au
terbri editor: passes the terbri value through the quoted function so that the sumti that fills it really is filling the output of the function
se'u'o
selbri conversion question
te'i
at a point on time axis
ti'u'a
at N o'clock; at the hour N of the day.
ti'u'e
at the minute N of the hour.
ti'u'i
at the second N of the minute.
xau'o'o
mekso convention cancellation
xo'au
pro-numeral: the most-recently mentioned full/complete numerical or mathematical string/expression.
zau'e'u
text affirmation/negation mode toggle
zi'au
nonexistent/undefining it; the selbri is not applicable when the other terbri are filled in the manner in which they are in this utterance/bridi.
cistrpitagora
x1 is a Pythagorean tuning with x2 (default infinitely many) notes and a generator fifth of size x3 (default 3/2), containing a wolf fifth of size x4 (default none, unless number of notes specified).
ctaipe
x1 is a value / proof of type / proposition x2 under context x3 in (type / logical) system x4.
djeisone
x1 is an object described as x2, x3, ... (termset representing serializable tree structure compatible with JSON format of attribute-value pairs).
efku
x1 is recursively related to x2 by applying x3 (number) levels-of-recursion of the predicate-relation x4 (ka with two ce'u)
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
icmo
x1 moans expressing about x3 emotions/cognitive [psychological] phenomena that can be otherwise expressed by indicators x2 (text)
ilkai
x1 (number) is what x2 (string) represents
jedlre
x1 (event/state) is on Tuesday or the second day of a week x2 in system x3.
jednci
x1 (event/state) is on Wednesday or the third day of a week x2 in system x3.
jednmu
x1 (event/state) is on Friday or the fifth day of a week x2 in system x3.
jednpa
x1 (event/state) is on Monday or the first day of a week x2 in system x3.
jednre
x1 (event/state) is on Tuesday or the second day of a week x2 in system x3.
jednvo
x1 (event/state) is on Thursday or the fourth day of a week x2 in system x3.
jednxa
x1 (event/state) is on Saturday or the sixth day of a week x2 in system x3.
jednze
x1 (event/state) is on Sunday or the seventh day of a week x2 in system x3.
ki'inmoi
x1 is in relation x4 with x2 to the x3th degree; x1 is x3 nodes before x2 in the sequence such that every element thereof and the next element are linked by the relation x4; x1 is [ that which is in relation x4 with ] (repeat x3 times the part between brackets) x2
masnbi
x1 (event/state) is in the eighth month/August of a year x2 in system x3.
masnci
x1 (event/state) is in the third month/March of a year x2 in system x3.
masndau
x1 (event/state) is in the tenth month/October of a year x2 in system x3.
masnfei
x1 (event/state) is in the eleventh month/November of a year x2 in system x3.
masngai
x1 (event/state) is in the twelfth month/December of a year x2 in system x3.
masnjau
x1 (event/state) is in the thirteenth month/Undecimber of a year x2 in system x3.
masnmu
x1 (event/state) is in the fifth month/May of a year x2 in system x3.
masnpa
x1 (event/state) is in the first month/January of a year x2 in system x3.
masnre
x1 (event/state) is in the second month/February of a year x2 in system x3.
masnrei
x1 (event/state) is in the fourteenth month/Duodecimber of a year x2 in system x3.
masnso
x1 (event/state) is in the ninth month/September of a year x2 in system x3.
masnvai
x1 (event/state) is in the fifteenth month of a year x2 in system x3.
masnvo
x1 (event/state) is in the fourth month/April of a year x2 in system x3.
masnxa
x1 (event/state) is in the sixth month/June of a year x2 in system x3.
masnxei
x1 (event/state) is in the fourteenth month/Duodecimber of a year x2 in system x3.
masnze
x1 (event/state) is in the seventh month/July 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.
refkusi
x1 is recursively related to x2 by applying x3 (number) levels-of-recursion of the predicate-relation x4 (ka with two ce'u)
sakprtlfmsnge'a
x1 is a word in language x2 with longest consonant cluster having length x3
tartidu
x1 is directly/linearly proportional to x2 via coefficient/constant of proportionality x3 and background/constant offset x4; there exists constants x3 and x4 such that x1 = x3×x.
vinzoru
x1 (set of tuples) is the x4-Winsorized data formed from data set x2 (set of tuples), Winsorizing with respect to variable x3.
xaudbo
x1 is \sqrtA = \sqrt2×5 [decimal: 1\times10+(1/2)] of x2 in dimension/aspect x3 (default is units).
zenbaje
x1 (experiencer/function) increases/gains/is incremented/augmented in property/quantity x2 such that it achieves/had achieved having that property at 'time' x3 (abstraction, number) according to standard x4
xa zei sumtika
x1 is a part of Lojban text representing rule 'sumti-6' according to the first edition of the book 'The Complete Lojban Language'.