Received: from [192.168.123.254] (port=43354 helo=jukni.digitalkingdom.org) by stodi.digitalkingdom.org with smtp (Exim 4.92) (envelope-from ) id 1j6JLT-0003s1-Dp for jbovlaste-admin@lojban.org; Mon, 24 Feb 2020 11:24:50 -0800 Received: by jukni.digitalkingdom.org (sSMTP sendmail emulation); Mon, 24 Feb 2020 11:24:47 -0800 From: "Apache" To: curtis289@att.net Reply-To: webmaster@lojban.org Subject: [jvsw] Definition Edited At Word utkaje -- By krtisfranks Date: Mon, 24 Feb 2020 11:24:47 -0800 MIME-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Message-Id: X-Spam-Score: -2.9 (--) X-Spam_score: -2.9 X-Spam_score_int: -28 X-Spam_bar: -- In jbovlaste, the user krtisfranks has edited a definition of "utkaje" in the language "English". Differences: 5,5c5,5 < Equivalent to "$x_1 x_2$ fo $x_4 x_5$ .{utkaro} fi $x_3$ gi'e se .utkaro fi $x_{3} \prime$", where $x_{3} \prime$ is binary relation $x_3$ with the order of its two arguments exchanged (basically: "{se}"-converted). --- > Equivalent to "$x_1 x_2$ fo $x_4 x_5$ .{utkaro} fi $x_3$ gi'e se .utkaro fi $x_{3}^{-1}$", where $x_{3}^{-1}$ is binary relation $x_3$ with the order of its two arguments exchanged (basically: "{se}"-converted). Old Data: Definition: $x_1$ and $x_2$ are path-linked by directed binary predicate $x_3$ (ka) via intermediate steps $x_4$ (ordered list; ce'o), such that both (A) no other node exists in the graph ($x_5$) to which $x_2$ is connected in the same way/direction and (B) no other node exists in the graph ($x_5$) to which $x_1$ is connected in the opposite/symmetric way/direction. Notes: Equivalent to "$x_1 x_2$ fo $x_4 x_5$ .{utkaro} fi $x_3$ gi'e se .utkaro fi $x_{3} \prime$", where $x_{3} \prime$ is binary relation $x_3$ with the order of its two arguments exchanged (basically: "{se}"-converted). Jargon: Gloss Keywords: Word: path connection with two endpoints, In Sense: Place Keywords: New Data: Definition: $x_1$ and $x_2$ are path-linked by directed binary predicate $x_3$ (ka) via intermediate steps $x_4$ (ordered list; ce'o), such that both (A) no other node exists in the graph ($x_5$) to which $x_2$ is connected in the same way/direction and (B) no other node exists in the graph ($x_5$) to which $x_1$ is connected in the opposite/symmetric way/direction. Notes: Equivalent to "$x_1 x_2$ fo $x_4 x_5$ .{utkaro} fi $x_3$ gi'e se .utkaro fi $x_{3}^{-1}$", where $x_{3}^{-1}$ is binary relation $x_3$ with the order of its two arguments exchanged (basically: "{se}"-converted). Jargon: Gloss Keywords: Word: path connection with two endpoints, In Sense: Place Keywords: You can go to to see it.