Received: from 173-13-139-235-sfba.hfc.comcastbusiness.net ([173.13.139.235]:55834 helo=jukni.digitalkingdom.org) by stodi.digitalkingdom.org with smtp (Exim 4.89) (envelope-from ) id 1fBXJR-00032n-Gy for jbovlaste-admin@lojban.org; Wed, 25 Apr 2018 20:11:15 -0700 Received: by jukni.digitalkingdom.org (sSMTP sendmail emulation); Wed, 25 Apr 2018 20:11:13 -0700 From: "Apache" To: curtis289@att.net Reply-To: webmaster@lojban.org Subject: [jvsw] Definition Edited At Word kei'i -- By krtisfranks Date: Wed, 25 Apr 2018 20:11:13 -0700 MIME-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Message-Id: X-Spam-Score: 3.1 (+++) X-Spam_score: 3.1 X-Spam_score_int: 31 X-Spam_bar: +++ X-Spam-Report: Spam detection software, running on the system "stodi.digitalkingdom.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: In jbovlaste, the user krtisfranks has edited a definition of "kei'i" in the language "English". Differences: 2,2c2,2 < non-logical connective/mekso operator - variable arity: X1 \ X2 --- > non-logical connective/mekso operator - of arity only 1 xor 2. Unary: $X_1 ^C$; binary: $X_1$ \ $X_2$. 5,5c5,5 < Ordered [...] Content analysis details: (3.1 points, 5.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 1.4 RCVD_IN_BRBL_LASTEXT RBL: No description available. [173.13.139.235 listed in bb.barracudacentral.org] -1.9 BAYES_00 BODY: Bayes spam probability is 0 to 1% [score: 0.0097] 1.0 RDNS_DYNAMIC Delivered to internal network by host with dynamic-looking rDNS 2.6 TO_NO_BRKTS_DYNIP To: lacks brackets and dynamic rDNS In jbovlaste, the user krtisfranks has edited a definition of "kei'i" in the language "English". Differences: 2,2c2,2 < non-logical connective/mekso operator - variable arity: X1 \ X2 --- > non-logical connective/mekso operator - of arity only 1 xor 2. Unary: $X_1 ^C$; binary: $X_1$ \ $X_2$. 5,5c5,5 < Ordered: 'x1 kei'i x2' is not generally the same as/equivalent to 'x2 kei'i x1'. If X1 is not explicitly specified, it is taken to be some universal set in the discourse (of which all other mentioned sets are subsets, at the least); in this case, the word operates more as the set (absolute) complement. When X1 is specified, it represents the set relative complement. Somewhat analogous to logical NOT (just as intersection is analogous to logical AND, union is analogous to logical AND-OR). The preferred description/name in English is "set (theoretic) exclusion". --- > Each input must be a set or similar. Has ordered input: '$X_1$ kei'i $X_2$' is not generally equivalent to '$X_2$ kei'i $X_1$'. If $X_1$ is not explicitly specified, it is taken to be some universal set $O$ in the discourse (of which all other mentioned sets are subsets, at the least); in this case, the word operates as the set (absolute) complement (id est: the output is $O$ \ $X_1 = X_1 ^C$, where "$^C$" denotes the set absolute complement). When binary with $X_1$ and $X_2$ both explicitly specified, it represents the set relative complement. Somewhat analogous to logical 'NOT' (just as set intersection is analogous to logical 'AND', and set union is analogous to logical '(AND/)OR'). The preferred description/name in English is "set (theoretic) exclusion". 17a18,18 \n> Word: set minus, In Sense: set theoretic operator (mekso, connective) Old Data: Definition: non-logical connective/mekso operator - variable arity: X1 \ X2 Notes: Ordered: 'x1 kei'i x2' is not generally the same as/equivalent to 'x2 kei'i x1'. If X1 is not explicitly specified, it is taken to be some universal set in the discourse (of which all other mentioned sets are subsets, at the least); in this case, the word operates more as the set (absolute) complement. When X1 is specified, it represents the set relative complement. Somewhat analogous to logical NOT (just as intersection is analogous to logical AND, union is analogous to logical AND-OR). The preferred description/name in English is "set (theoretic) exclusion". Jargon: Gloss Keywords: Word: \, In Sense: set theoretic operator (mekso, connective): set exclusion Word: C, In Sense: set theoretic operator (mekso, connective): set complement Word: exclusion, In Sense: set theoretic operator (mekso, connective) Word: set complement, In Sense: set theoretic operator (mekso, connective): relative or absolute Word: set difference, In Sense: set theoretic operator (mekso, connective) Word: set exclusion, In Sense: set theoretic operator (mekso, connective) Word: set subtraction, In Sense: set theoretic operator (mekso, connective) Place Keywords: New Data: Definition: non-logical connective/mekso operator - of arity only 1 xor 2. Unary: $X_1 ^C$; binary: $X_1$ \ $X_2$. Notes: Each input must be a set or similar. Has ordered input: '$X_1$ kei'i $X_2$' is not generally equivalent to '$X_2$ kei'i $X_1$'. If $X_1$ is not explicitly specified, it is taken to be some universal set $O$ in the discourse (of which all other mentioned sets are subsets, at the least); in this case, the word operates as the set (absolute) complement (id est: the output is $O$ \ $X_1 = X_1 ^C$, where "$^C$" denotes the set absolute complement). When binary with $X_1$ and $X_2$ both explicitly specified, it represents the set relative complement. Somewhat analogous to logical 'NOT' (just as set intersection is analogous to logical 'AND', and set union is analogous to logical '(AND/)OR'). The preferred description/name in English is "set (theoretic) exclusion". Jargon: Gloss Keywords: Word: \, In Sense: set theoretic operator (mekso, connective): set exclusion Word: C, In Sense: set theoretic operator (mekso, connective): set complement Word: exclusion, In Sense: set theoretic operator (mekso, connective) Word: set complement, In Sense: set theoretic operator (mekso, connective): relative or absolute Word: set difference, In Sense: set theoretic operator (mekso, connective) Word: set exclusion, In Sense: set theoretic operator (mekso, connective) Word: set subtraction, In Sense: set theoretic operator (mekso, connective) Word: set minus, In Sense: set theoretic operator (mekso, connective) Place Keywords: You can go to to see it.