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 utkaje
type fu'ivla
creator krtisfranks
time entered Thu Mar 7 04:45:14 2019

Examples
   
English
Definition #71314 - Preferred [edit]
   
definition x1 and x2 are path-linked by directed binary predicate x3 (ka) via intermediate steps x4 (ordered list; ce'o) in graph x5, such that (in the graph x5) both (A) no other node exists to which x2 is connected in/by the same way/direction/relation and (B) no other node exists to which x1 is connected in/by the opposite/(anti)symmetric/reversed way/direction/relation.
notes Equivalent to " x1 x2 fo x4 x5 .utkaro fi x3 gi'e se .utkaro fi x3-1", where x3-1 is binary relation/predicate x3 with the order of its two arguments exchanged (basically: "se"-converted). Multiple paths may connect x1 and x2. There may be peripheral branches extending from x2 which are acyclic (or cyclic) such that they contain a node which has a directed distance from x2 which exceeds that of any path from x1 to x2; it is just the case that for any path connecting x1 and x2 in either direction, x1 and x2 are root/leaf nodes thereof.
gloss words
created by krtisfranks
vote information 1
time Fri Jan 15 03:36:41 2021

Examples
Etymology

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 Wed 07 Oct 2020 05:54:55 PM PDT.
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?