Received: from 173-13-139-235-sfba.hfc.comcastbusiness.net ([173.13.139.235]:56134 helo=jukni.digitalkingdom.org) by stodi.digitalkingdom.org with smtp (Exim 4.89) (envelope-from ) id 1fBXKw-00037W-Ih for jbovlaste-admin@lojban.org; Wed, 25 Apr 2018 20:12:52 -0700 Received: by jukni.digitalkingdom.org (sSMTP sendmail emulation); Wed, 25 Apr 2018 20:12:46 -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:12:46 -0700 MIME-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Message-Id: X-Spam-Score: 4.5 (++++) X-Spam_score: 4.5 X-Spam_score_int: 45 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 - of arity only 1 xor 2. Unary: $X_1 ^C$; binary: $X_1$ \ $X_2$. --- > non-logical connective/mekso operator - of arity only 1 xor 2. Unary: $X_1 ^C$; b [...] Content analysis details: (4.5 points, 5.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 0.0 URIBL_BLOCKED ADMINISTRATOR NOTICE: The query to URIBL was blocked. See http://wiki.apache.org/spamassassin/DnsBlocklists#dnsbl-block for more information. [URIs: lojban.org] 1.4 RCVD_IN_BRBL_LASTEXT RBL: No description available. [173.13.139.235 listed in bb.barracudacentral.org] -0.5 BAYES_05 BODY: Bayes spam probability is 1 to 5% [score: 0.0128] 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 - of arity only 1 xor 2. Unary: $X_1 ^C$; binary: $X_1$ \ $X_2$. --- > non-logical connective/mekso operator - of arity only 1 xor 2. Unary: $X_1 ^C$; binary: $X_1$ \\ $X_2$. 5,5c5,5 < 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". --- > 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". 17,17d16 < Word: set subtraction, In Sense: set theoretic operator (mekso, connective) \n18a18,18 \n> Word: set subtraction, In Sense: set theoretic operator (mekso, connective) Old 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: 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 minus, In Sense: set theoretic operator (mekso, connective) Word: set subtraction, In Sense: set theoretic operator (mekso, connective) Place Keywords: You can go to to see it.