Received: from [192.168.123.254] (port=36290 helo=jukni.digitalkingdom.org) by stodi.digitalkingdom.org with smtp (Exim 4.92) (envelope-from ) id 1i8u3y-0005L2-7g for jbovlaste-admin@lojban.org; Fri, 13 Sep 2019 15:29:12 -0700 Received: by jukni.digitalkingdom.org (sSMTP sendmail emulation); Fri, 13 Sep 2019 15:29:10 -0700 From: "Apache" To: curtis289@att.net Reply-To: webmaster@lojban.org Subject: [jvsw] Definition Added At Word tinytci -- By krtisfranks Date: Fri, 13 Sep 2019 15:29:10 -0700 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 added a definition of "tinytci" in the language "English". New Data: Definition: $x_1$ is a headphone/earphone/earbud/hearing aid/hearing device for hearing $x_2$ against background noise $x_3$, the device being of form $x_4$. Notes: Refers to a device or portion of a device which covers/interacts with a single ear; for a headset (set of two such device possibly plus connective parts), use "{tinytcici'e}". Includes earhorns and other classical/passive devices; may also include ear-mufflers which diminish noise from entering that ear (such as, but not necessarily, for the sake of hearing something specific out of the other ear despite ambient background noise) - many modern earbuds serve this function to some extent anyway. Listening devices may be different from this (they listen and record/transmit sound elsewhere). Jargon: Gloss Keywords: Word: earphone, In Sense: headphone Word: headphone, In Sense: earphone Word: earbud, In Sense: earphone Word: hearing aid, In Sense: Word: hearing device, In Sense: Word: earhorn, In Sense: Place Keywords: You can go to to see it.