| The Logical Language Group Online Dictionary Query |
There are specific tools that make searching this database easier:
la sutysisku dictionary, an offline enabled web app
la vlasisku search engine for the Lojban dictionary
From Lojban to English :
Word: bazysa'u [jbovlaste]
Type: lujvo
Gloss Word: necessary and sufficient in the sense of "event"
Definition: x1 is a necessary and sufficient condition for x2 to happen
Notes: Synonymous with bazyjvesa'u. See also banzu, sarcu.
Properties: bazysa'u(X,Y) ↔ bazysa'u(¬X,¬Y); bazysa'u(X,Y) ↔
[banzu(X,Y) ∧ sarcu(X,Y)]…
From Pure-Lojban Dictionary :
Word: bazysa'u [jbovlaste]
Type: lujvo
Definition: fa x1 fe x2 banzu gi'e sarcu
Notes: selsmudu'i zo bazyjvesa'u .i ji'a srana zo banzu .e zo
sarcu