Received: from mail-yb0-f191.google.com ([209.85.213.191]:33473) by stodi.digitalkingdom.org with esmtps (TLSv1.2:ECDHE-RSA-AES128-GCM-SHA256:128) (Exim 4.87) (envelope-from ) id 1d4tjD-0005C4-92 for lojban-beginners-archive@lojban.org; Sun, 30 Apr 2017 11:37:52 -0700 Received: by mail-yb0-f191.google.com with SMTP id d72sf10472410ybh.0 for ; Sun, 30 Apr 2017 11:37:51 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20161025; h=sender:mime-version:in-reply-to:references:from:date:message-id :subject:to:x-original-sender:x-original-authentication-results :reply-to:precedence:mailing-list:list-id:x-spam-checked-in-group :list-post:list-help:list-archive:list-subscribe:list-unsubscribe; bh=auIs2apavPboI/c1nu3bzvKtkTavyXuK8Ctp/K3tj6E=; b=UL1c45qR+b9YritHzYaZDQOKdYniY4jniNHRRdljF7ulFcQk1UqutViRxmCukdnRFt fMc3yaiw5qLc10h02iAlhKkx8n0QXep/OEWtkbsUpc80soXj1Kz34Z4wEEXxCtXQ07mR MDJ/EtLCo+uLiuqiwVlie1as5L+SAaRnWOPHShSW1OfW54we2kK0UyzS+Z7Ju8W4/AUm or2QiVJxoOr3sRtRIWchyjYf/lvMxUry9otYMWYSKcVFRJb8kGod/yQTk+wYsrufvyGw /u/dGViMWrSnkfdcFJf0Q51Tw53yy2al6HU2poBMlbB+DrYZ3wbIyC32cVoYCJEanH9U 2ccQ== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :x-original-sender:x-original-authentication-results:reply-to :precedence:mailing-list:list-id:x-spam-checked-in-group:list-post :list-help:list-archive:list-subscribe:list-unsubscribe; bh=auIs2apavPboI/c1nu3bzvKtkTavyXuK8Ctp/K3tj6E=; b=kFKwmO2/lBwCethCG1mO4n0m/84UhK4bHQkk8cKV8rc07ShGMcGBOZEM+MYtPYETTF dDPtF3bjFcsTJg9ArVQaZDoPRX8a5eC3OKJkggJgSHTcaHzL50ZXWsxisojmfJqJIfx3 gRs74dBkRw6RSseReGeR079OiGnAoj/NZPn0Rm0cmEkI/4V/R8XQjOXcNFTVC6Slpsy+ EbtiVerMPHGndGXXEoxXj/lo9+96MlDQPHvn0kHukT3nO5IVFICaeKhoO3cFOxcvY0M+ BdqA3zHlw6YY0FD1sim1vkLxaBKw5OebkUjSKxwxe+TrEI7JZBYc1gnONrE5RIpVtGcK vnmQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:mime-version:in-reply-to:references:from :date:message-id:subject:to:x-original-sender :x-original-authentication-results:reply-to:precedence:mailing-list :list-id:x-spam-checked-in-group:list-post:list-help:list-archive :list-subscribe:list-unsubscribe; bh=auIs2apavPboI/c1nu3bzvKtkTavyXuK8Ctp/K3tj6E=; b=FJDSd4UlLSvifJNhsujAMcNi8LQP5JT/MLzncRJuC8CCkhfmWXQ+oHVYYvJxh88UtO iY746GVEYt41LVPUtpy7NkAtgkfkKHAGi+l1unPhiO86bu5EjsahErPiAMqiMbi0kMX7 RDMdUdZnWPjznIy3L1tlZlvzlK362zhiGTIk3n5z5mNTmA5X89MTqOWPvpPx58XzQD1R +jV+HBc0VFl0PNyXWDVlPNOczPnFR86Ng54VJ3dSHMhiVH2+sKADX3bkM1ZM7L9Y6pBf 4GWy8/3Dgj3C3cPYkfT3vqD9VxT0vwQ3wf7ZHbmNkNBoxAVSvbNip/WPGiPqgYNpVU3L n9sw== Sender: lojban-beginners@googlegroups.com X-Gm-Message-State: AN3rC/5mlGmWdlM6wB38ytoyGme69X2pwnH1NYn0tfp12lr1U4JqBvqG hMZ1OO/rCaTaXg== X-Received: by 10.36.211.216 with SMTP id n207mr15062itg.7.1493577465199; Sun, 30 Apr 2017 11:37:45 -0700 (PDT) X-BeenThere: lojban-beginners@googlegroups.com Received: by 10.36.25.193 with SMTP id b184ls2161495itb.16.canary-gmail; Sun, 30 Apr 2017 11:37:44 -0700 (PDT) X-Received: by 10.99.108.134 with SMTP id h128mr10607175pgc.1.1493577464190; Sun, 30 Apr 2017 11:37:44 -0700 (PDT) Received: from mail-qt0-x22b.google.com (mail-qt0-x22b.google.com. [2607:f8b0:400d:c0d::22b]) by gmr-mx.google.com with ESMTPS id m63si1169509ywd.5.2017.04.30.11.37.44 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sun, 30 Apr 2017 11:37:44 -0700 (PDT) Received-SPF: pass (google.com: domain of ciuak.prog@gmail.com designates 2607:f8b0:400d:c0d::22b as permitted sender) client-ip=2607:f8b0:400d:c0d::22b; Received: by mail-qt0-x22b.google.com with SMTP id g60so80070542qtd.3 for ; Sun, 30 Apr 2017 11:37:44 -0700 (PDT) X-Received: by 10.200.54.189 with SMTP id a58mr21243576qtc.106.1493577463641; Sun, 30 Apr 2017 11:37:43 -0700 (PDT) MIME-Version: 1.0 Received: by 10.140.99.34 with HTTP; Sun, 30 Apr 2017 11:37:42 -0700 (PDT) Received: by 10.140.99.34 with HTTP; Sun, 30 Apr 2017 11:37:42 -0700 (PDT) In-Reply-To: <514a9471-e1ce-49d6-831a-3113978eab0a@googlegroups.com> References: <514a9471-e1ce-49d6-831a-3113978eab0a@googlegroups.com> From: uakci Date: Sun, 30 Apr 2017 20:37:42 +0200 Message-ID: Subject: Re: [lojban-beginners] Geometry on Lojban To: lojban-beginners@googlegroups.com Content-Type: multipart/alternative; boundary=001a11393ee02a3e7a054e669a8b X-Original-Sender: ciuak.prog@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com; spf=pass (google.com: domain of ciuak.prog@gmail.com designates 2607:f8b0:400d:c0d::22b as permitted sender) smtp.mailfrom=ciuak.prog@gmail.com; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=gmail.com Reply-To: lojban-beginners@googlegroups.com Precedence: list Mailing-list: list lojban-beginners@googlegroups.com; contact lojban-beginners+owners@googlegroups.com List-ID: X-Spam-Checked-In-Group: lojban-beginners@googlegroups.com X-Google-Group-Id: 300742228892 List-Post: , List-Help: , List-Archive: , List-Unsubscribe: , X-Spam-Score: -1.5 (-) X-Spam_score: -1.5 X-Spam_score_int: -14 X-Spam_bar: - --001a11393ee02a3e7a054e669a8b Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable 30.04.2017 20:24 napisa=C5=82(a): Coi do! I'd like to train my Lojban skills. So, I chose to translate some geometry theorems. good luck. I recommend you try putting the results of your work into a parser, to check if everything's right. I had some problems while translating. 1) How to translate figure naming on Lojban? For example, is a triangle translation cijga (ci - 3, jgu - rafsi of jganu). cijgu is an undefined gismu. the rafsi of 'ci' is -cib-, and the rafsi of 'jganu' is -jga-. that makes it 'cibjga', but it still doesn't mean anything sensible =E2=80=94 one doesn't use number rafsi in gismu to signif= y the count of the tertau gismu this way. instead you have to use the word 'cibjgatai' =E2=80=94 "form of three angles", or triangle. 2) How to translate the length of the obect? 'nilbra' =E2=80=94 x1 is the size of object x2 in dimension x3 on scale x4.= (jvajvo definition, may not match with the one in the dictionary) 'nilcla' =E2=80=94 x1 is the length of x2 on scale x3. (as above) the first one is more general, but you may want to use the latter one if you want to abuse 'clani''s assumption of a default dimension. 3) How should I write names of objects? For example, ABC is a tringle/ '.a'y bi'i by.' would be the line between A and B. 'lo cibjgatai... pe .a'y jo'u by. jo'u cy.' =E2=80=94 the triangle ABC (tha= t is, "of A, B and C in sequence") =E2=80=94 mi'e la uakci mu'o --=20 You received this message because you are subscribed to the Google Groups "Lojban Beginners" group. To unsubscribe from this group and stop receiving emails from it, send an email to lojban-beginners+unsubscribe@googlegroups.com. To post to this group, send email to lojban-beginners@googlegroups.com. Visit this group at https://groups.google.com/group/lojban-beginners. For more options, visit https://groups.google.com/d/optout. --=20 You received this message because you are subscribed to the Google Groups "= Lojban Beginners" group. To unsubscribe from this group and stop receiving emails from it, send an e= mail to lojban-beginners+unsubscribe@googlegroups.com. To post to this group, send email to lojban-beginners@googlegroups.com. Visit this group at https://groups.google.com/group/lojban-beginners. For more options, visit https://groups.google.com/d/optout. --001a11393ee02a3e7a054e669a8b Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
30.04.2017 20:24 <evtush= enko.2002@gmail.com> napisa=C5=82(a):
Coi do!

I'd like to train my= Lojban skills. So, I chose to translate some geometry theorems.
<= /blockquote>

good luck. I recommend you try putting the results of your work into a par= ser, to check if everything's right.=C2=A0

<= /div>
I had some problems while trans= lating.
1) How to translate figure naming on Lojban? For example, is a t= riangle translation cijga (ci - 3, jgu - rafsi of jganu).

cijgu is an undefined gismu. the rafsi of = 'ci' is -cib-, and the rafsi of 'jganu' is -jga-. that make= s it 'cibjga', but it still doesn't mean anything sensible =E2= =80=94 one doesn't use number rafsi in gismu to signify the count of th= e tertau gismu this way. instead you have to use the word 'cibjgatai= 9; =E2=80=94 "form of three angles", or triangle.=C2=A0

2= ) How to translate the length of the obect?

'nilbra' =E2= =80=94 x1 is the size of object x2 in dimension x3 on scale x4. (jvajvo def= inition, may not match with the one in the dictionary)
'nilcla' =E2=80=94 x1 is the length of x2 on scale x3. (as above= )=C2=A0

the first one is= more general, but you may want to use the latter one if you want to abuse = 'clani''s assumption of a default dimension.=C2=A0


3) How should I write names of objects? For example, ABC is a = tringle/

'.a'y bi'i by.' would be the line between A= and B.=C2=A0
'lo cibjgatai... pe .a'y jo= 9;u by. jo'u cy.' =E2=80=94 the triangle ABC (that is, "of A, = B and C in sequence")

=E2=80=94 mi'e la uakci mu'o


--
You received this message because you are subscribed to the Google Groups &= quot;Lojban Beginners" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to lojban-beginners+unsubscribe@googlegroups.com.
To post to this group, send email to lojban-beginners@googlegroups.com= .
Visit this group at https://groups.google.com/group/lojban-beginne= rs.
For more options, visit https://groups.google.com/d/optout.

--
You received this message because you are subscribed to the Google Groups &= quot;Lojban Beginners" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to lo= jban-beginners+unsubscribe@googlegroups.com.
To post to this group, send email to lojban-beginners@googlegroups.com.
Visit this group at https://groups.google.com/group/lojban-beginners.
For more options, visit http= s://groups.google.com/d/optout.
--001a11393ee02a3e7a054e669a8b--