su'o PA4 -suz-su'o- cmavo

digit/number: at least (some); no less than.


In notes:

gadri
x1 is an article/descriptor labelling description x2 (text) in language x3 with semantics x4.
mleca
x1 is less than x2 in property/quantity x3 (ka/ni) by amount x4.
su'ero
digit/number: any number
jbojevysofkemsuzgugje'ake'eborkemfaipaltrusi'oke'ekemgubyseltru
x1 reflects Lojbanic Soviet Federative Socialist Republic culture/nationality/community in aspect x2
suzgugje'a
j1 is a union or loose federation of sovereign states.
suzroi
x1 happens sometimes in interval x2.
suzyterki'i
x1=k3 is the relationship between x2=k1, x3=k2, x3...; x1 is a property of x2.
temjudri
x1 is a point on time axis, of event/state x2, in system x3.
zmajavdu'i
x1 is greater than or equal to x2 in property/quantity x3 by amount/excess x4.
bu'ai
abstractor: abstractor to create logically quantified selbri variable to be used in predicate logic of third or higher order.
kai'i
Property relativizing determiner. {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.
na'ei
Contradictory negation of a predicate
no'ai
digit/number: absolute zero; nothing; there does not exist; ∄
sei'a
converts singular quantifier into plural quantifier
su'ai
digit/number: precise to within the stated sigfigs (significant figures/digits); approximately, measured to be approximately, with some error/rounding
su'au
digit/number: exact, exactly equal to, no more and no less, mathematically ideally (no measuring or rounding error)
su'oi
existential plural quantifier. “There is/are.”
te'i
at a point on time axis
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.