History: BPFK Section: Non-logical Connectives

Preview of version: 4

Proposed definitions

jo'u (JOI)
And. Joins two sumti into one sumti. The referents of the resulting sumti are the referents of both sumti considered jointly.


.i mi jo'u la .clsn. cu ciksi tu'a lo cmavo be zo coi

Me and Shoulson are explaining about the cmavo of selma'o COI.

lo za'e tridu cu mixre lo tricu jo'u lo tcidu

A 'treeder' is a mixture of a tree and a reader.

ju'e (JOI)
Vague connective. Joins two sumti into one sumti. The referent of the resulting sumti is some function of the referents of both sumti.


mi'a casnu zo jetnu ju'e zo fatci ju'e lo si'o jetnu ku ju'e lo si'o fatci

We are discussing about "truth"/"fact"/truth/fact.

.i zo ju'e cu jai mutce to'e cafne

"ju'e" is very infrequent.

fa'u (JOI)
Respectively. Joins two sumti into one sumti. The referents of the resulting sumti are the referents of both sumti considered jointly and distributively in correspondence with another term.


mi fa'u do klama lo zdani fa'u lo zarci

Me and you go home and to the market, respectively.

li pano fa'u li cinono cu jdima lo nu klama fu lo girzu karce fa'u lo vinji

Ten and three-hundred are the prices of going by bus and by plane, respectively.

joi (JOI)
Non-distributive group. Joins two sumti into one sumti. The referents of the resulting sumti are the referents of both sumti considered jointly and non-distributively.


mi joi ry. ze'a casnu lo lijda ctuca tadji

Me and R have been discussing religious teaching methods.

la .djan. joi la .pitr. cu re mei

John and Peter are two.

la jegvon cu cevni le xriso joi le xebro joi le muslo

Jehovah is the god of the Christians, the Jews and the Muslims.

ce (JOI)
Set. Joins two sumti into one sumti. The referent of the resulting sumti is the set whose members are the referents of both sumti considered jointly.


.abu ce by ce cy vasru .abu ce by

{a, b, c} ⊇ {a, b}

ce'o (JOI)
Sequence. Joins two sumti into one sumti. The referent of the resulting sumti is the sequence whose members are the referents of both sumti considered jointly.


jukpa ce'o citka lo cersai co'o ru'e

Making and eating breakfast, bye for now.

.abu ce'o by cu mleca cy ce'u dy .ijo ge .abu mleca cy gi by mleca dy

(a,b) ≤ (c,d) if and only if a ≤ c and b ≤ d

jo'e (JOI)
Union of sets. Joins two sumti into one sumti. The referent of the resulting sumti is the set which is the union of the sets referred to by each sumti.


lo'i brivla cu du lo'i gismu jo'e lo'i fu'ivla jo'e lo'i lujvo to po'o xu toi

The set of brivla is equal to the union of the set of gismu and the set of fu'ivla and the set of lujvo (only?).

ku'a (JOI)
Intersection of sets. Joins two sumti into one sumti. The referent of the resulting sumti is the set which is the intersection of the sets referred to by each sumti.


xy cmima .abu ku'a by .ijo ge xy cmima .abu gi xy cmima by

x ∈ A ∩ B if and only if x ∈ A and x ∈ B.

pi'u (JOI)
Cross product of sets. Joins two sumti into one sumti. The referent of the resulting sumti is the set which is the cross product of the sets referred to by each sumti.


le'i bebna ku pi'u le'i mabla sidbo ku cu barda

The cross product of the set of silly things and the set of bad ideas is large.

Formal definitions

sumti1 JOI sumti2
ge sumti1 gi sumti2 me sumti1 jo'u sumti2
sumti1 ju'e sumti2 lo co'e be sumti1 bei sumti2
sumti1 jo'u sumti2 lo sumji be sumti1 bei sumti2
sumti1 jo'e sumti2 lo jomsumji be sumti1 bei sumti2
sumti1 ku'a sumti2 lo kuzyterkruca be sumti1 bei sumti2
sumti1 pi'u sumti2 lo pivypilji be sumti1 bei sumti2
sumti1 jo'u sumti2 lu'a sumti1 jo'u sumti2
sumti1 joi sumti2 lu'o sumti1 jo'u sumti2
sumti1 ce sumti2 lu'i sumti1 jo'u sumti2
sumti1 ce'o sumti2 vu'i sumti1 jo'u sumti2
sumti1 fa'u sumti2 sumti3 fa'u sumti4 selbri
== sumti1 sumti3 selbri .i sumti2 sumti4 selbri

Notes

  1. The definitions given correspond to their use as sumti connectives. Other uses (when they make sense) have yet to be added.

History

Advanced
Information Version
Thu 21 of Aug, 2014 21:04 GMT Ilmen from 95.210.209.219 Adding a word link. 22
Thu 21 of Aug, 2014 21:03 GMT Ilmen from 95.210.209.219 Adding "See Also" sections. 21
Thu 21 of Aug, 2014 21:00 GMT Ilmen from 95.210.209.219 Making the formatting fully comply with the standard template. 20
Mon 16 of Jun, 2014 22:11 GMT selpa'i from 93.220.107.50 slight improvement to the formal definitions 19
Sun 08 of Jun, 2014 19:24 GMT mukti from 216.194.27.154 18
Thu 29 of May, 2014 10:07 GMT Ilmen from 37.252.207.158 Minor edit 17
Sun 25 of May, 2014 13:54 GMT Ilmen from 128.140.135.69 Replacing "sumti1" and "sumti2" with "X" and "Y" for concision and readability. 16
Sun 25 of May, 2014 13:39 GMT Ilmen from 128.140.135.69 Correcting a small mistake. 15
Sun 25 of May, 2014 11:18 GMT Ilmen from 128.140.135.69 JOI can take more than two sumti by chaining up several of them. 14
Sun 25 of May, 2014 11:16 GMT Ilmen from 128.140.135.69 JOI can take more than two sumti by chaining up several of them. 13
Sun 25 of May, 2014 11:14 GMT Ilmen from 128.140.135.69 12
Sun 25 of May, 2014 11:12 GMT Ilmen from 128.140.135.69 JOI can take more than two sumti by chaining up several of them. 11
Fri 23 of May, 2014 20:04 GMT Ilmen from 128.140.129.232 Cleanup 10
Fri 23 of May, 2014 19:56 GMT Ilmen from 128.140.129.232 Replacing the formal definitions with better ones. 9
Fri 23 of May, 2014 19:43 GMT Ilmen from 128.140.129.232 8
Fri 23 of May, 2014 14:28 GMT Ilmen from 128.140.129.232 Formatting 7
Fri 23 of May, 2014 14:26 GMT Ilmen from 128.140.129.232 Replacing {jo'u}'s formal definition. 6
Sun 30 of Jan, 2011 11:56 GMT RossOgilvie from 220.239.170.184 Cleaned up all the formatting. changed one example (using "zo word" doesn't count guys :P). Added Keywords 5
Sat 09 of Oct, 2010 15:13 GMT xorxes from 190.136.124.89 4
Sat 09 of Oct, 2010 14:29 GMT xorxes from 190.136.124.89 3
Sun 28 of Nov, 2004 20:37 GMT xorxes from 200.43.213.146 2
Wed 18 of Aug, 2004 22:47 GMT xorxes from 200.43.213.41 1