Lojban
The Logical Language
Log in
Username:
Password:
I forgot my password |
CapsLock is on.
Log in
History: BPFK Section: Abstractors
View page
Collapse Into Edit Sessions
Source of version: 2
«
»
From ((BPFK Section: Grammatical Pro-sumti)), since moved here: !! Proposed Definition of ''ce'u'' ;__ce'u__ (KOhA8): Abstraction variable indicator. ''ce'u'' is a pro-sumti (meaning it takes the place of a fully-specified sumti). ''ce'u'' indicates that the place it fills is considered to be a variable place that can be filled by other data. ''ce'u'' makes sense only inside abstraction clauses. In particular, ''ce'u'' is almost solely used in ''ka'', although ''si'o'', ''du'u'' and ''su'u'' clauses can make some sense with ''ce'u''. ''ce'u'' basically means "this abstraction refers to a relationship in which the place(s) marked with ''ce'u'' can be filled as needed", so that ''lo ka ce'u broda'' is "the property of being/doing broda". If a ''ka'' abstraction has no explicit ''ce'u'', the left-most unfilled space is assumed to contain an elided ''ce'u'', unless context strongly suggests that the ''ce'u'' should go in another place, or that there should be more than one. In a ''si'o'' abstraction, all unfilled places are assumed to contain ''ce'u''. In terms of the Lamba calculus, ce'u is both Lamba and a variable, i.e. Lambda(x). Each new ce'u is a new variable. To bind multiple places to the same Lambda variable, use ''ce'u goi ko'a'' or similar and scatter the bound variables as you like. You can also use ''ce'u xi pa xi pa'' to refer to the first ''ce'u'' in the current bridi; increase the second ''pa'' for later ''ce'u'' in the current bridi. You can also use ''ri'' and so on, or ''cy''. In the case of nested abstractions, ''ce'u'' or ''ce'u xi pa'' is a normal, new ''ce'u'' variable, but ''ce'u xi re'' refers to the first ''ce'u'' in the next outer-most abstraction, and so on for higher numbers. If there is more than one, use another ''xi'', so that ''ce'u xi re xi ci'' is the third ''ce'u'' in the next outer-most abstraction. !! Examples of ''ce'u'' Usage la djan. cu zmadu la djordj. le ka ce'u prami mi ''John is greater than George in the property of loving me.'' la alis zenba le ka cfipu ce'u ''Alice increases in the property being confused.'' Confused by some situation unspecified. ku'i viku le rokci cu na dukse leka ce'u glare ''However, nearby the rock is not excessive in the property of being hot.'' lo smacu cu zmadu lo cipni lo ka lo mlatu cu nelci ce'u ''Mice exceed birds in the property of being liked by cats.''
History
Enable pagination
rows per page
HTML diff
Side-by-side diff
Side-by-side diff by characters
Inline diff
Inline diff by characters
Full side-by-side diff
Full side-by-side diff by characters
Full inline diff
Full inline diff by characters
Unified diff
Side-by-side view
Information
Version
Fri 22 of Aug, 2014 11:51 GMT
Ilmen
from 95.210.209.219
Adding box formatting.
13
Actions
View
Source
Fri 22 of Aug, 2014 11:32 GMT
Ilmen
from 95.210.209.219
Minor formatting fix.
12
Actions
View
Source
Fri 22 of Aug, 2014 11:32 GMT
Ilmen
from 95.210.209.219
Adding box formatting (not finished).
11
Actions
View
Source
Tue 10 of Jun, 2014 03:33 GMT
mukti
from 68.173.146.212
10
Actions
View
Source
Mon 25 of Oct, 2010 21:17 GMT
lindarthebard
from 32.175.104.144
9
Actions
View
Source
Sat 16 of Oct, 2010 00:19 GMT
jcowan
from 198.185.18.207
ce'u vs. filled places
8
Actions
View
Source
Fri 15 of Oct, 2010 22:36 GMT
lindarthebard
from 32.174.46.157
7
Actions
View
Source
Thu 14 of Oct, 2010 05:21 GMT
lindarthebard
from 166.190.44.95
6
Actions
View
Source
Thu 14 of Oct, 2010 05:15 GMT
lindarthebard
from 166.190.44.95
5
Actions
View
Source
Thu 14 of Oct, 2010 04:43 GMT
lindarthebard
from 166.190.44.95
4
Actions
View
Source
Fri 27 of Aug, 2004 21:46 GMT
rlpowell
from 198.6.50.155
3
Actions
View
Source
Mon 23 of Mar, 2009 09:39 GMT
cizra
from 212.47.207.1
added a simple example sentence
2
Actions
View
Source
Select action to perform with checked...
Remove
OK
About
Introduction
What Others Say
FAQ
Learning
Books
Vocabulary
Lojbanic Software
Community
Web/Email Forums
IRC Chat
Links
News
Dictionary
Swag
Multimedia
Lojbanic Texts
Audio
Wiki
Recent Changes
Popular Pages
How To Edit
The LLG
Official Projects
Publications
Donate!
Contact Us
Search Lojban Resources