lojbo jufsisku
Lojban sentence search

Total: 3 result(s)
panryzilbri
lujvo x1=b2=p3 is a (predicate) equivalence relationship/similarity/parallel with/between/among arguments (sequence(s)/set(s)) x2=b3=p1=p2, partitioning (with only empty intersection) set/structure x3=p4; elements of x2 are mutually similar in property x1 within structure x3; x3 is partitioned by x1 into equivalence classes (including) x2; An equivalence relation is reflective, symmetric, and transitive. Likewise for the first two terbri of panra. Therefore, order of x2 is unimportant. See also: panra, panrykle, terpanryziltolju'i
panrykle
lujvo x1=k1 (mass/si'o) is an equivalence class within/is a substructure of x2 (mathematical structure/object/category/set endowed with operations and properties) with defining characteristic/property/for similarity/under equivalence relation x3=p3, with representative member x4=p1=p2, in geometry/by standard/under paradigm x5=p4 x5 may have some overlap with x2. See also: panra, klesi, terpanryziltolju'i, panryzilbri
terpanryziltolju'i
lujvo x1=j2=p3 (ka; jo'u/fa'u term) is the minor difference in/between x2=p2 and x3=p1 that is to be ignored, their similarity being by standard/in geometry x4; x2 is the same as/similar to/parallels x3 in standard/geometry x4 up to/modulo/except for/ignoring unimportant difference x1; x1 is not the focus of the main consideration concerning the similarity between x2 and x3; x2 belongs to/is an element of the same equivalence class as x3, which depends on x4 in some way and which ignores the property x1. For example, tetrominoes "L" and "7" are similar up to the unimportant property of 90-degree rotation; thus: loka carna keiku ly terpanryziltolju'i zebu loka mapti. x2 and x3 are symmetric; while with panra, x1 (which is x3 in terpanryziltolju'i) is possibly of importance/focus/attention, for terpanryziltolju'i, x2 is. Additionally, lo panra and lo se panra are identical, therefore conversion under te does not affect the x2 and x3 positions of panra, so the overall structure does not need to have undergone an additional conversion. See: panra, klesi, panrykle, panryzilbri