Home
Bugs
Help
Find!
2 in definition
16 in notes
joi
JOI
-
jol
-
joi
-
cmavo
non-logical connective: mixed conjunction; "and" meaning "mixed together", forming a mass.
CLL 14.14
jbovlaste
In definition:
tu'oi
(exp!)
null connective operand; used to fill empty places in JOI
cmavrjoi
x
1
is the selma'o "JOI".
In notes:
detri
x
1
is the date [day,{week},{month},year] of event/state x
2
, at location x
3
, by calendar x
4
.
tcika
x
1
[hours, minutes, seconds] is the time/hour of state/event x
2
on day x
3
at location x
4
.
de'i
detri modal, 1st place: on date/dated ... ; attaches date and/or time.
gripi'i
x
1
is the product (combined multiplication result) of x
2
(plurality of the same type as x
1
)
grisumji
x
1
is the sum (combined addition result) of x
2
(plurality of the same type as x
1
)
klojyjoisocnyjoidukni
x
1
is a binary group operator endowing set/space x
2
; x
2
is the underlying set or the actual structure of a group with operator x
1
.
mivjoimi'i
x
1
is a cyborg/cybernetic organism. x
1
has organic part(s) x
2
and biomechatronic/cybernetic part(s) x
3
.
nunjo'e
n
1
is an established connection between j
1
and j
2
at common locus j
3
.
toldikcni
x
1
has an emotional see-saw involving emotion(s) x
2
; x
1
experiences emotion x
2
irregularly.
datro
x
1
(event) is dated/pertaining to day/occurring on day x
2
of month x
3
of year x
4
in calendar x
5
jikni
x
1
consists of the economic system (production and distribution and consumption) of sector components x
2
; x
1
is economic.
dei'i
(exp!)
non-logical connective: set difference of x
1
and x
2
: x
1dei'ix
=x
1\setminusx
=\x\inx
1:x\notinx
te'au
iterated Cartesian product with self: A × A × ... × A, n times.
gunmace
x
1
is a mass/group consisting of elements x
2
, x
3
, x
4
, etc.
jorlge
x
1
is the result of applying logical connective/conjunction x
2
to the terms of the ordered list x
3
in the order given, in system x
4
joik zei uanta
x
1
is a part of Lojban text representing rule 'joik' according to the first edition of the book 'The Complete Lojban Language'.