Received: from mail-pd0-f189.google.com ([209.85.192.189]:63830) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.80.1) (envelope-from ) id 1XYoYq-0007Wx-Qq for lojban-list-archive@lojban.org; Mon, 29 Sep 2014 20:57:17 -0700 Received: by mail-pd0-f189.google.com with SMTP id y10sf593283pdj.26 for ; Mon, 29 Sep 2014 20:57:06 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20120806; h=from:to:subject:date:message-id:user-agent:in-reply-to:references :mime-version:x-original-sender:x-original-authentication-results :reply-to:precedence:mailing-list:list-id:list-post:list-help :list-archive:sender:list-subscribe:list-unsubscribe:content-type; bh=REAGAEN0jjdRkvfSFQnZXYLbjmWeEXGP0f9M9atHcJU=; b=NpB2jzC87uJcZXpJKC4l14eFBlpDFTYYHqCh8gA/2y9iffruETqFfNWUbpEcitapoK mrkNaw6J2z17Cd3smA4YeVLMjINH6ajdcIzAt0ESzbaXMc2n8xBQDHfV1Zt+qAMbt7Zo FJg0oOTsZMIA4iX+qVRP9VjRBDV0rUNOI6Mtt2cz6h6rh4WV65FCxsptwhzDsvfva/vx U25n3RRMSbpRsnzJVUgDuwcJ3dAhKIIZAOYjapOwruQaCysO1serWjWH1qYkfysI+nHr URAMgENUlR6VzJ7wu1mYTDZCisMl3wAzjZa/q9ugH1/rTF6ejuXLsppg4yafzDDsfCc0 2bHg== X-Received: by 10.51.17.104 with SMTP id gd8mr48276igd.7.1412049426383; Mon, 29 Sep 2014 20:57:06 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.50.120.72 with SMTP id la8ls2663519igb.13.gmail; Mon, 29 Sep 2014 20:57:05 -0700 (PDT) X-Received: by 10.70.102.99 with SMTP id fn3mr7073749pdb.1.1412049425848; Mon, 29 Sep 2014 20:57:05 -0700 (PDT) Received: from cdptpa-oedge-vip.email.rr.com (cdptpa-outbound-snat.email.rr.com. [107.14.166.228]) by gmr-mx.google.com with ESMTP id fn3si488412pdb.1.2014.09.29.20.57.05 for ; Mon, 29 Sep 2014 20:57:05 -0700 (PDT) Received-SPF: none (google.com: phma@bezitopo.org does not designate permitted sender hosts) client-ip=107.14.166.228; Received: from [98.122.190.249] ([98.122.190.249:49959] helo=leopard.ixazon.lan) by cdptpa-oedge01 (envelope-from ) (ecelerity 3.5.0.35861 r(Momo-dev:tip)) with ESMTP id 7A/29-17498-01A2A245; Tue, 30 Sep 2014 03:57:05 +0000 Received: from caracal.localnet (localhost [127.0.0.1]) by leopard.ixazon.lan (Postfix) with ESMTP id D95569AD for ; Mon, 29 Sep 2014 23:57:03 -0400 (EDT) From: Pierre Abbat To: lojban@googlegroups.com Subject: Re: [lojban] How technical are gismu? Date: Mon, 29 Sep 2014 23:57:01 -0400 Message-ID: <3516990.DRAvr7d8TB@caracal> User-Agent: KMail/4.13.3 (Linux/3.13.0-36-generic; KDE/4.13.3; x86_64; ; ) In-Reply-To: <8362791c-ebc0-43b9-8f7e-edd00df6863b@googlegroups.com> References: <8362791c-ebc0-43b9-8f7e-edd00df6863b@googlegroups.com> MIME-Version: 1.0 X-RR-Connecting-IP: 107.14.168.118:25 X-Cloudmark-Score: 0 X-Original-Sender: phma@bezitopo.org X-Original-Authentication-Results: gmr-mx.google.com; spf=neutral (google.com: phma@bezitopo.org does not designate permitted sender hosts) smtp.mail=phma@bezitopo.org Reply-To: lojban@googlegroups.com Precedence: list Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com List-ID: X-Google-Group-Id: 1004133512417 List-Post: , List-Help: , List-Archive: , List-Unsubscribe: , Content-Type: text/plain; charset=ISO-8859-1 X-Spam-Score: -1.9 (-) X-Spam_score: -1.9 X-Spam_score_int: -18 X-Spam_bar: - On Monday, September 29, 2014 08:04:53 Romaji #### wrote: > I'm trying to express the existence theorem for first order linear > differential equations, and to do this, I have to express the "open" > rectangle, which is a rectangle without it's very edge (so a point as close > as you wish to the limit of the rectangle is inside, but the limit of the > rectangle itself isn't) > Would {kurfa na korbi} express this? {kurfa na korbi} is ungrammatical (but prefixing an article makes it grammatical). How about {kortolvau clakurfa}? Pierre -- li ze te'a ci vu'u ci bi'e te'a mu du li ci su'i ze te'a mu bi'e vu'u ci -- You received this message because you are subscribed to the Google Groups "lojban" group. To unsubscribe from this group and stop receiving emails from it, send an email to lojban+unsubscribe@googlegroups.com. To post to this group, send email to lojban@googlegroups.com. Visit this group at http://groups.google.com/group/lojban. For more options, visit https://groups.google.com/d/optout.