jbovlaste
a lojban dictionary editing system
User:
Pass:

Home
Get A Printable Dictionary
Search Best Words
Recent Changes
How You Can Help
valsi - All
valsi - Preferred Only
natlang - All
natlang - Preferred Only
Languages
XML Export
user Listing
Report Bugs
Utilities
Status
Help
Admin Request
Create Account
Dictionary record
Back to the main valsi listing.
valsi jorlge
type fu'ivla
creator krtisfranks
time entered Thu Dec 10 19:02:07 2015

Examples
   
English
Definition #68147 - Preferred [edit]
   
definition x1 is the result of applying logical connective/conjunction x2 to the terms of the ordered list x3 in the order given, in system x4
notes x1 is not the truth value of the result, but the result itself. x2 is filled by a function or a la'e-prefixed quote of a connective (CON; JA*, JOI*). In Lojban, the terms of the ordered list in x3 need not syntactically match the connective used; for example, bridi tails can be used even when ja (as opposed to gi'e/gije) fills x2. The connective filling x2, if n-ary, will operate on the first n terms of the ordered list filling x3, then it will successively operate on the result and the next n-1 terms (after the previously used ones) of the ordered list in x3 where the the result and terms fill its argument slots in the order presented. Thus, the ordered list which fills x3 must be of an appropriate length; the recommendation is that exactly n terms are included; only explicitly mentioned terms are included. The terms of the ordered list in x3 and their results must be comparable; they can be sumti, bridi (la'e-prefixed quoted predicates; not its truth value), Booleans, sets, etc. This word can be used to express the notion of "logical conjunction", "logical disjunction", "set-theoretic union", "set-theoretic complement", etc. (the result, not the process, in each case); the terms of the list in x3 would be the conjunct(and)s (or their logical parents), etc. See: fancufacki, terjoma.
gloss words
place keywords 1. conjunction
created by krtisfranks
vote information 1
time Thu Dec 10 11:02:08 2015

Examples
Etymology

krtisfranks{terjoma}+{jorne}+{jalge}[edit]
Currently, jbovlaste will accept data for 69 languages.
You are not logged in.

  recent changes jbovlaste main
This is jbovlaste, the lojban dictionary system.
The main code was last changed on Sun Nov 15 18:45:23 PST 2015.
All content is public domain. By submitting content, you agree to place it in the public domain to the fullest extent allowed by local law.
jbovlaste is an official project of the logical language group, and is now headed by Robin Lee Powell.
E-mail him if you have any questions.
care to log in?