Received: from 173-13-139-235-sfba.hfc.comcastbusiness.net ([173.13.139.235]:48620 helo=jukni.digitalkingdom.org) by stodi.digitalkingdom.org with smtp (Exim 4.80.1) (envelope-from ) id 1Y3uUO-0004Py-JF; Wed, 24 Dec 2014 14:33:10 -0800 Received: by jukni.digitalkingdom.org (sSMTP sendmail emulation); Wed, 24 Dec 2014 14:33:08 -0800 From: "Apache" Date: Wed, 24 Dec 2014 14:33:08 -0800 To: webmaster@lojban.org, curtis289@att.net Subject: [jvsw] Definition Added At Word kei'i -- By krtisfranks Bcc: jbovlaste-admin@lojban.org Message-ID: <549b3f24.CWw+X2EjZFeoHFBx%webmaster@lojban.org> User-Agent: Heirloom mailx 12.5 7/5/10 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Spam-Score: 0.5 (/) X-Spam_score: 0.5 X-Spam_score_int: 5 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 @@CONTACT_ADDRESS@@ for details. Content preview: In jbovlaste, the user krtisfranks has added a definition of "kei'i" in the language "English". New Data: Definition: non-logical connective/mekso operator - variable arity: X1 \ X2 [...] Content analysis details: (0.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] -1.9 BAYES_00 BODY: Bayes spam probability is 0 to 1% [score: 0.0000] 1.0 RDNS_DYNAMIC Delivered to internal network by host with dynamic-looking rDNS In jbovlaste, the user krtisfranks has added a definition of "kei'i" in the language "English". New 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: exclusion, 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 difference, In Sense: set theoretic operator (mekso, connective) Word: set complement, In Sense: set theoretic operator (mekso, connective): relative or absolute Word: \, In Sense: set theoretic operator (mekso, connective): set exclusion Word: C, In Sense: set theoretic operator (mekso, connective): set exclusion Place Keywords: You can go to to see it.