From 8784531a780f06a7dd3614e45b7a07ce58458add Mon Sep 17 00:00:00 2001 From: Kovvvalski Date: Tue, 16 Apr 2024 13:12:28 +0300 Subject: [PATCH 1/4] tranlated formal definitions --- .../absolute/concept_Apollonius_circle.scs | 11 +++++++++++ .../images/concept_Apollonius_circle.png | Bin 0 -> 37118 bytes .../d_concept_Apollonius_circle.scs | 11 ++++++++--- .../d_concept_Morley_triangle.scs | 12 +++++++++--- .../d_concept_Napoleon_triangle.scs | 11 ++++++++--- .../definitions_scs/d_concept_acute_angle.scs | 11 +++++++++-- .../d_concept_acute_angled_triangle.scs | 11 ++++++++--- .../definitions_scs/d_concept_angle.scs | 11 ++++++++--- .../definitions_scs/d_concept_circle.scs | 11 ++++++++--- .../definitions_scs/d_concept_circle_arc.scs | 13 +++++++++---- .../d_concept_closed_half_plane.scs | 10 ++++++++-- .../d_concept_closed_polyline.scs | 10 ++++++++-- .../definitions_scs/d_concept_closed_ray.scs | 10 ++++++++-- .../d_concept_complex_polyline.scs | 10 ++++++++-- .../d_concept_convex_polygon.scs | 10 ++++++++-- .../d_concept_countable_set_of_points.scs | 10 ++++++++-- .../definitions_scs/d_concept_curved_line.scs | 10 ++++++++-- .../d_concept_discret_geometric_figure.scs | 10 ++++++++-- .../d_concept_equilateral_triangle.scs | 10 ++++++++-- .../d_concept_flat_geometric_figure.scs | 10 ++++++++-- .../definitions_scs/d_concept_full_angle.scs | 10 ++++++++-- .../d_concept_geometric_figure.scs | 11 ++++++++--- ...concept_geometric_figure_of_limited_size.scs | 10 ++++++++-- ...ncept_geometric_figure_of_unlimited_size.scs | 10 ++++++++-- ...eometric_figure_with_all_boundary_points.scs | 10 ++++++++-- ...pt_geometric_figure_with_boundary_points.scs | 10 ++++++++-- ...ometric_figure_with_some_boundary_points.scs | 10 ++++++++-- ...metric_figure_without_any_boundary_point.scs | 10 ++++++++-- ...geometric_figure_without_boundary_points.scs | 10 ++++++++-- .../definitions_scs/d_concept_half_plane.scs | 10 ++++++++-- .../definitions_scs/d_concept_hexagon.scs | 11 ++++++++--- .../definitions_scs/d_concept_interval.scs | 11 ++++++++--- .../d_concept_irregular_polygon.scs | 10 ++++++++-- .../d_concept_isosceles_trapeze.scs | 10 ++++++++-- .../d_concept_isosceles_triangle.scs | 11 ++++++++--- .../definitions_scs/d_concept_linear_angle.scs | 10 ++++++++-- .../d_concept_linear_polygon.scs | 10 ++++++++-- .../d_concept_non_convex_angle.scs | 10 ++++++++-- .../d_concept_non_convex_polygon.scs | 11 +++++++++-- .../d_concept_non_countable_set_of_points.scs | 10 ++++++++-- .../d_concept_non_planar_figure.scs | 10 ++++++++-- .../d_concept_non_planar_line.scs | 10 ++++++++-- .../d_concept_non_planar_surface.scs | 10 ++++++++-- ..._concept_non_rectlinear_geometric_figure.scs | 10 ++++++++-- ...ept_non_rectlinear_three_tuple_of_points.scs | 10 ++++++++-- 45 files changed, 359 insertions(+), 98 deletions(-) create mode 100644 kb/plane_geometry/absolute/images/concept_Apollonius_circle.png diff --git a/kb/plane_geometry/absolute/concept_Apollonius_circle.scs b/kb/plane_geometry/absolute/concept_Apollonius_circle.scs index f3f0d1877..0b0dc91c1 100755 --- a/kb/plane_geometry/absolute/concept_Apollonius_circle.scs +++ b/kb/plane_geometry/absolute/concept_Apollonius_circle.scs @@ -9,3 +9,14 @@ concept_Apollonius_circle => nrel_idtf: [множесто окружностей concept_Apollonius_circle <= nrel_strict_inclusion: concept_circle;; +concept_Apollonius_circle <- rrel_key_sc_element: + ... + (* + <- illustration;; + <= nrel_sc_text_translation: ... + (* + -> rrel_example: + "file://images/concept_Apollonius_circle.png"(*=> nrel_format: format_png;;*);; + *);; + *);; + diff --git a/kb/plane_geometry/absolute/images/concept_Apollonius_circle.png b/kb/plane_geometry/absolute/images/concept_Apollonius_circle.png new file mode 100644 index 0000000000000000000000000000000000000000..ccaa932c2f16f514336bd543d78a32987f43627a GIT binary patch literal 37118 zcmb?@c{J4D8^0O*E^BtO@5!1q$uflOvQAX8lYJkwh?MLRia}!?+4oT-`^SW2omAHB zL?plaR^M}ezyE*d(>b5R+~>K^^LqAs?|5|0SdW&9gNlfVh!&xL#f*rE1WQCjEJQ&D ze&ZrVRSo_}=4_~Uh3EwO?`2y_D)j3WCpFe+;$7ZKyEY%$xzF1gxIPHweVOFPyD=JsQ*Z1?n z>GV?s5&ysbnSEOB=e`8EdC9_T8n$h!b{AuMCUF)>Zlu}weKA~idQVzkhtca=CE_f# zo19D%YiSiktk%6XjoZ;g!$ke4`#1w649gV~_Tl8XZ9965$K>hytz<#O%m;XeAi^v- zo2c9=)RSVM@^@&^_YF>qD5v~_OJn_3$yC=(;7_f2o)YcE^q}-4qN8fJgQ*=;1Ov}d z+W>iT-4wBi@3Q0*wcCqE647(<@@A!$dBRDtwwE|q>KJUOB*h|)Dn=|5#fRC~L@V~h zoq&XNSBb|9>W&)DHg;@>5QQ)_R&5`}rAIrN?R-uV#8gNk0dC)AStht97$*w0k8t@) z6~9kxD$XTc%61A>(^<3IAmd3y=#<_%5Qg z9k6K9^-8sMjN1CSq;C*(&M-s3KJXB=NMuJmMQrzs%7R#@l(H`0c1(`B@E%V=Be%E4 za!^x@-QoiANXYL>rQ86C@47VYV|NL2WV#K5#eX)sofBfmXK-qS`o4|C>|}=&!E_rO zVD3ImLTJKKqt?Vbe9S}3uj{GO!}c%ywyKYrn$GjIbxt=DPMVlZv+(6=bnrL+zF`OV z7#*2C#&P4;(6Qqc>2oKutshbZlVn)2z-w0Ik}S}ZnC*!e`DS-{(kGVag3%e84yiS7 zmBn#&+6LL~r6wuEr-O(F=_l`xaf9hSNjRhQ=u|;O*^N^r>+52;C7yEYla{ez4|}^a ziKB&+-m-^G8;e^=`B>WAl1p?RovBaP^f7EU@(aupWO?KLQq=pHeaQ!5hDd2nBb7v? zpl_aYyE#^w-s6pKD$~v8bYoc_$J*(WmTEp*&}z=CrOJQbuy;1XZn+-qyi`7>=EJ`k zj+EYP>D$<`V>3@d54l33Bw2HsGM5ICIu3j&8fcC1s-sb2Yxw*2nil<9o4e*?gA ztAb9n;(ZN!gyCu;rmgfl6@eb@JYI*ZLNuH+NEv1NOSolENXKcQW5*sSw0nzTuI+gw z6pVfK`XHj*!r;<%m&>2{i5P)w?1(yei%TN{W z5i=igKKg}bQ98|QeIu4DEIHR6%SW)gy*Y5tNY)^>w%}F38%uiwrN_|HVsOS*{jErZ!m#NI|shWe1|( zp-xEu=yJ$j*sYGWczt+&xxVz#^%R3#w@897fr|hujec;5*l~@#C;zOKtw{*M-4mB8 zSZBLwPmnQk_X5T(DZ)kIS$11cQ>axG=aP$MYQ50+H!PbnxEQpl;F#|9L4hQ$CisC6 z_O;hCdi^IHPw_rdzkx9HdRu{>SQ8d?_3%Yg^D7|F=uYe+qu0@%VCN^wpux5&Gj8Ez z@6bcZP1n+=4A)5_cn?gFAJt@w^5pJY2x_n#2#jfl8=~^zJ@A^Ht~7`NPbXJwB&9K* zaw35v_Lr3O?c-R&{ia}t(i`WnY?~~EGo|^;C#1@`@>)lufRW$#i?}INzyAHQSNXk` z=%(++L<=|jL;*6GHC=H{+LK8!l2t}e1eU(@5lJSaB=4(q7LtuYtgD%VIqEp32GM|{ zQ@`j)`I|$TeL~t?7tx!I(?SogzO%?zTHVJTp$6q{oyx_!$BcDvsD^ctQ)E2;Z!*)a zkqxgeOnh=R``)qGgM1Php~0FRVWd^@;}qR-@>Y@qdAHeacL8A^5@T5Xhcr`QEwg_4 zLX>4~9c^dp8QTaG>YtZNZ^PXjbLC=0&PEj+$#1IT`|fzS_KCXvaHNP}ZcJb4E}w(- z5OXe2ohtM^`#R2G%}Xo$L)-Y;y(#%ndh{DMSP5)j_V>LYeqa7gTYLo~CG6c!%s%la z^W%C#e~c1*_1j-!(?Mxuk>XR1S7V7eS&p&t&vwLcYc!gnkq_kYD-1|m;7^mc{jE-R z2z>a8ZpgQqbv>wT%qe&(Mpg`Bld>DhIr58%^@yyKt%Ur$?xSDnayo8jZn1Zscp z2^W1jz`{1A2_`g}Tdnj5XDd~N-2wor@ZStJLz^s!4(cCz;$aZc%GnADq?gj={!dC` zZDH2Dn+Es@1#OcH`LK5LU(qHPgp$U{aF1|O7BWxr;j`P)fF|(4I14sU{c``l0w5W_ zN|?drvqxPH<@S{y@({xO3L-OhJ&=0Pk0^Ze^Bl`K2w=fmBS16`f!fwa#PXPG5NW#+ zhl4^u!S@rg`XM$Wyz&K>5UEYM2Qmz@PvxCG+D-1Kuxx}-Cn?Sv z<+Y=eioQ_{*CXn<9a4R~kNbk|{Q^l=cXgG@#_sWd+k-|1RqNY#3C>8NI1?ft!KAM2 zXMkx^-%p%%Oo!aT;)FIDG3WX{Q5aC|y#Wx=oqhFvCnwD@*GJr!8KZBh@!5{jp5(_f zspo=8Gq$)boCD3D&-EnAoDAKlP;fa4*N8PQh;>I z2;<*0dT{c)g*!xGC>7F3;U#bwq+#qIj*8jIuH6+bRU)?Y5m9CN#7AE#NDyCp4sqn{ z8t}a+0*T}|P*4yq|7F9+gLUuhy2#0z!#5jH)xy&=G_SW$|5fz z!%z)MB1wG&Y)lL5NJ)l$I(c443MU)C^}e->+~bjL9&Y zQA*g`pEwy%|;|oh!$iUefJoA)mSS9 zF`w%Nq@rYNllP>MWf9e2PqgvK@3&)4lo|$D({%^)nM0Izj3z|Dw@HUjuuVaae`ak& zeYs!mL*##90m=mz$~rEMnPAi8#g1l3I?f#kclwdY4790o)L6r!k-lG6V1zZ?=;J0q zH?=UBFHaoxbwiX4QO!SMc8o>Q7EC4PpvU)B11Zg(zCkHC4iIU;)ZP&u#SFiH6eEPm*@c}@O?MJ5k0;?A+5LfAAf#@> z%03yvXUWvw6PR)nV-{Tpgb?lng7^<*57~e39A7}@08PM_tXR}o|4(9X*8`SAb-CNX zWk1mnzM^|)`UN~Y5*i*rU8SoHZbe5GuIU0m&>+nDJz++ySaQPVZf-5r~3EJ-2XH7qvlk=p!NAL2AS;8vQ=! zNbw9T>Uo12qa7!1A0pUkuERiCOB2MDRT$d-C~UpEMvUu(s00yX*KsQWRpdN{%1t)L z%?`d{L)TK!d0Wm8WXSGPV%@+`f(Sg46{|94g=3-7cy*wFjXYfXB))ab}fI+_a>oDZ6O6YN!TiiZ7escSQ)IFVWq@%l^Ui#DVYls0mZ6~%*G5BydVLtX$@Devzu;}%ir%p#=G?iHqMUI|8gl&<%am*vJ%S=x)zU5{(jEFu(nunTlU+?|+;y`NDiMK2k8tE? zBZ|U!u!hj*3Y|9zUup6Lcg49L;l0Vy1iEMbSktT$9`P>so zL%K0?E@H{zr2$QfAE}ViQnkWvm-nL*T;}R<3x6do^^PQnFz4FE@thG zFd#X)N;GSdt#p@=6()p@I<<^hLk>;E^UemEKQhZ!pn%FNp3sNH&rclkVf9WSG0V(; zN3bNzB+_#Q+L>)+(SovLNoCSyNd={S({Psa`32^YGFX3T`Ci^59EQfRXwwQU9DZtZ3;G8H%d3v!!|q0pFbY!h&OB?%7^N(L#m+ z?u-U~=W<3|4BZAMWHkn?xFbO@PH;JF!`1&qi8hEY(0`NQNmeBqVgJ{Nx%I^Bg-fGoDd_!P8r}S=!i4S0+7RG!nYuT$s2lv z8wnaXAC&9q&w`d)(h2EgM=?*oB?*9!e_X_IGwYOx;%@(yo`ne|b1lHin&{*i1Zdwa zVP7eo4#F8^$*J`6>qeyQh9d|E60YRa&%HP{)yekhe-1**Aij<_Oi##KjaUE8_05Cfwmg zVgS{XAZ6_1f{o4IRzL9Z=xRNT2fc)Hq#XEg$~^8krbO(J!8MsR7P5WziV$v2R3(os zRoD-7SsY23a1+yAp&|0(Q{O@7yWYLwoWC`*O=4x;9+ox`buH3YG znO_hR7&5C2VCfkosw@_D9wg4og?uPQWlB{v!MZ;tx*sA=V)7uezQ$a=4qx~y_>*1l z1mmw42+0smcx5^6#>WMkcV#xGUjPS98NF_N+jnavf9E|w>FX#n!7L%FHxkEsYH*A| z>%)T70~)Low6WWZ9C$>2r%w6e0u7)qD6060OO< zLpaJ8h|xIaZYm;=Pd#kZOb;%B$n8kSb)3R1Fa9wmA0YLIVxaHT$E3D=XrvvvGa!-7 z9L7(9njtDrJq0S;!wJ6@3tULxR9lWzg%}U91e=a?EcFl)--F2Wgafw^V@^)3fZ<;y z@&_Mlo*PUR!szXNr{hDE@@J9!un$$Ex5*imwWFBU%WmD}IJBwF&Zrl0DB?Qnc;ZNq ztB8jVVRTnhy+x*rxA%8ql!(gik^;RsG-E3$ht7p0*sN8tkZAHBWO7t^QK}jH1#X*r zP0<4=#-~UQBy^k>AD6oUiNYMQXF5NL>tL#XH$Ol&m?Z`+0Skr@NL9hodWxR{Hs{~J zwftqR*;z7yqK%mnQ@OhcW2#v%1iG(!(o4QvI(m_IibNHqv7pW8d-IlCtKxY#E20Ak zQIAuzK~0<8H=%K?U5G!8p)j4zC&jFleI1p2SzUFF<+YH=KZ!G*CD`<%+O{DNSqbXY zFyakW*!}b|LTcX|WZ}BcXV7PCw3;h6g&@}!3@k&k7TVpyvUfP9h6jUCn*4Dy;TM)i z#Ap``Qs`z9Cr|S&af36+BNFLX zqRz*3i)86Qo+3hxm$V~kr#eX_ILQIgFgVV~Qc0FzlbK9q2VrcwdF=t*is45}_$R>q zf(>tDTtR$b*r^-lN>3<4n`q({Z$sl4Z> z3vvl&2R*e^t3+(63m-t?2Zw@Y;ot4|-dj?DtqC7-7s1IX!uGkZLA!E_?mKXTUiazk z<0;4FztrDs2&H}b!Q_9)Wqu;K2TwnCy5N2E=kXL6^;QJ?W8R@!B%(Fp_SK-R7Nc~0 z;m7j!>Edi8z?iN^Xp`B^dEXKj^B2@unp$i^c6LaLpsFODSL6v0#72dlr@V41X{bEs{2!66((y>1T-R-}w+0ch{X?o6p2 zy01;QKtBHk1YC)zb0`ez4gEV8cK4+`%wel*O~KZ{Qih&zHDht)9&uGKl&HkYl+y}_ z-SuFrjIocJ_N~B*#8w&`U2$hAlKRsXn6(1>dFJ@2c!FV1!<&#m>MtZ{Ab`te5ShtJ zyVa@eUQ8eP+KJDk_fQo}tLKfE8yx7xE`FN@Srsk)(+CK9|9K7Y$~tXNB0mRANFC9< zW%`MIBK@YQM2=PKA*}Opd5Z)P{kWJ|$&9&r_StE?7$v2lQ78-yxc#9j){&Mlv0QU!@Ec0Fr5(eF6JAB2K zzuvOra+!A=Y1`_2ckS+dH6Sfle?JMe1uKeY4upU@_fBJ2mpPTM-AvqmPdkF5VBE6N zUra^C$@@{`?>oSKCFM4E8_0(_{mgU5Lp_q_8nyyy@YG3q0l}^Hq zKB%XYGbAmS<8V7YE!uX+zdj^dc&0lAehf^QfX|x%ducPMKHa=mfx3?#8gxdk7Nb$* z60k}y-Eauzsbyw1v5s^l(EH*wyZZSTG83#nX?tFH%T!FHbS=R1iMuUhV>zRt*gX8r; zP}uS1srHHR>Q|$;c@a!a4Z=dxj+7yWWq*mn6}oi>INfe<Mx1Pq`}v=-$KNk+j`g zgVNK_%_zeCluCTAc=v|Tw{28!#WZx-rTd)|G*BkDhd}ccX0odl(Ru-KbZKj4$Bl8{ z^oU32;dk|l-s=>~Me_7khKaWTW*q5t`qT$B1NT)X#Y6!IE0JPtdkb-UsfP!{Dx9I} zI$JB&xO>GtT;~X5Mey-26|;HJKDX!-#$IobjsI=UP$7z4d%*Tg4B_LSKX?)-%|veT zZ%zw8EEh-C04FnFnoZ|nw4rejJmj0zy!qy*9KUeVt7=-*FXjfiAvgC?Qwrs>0M0Ke zYqOA1b$1a7iMb`WAmp00uiihHGyCE$)a6GjA964_PXQKnW1jzQ_5~UEH1%$YWz{2EzDkL<9@a}grY^-jG-Ix+L=QI5(NTniF30VR zbFqWHZ^B@Z^yx<%YG1Ir@^i%79V+V;%1t6rMdrmnkJZJYi}cX zuG8&*Zvl!>ftKqQD?zgC^FQ$6?v|+wmN{gg%#Qr+(s>lc9vd_ zxxj-&BT>dfxgeb&1j4wxbw*D5U+ARNhE>}oQBFIhs6KBt{Xx8Sb2)NXHU6`adn?>`B2AGNR?tnxYYIEj_nGD3}$boQm-U+(-1E?@mO+F@hNX?oUAJ^?_W28A0L8 zFC4>8cA+#~^@#I1>3~R}^dGBV;XRa%*zI$Y^jRYa=XC3v_@!S&8N^dimM=Xgd|Az* z2sI`v(Sk|sW@Tu|oK>Q)yR%+9qwnuX>PA<7`^gXYQj~S3hW^9FAuxELO@E0b{8_Ms zQs0Bb#jz~hu|iWS=3{q1-$LfBoYG}ad@QXI(Vt6xI-WVKo`r63MTy8{jr3Eob=N!- z&YV;Y0=(sIxa?9iqn3~vc$W+L-vkZY`7 zB^Y>RS*!B?cPO6G&0HpaTe~ih*i?Sr0I=z4%;+O$vM!;b{a&+p0lU@_8Pfp1*@<~C z1tZ+`BKlF4rX48MMulMwDTn!nF%=+A(0MGwvC7Qz{R|!V8`*naUIOD6d zTdObljQj^5|J<~HIae6e1pBb3YGl=ViAv4t*x1p~11WAbzoTogo^*|C6;Zjse@E@B zUS|C_BgQX?X#xddgXVeWo${w&{Wp?S5I@Ma^p}tQB)V=(&EDblrNw;2Qib>>Hhi*x z$;d>$oXtK3bR~$VJC}$YO7?AhigAs#lsaYGF2mE|MaE~U;%v;qe10=KS15WOoKK*8 zcin5k(VTQZGVqan-+w1D)-Xr8&vhjcLNAo)jOjFn`49-bE_kIU#*!`Vijx?dOk2=_ET@orO zsi|VprFqG~KLZQ1sJ1G^@0S!YoRG?TF?(^5Y+XuMaL`(Vg;FNbMO2Ck}ocQjk17_{QI)wL3 zGGTVmi0#1NZc{|q4alA-9mJXj#}B5a|IVHY$x`Ggn;R@Q&TOv;WF;t-hu5QnsFi?noQ?< zD#A09RY=QFvdp(s4RNC=mUOng=~Et~$<(6j%o75TIu^1_&Qa;kAIBIXT|9U0iLXgL z%)*Z@tsrGt=BM%d(L!BY&)>Gj7HDs-U1iUfCj9J63^zYDllupMlo0yQ$_Ao=)gXl| zQN~hCaj)cJ;``|ZrLx*kkDUu;HQi(k9nz5-Y?prIi(TdQCC12Y%46M%xs2F+Z+s_p zvn6R~+^+z8zRUK{r2(-#_Mw_mU%1 zd0Zf{x%K!WkR}aJ?wRvXr@ELP#PN8`@;pn85QcQVoWtL8ZT36#4+DAlsEJ&t|iaC3cRnaJI z-tpDQoha2c{efHf2G}r3?AX&rbPOYQkhcQmb;yyAsTl(*QG*7&Sd(w3iS7Y-Rn$&J zxPeRpEi^`;Ys#HDdv*%hQiU1u9v)CfzsaK6+QaXMvUDBYErAyk)2Gn=i6#y6hQ**L zVTlqlzlBZ{2uAG5%SMV-2gwu?Kb@q@A9pxB_XR8`BT6qmf9SP(i$STx>-Dj-aF>k1 z+@cNx`J%C8iH+;Y#K;GFNpuWGV6 z2d!HO<-b%W@TOceG$d`U+2y~3+#&^4B`|AM|M+uBOcJPtX#4pz(1v{F^b8KWMTdU1 z#`E#sz(e#IXG?!OoO_NktFz8>T?ZcvtLpm)IA?t4pWsX27_EW@YrU-P8*mz|?%A2< z_G#+sz`Of|q+gp-sJ!e9al3>)8n-~k?C<1|chS&}G@^1>YeM;N>{*5~k6T08Bq%W*ut)_iRxR!o)e5;-KitZ& z+mxZ-plYj|LGEq|N2eQeVU=Sx#DmN7knhLeUM72;(M&T~%n{r_w|Bh-Dm|yIZPH3o zbed|Nj;nWtl?ge+yQ1ksBQvAc)5PG1N*{*n>r-0$m(>_EQx01U zeVH@BR2Ah^II(+3HW?9|{xdHoYvP|A7-w^`D&vcqgE3=Uw_%C;LEF-*lgjTm=N@C*eqG~^>vHF z0P*gnvdmi$8=Z8YSv-nt@eQ~xHhXv|it2_UIh>Q1#)3P#H?wfcL?> z(>i3%c7(^hw;#94Lf3hgf8wGej`!VbcluZt8c+(iWx40y;#V8E z<|n2xEApfvSpl1QITsCsV0IZAH2Hs90I3?0Zk_4)rQ(Aj5@4U;XV~lUyDPQ60GhNeokNum6e*$wGu5mRwr9w=Z;H=i|n9OfO zAEn?!ReQwPzOSI%fk8<;%5a5TljbVaWl!?YUOe<~xbc*fA^ojZYsdRf)5LzPU9U#f z8^+yh>~N)aKZv$2EeE#9u?V*ekr0gWTH%i0H@-UJru&qB&Q4!%)>&5I9CVrc%bBjY zF)KU(GLE$0%Gm^K>&pXTbz51)ZKI~(Ab-L>>rp=>{7Y44Y=;D;b z=cfOl>h3Nslfga`2hl1E6Fkym$K@2F;+ybbuvlScLaFK>e`(o_tptuZOC%f3tn+#b zf2Z`uaP%GK;WkX~b17t!?F*Xf(%rCJQrU~arQl9402>uA&z6Bg1!rh5v@8yNtbiL= zZWDV(twXN`v|As|7p!+c)8!iTDj3-OE_ONbXB3;7Z|TL$@&Aln>d$?Hgn8^ai^qwq zI#K#vUbmo~%$dJ*oCkz9z&RGt-_!2x5hc78CoM0#y9niPXR1vij8lX*Kma`{iA<6l zf7n>R%OQ1dLNmBj_<;Sl%Vz@n^O}G()Se-4{73)AWh>af0Slb3nXzmXG&Z)l&Wfg> zIV6!|tW%e#?ZP70jZVh*>S2cn@+Fg-L-=QK9!$i?s-fH>PSWx-*ir*nf73W17RiRG zAy#-#&VwXv7RZV%O+4oR;~3^uX;fGp_VzhCZs)>_Yb~WvuG<2+4xa=MDwBOQXL#2Y zL{{k+Ikd*MIIrSJj2mMbCuMy`H#9f&qR0ixbFV<2%kyUP z^-P~1D@7^%<#2-zG}R`5?n1hQLu3}`3tgWKs(QrZ_ZN-FZf?A4?1=6Gz**r;i|D(f znsx$mP*s*<$eHJ=Ky|$PZ(dA(Yka^L>y*)pl1QOyp04zwPtLMk{7vQxp9KjTc&%TV z0J&OJt|4ziDsUA=SVx%|?(nZM%c?mW%^Cy)MX7BV?6jt@hjH_uCisI(Sr3#Fh__#z z5-!6eBz)ri0qDXoCgQwGK&-#+3CvcwX=fJw%Nuza68&w646=Kc!6d^mu8CoID7RFH zjPCvZGhG)q64;KoPeRUJS3o~pCL43)ajH1S{cWAOIB4c%dG8OCcoJjdIC(g$^X&nWu^4yn8ewVWxV&)>ViB!n+VysDi$X5hUKJg)qH zdlHk`xDer85&e5bfKnprbh0Af-ChJodV3k$Z}p~JfzKMew}VNHKR9r6%g;P5j;!IV zn>5QrzsClyH|yf~0r`zna{n@B?83qj2z-l&cTavj9=MKf4n2x*wrS;=I6LurJImp4 z=f5fk5;e0>HQU3Txc`D3!?)`Vz@<3FMEy4XQ#iS{Q&qk_FDcD5N9gVMTr&&f`1}SD zsWP?oD=WA*cnJF@BT^gRQ9&t5oJYh%}g%}+-{N)Ix4@IN7PQ;dL~4D(-G+h zZcF7gy6`LJ_|d(kZQhA$@~*E%$4!*ZAEz;sFXBM+MX zmAbPT*fNJ+WomJyt6JuG(UkLX`)cN1G_?u9n<&2tNiAQtPWqkdQvZ|IT2zA(uNI$KqZ(=%NxJ zO7mwQ{o@tQRI6VZf^L%Fs^lHRana6#jP})mT**R11o>yZm|h@E9mq|y7Eo@w3j2SD zu%J^>!sWWVzicThJQBqC$ z@^lE3eP5OU6R~jf32i(q0<|Q{1D1$5UiG;NsiYyx>Fm86@e2`ey&AW$!p^>OPO;HiG$o<4*GyLaQyZHIMwZ2nnM5CyNqAC2Tp=@e-QaaFWdhz zj$Z^p&+je5ZNIocho^=INweHE?#nGPh1pr^>e5OnMmBT?MLQJ@?&PF{!*Q`1bunp1 z-gHPIyRJ@#M1#d%YpsES+*0iyx_(G#TvF#pLj70{)Q@qn_*x}3l?M5|9HdO|oqJdx zdRMLn!dscNh#ve&RdE_`ZCu4<_+ z^&^pyL7_=T-A|#p0V*s`wQ@0M>(KRw;C7 za59behu2H8T-A66&>-Qu=E7|Lt|5nP`g+k!)#%pm=$nrMB!1{Ssj3t7wCl%sH#d^j zAA({hT23h`yw@_^3t~LYiOcEvqC0_WFPgs?_+aNO!cXYV!-4Bz#%Rl*WZwQQf{^ga zMY^!n1G1@H9#HXHdPYay+We5bHb~DV4PIER`SD=pj)Rf5P$5%uX6$-i zw1ba2Ex@D;DRc!5i*)!h_=4hUMhh1ljBz;kI~q+WwoiA0_f;m(h79?ygbeAGfg_9R zwfi6yInbdSLn7`#%zh^B@l{IZK9znDVzh4IfHX`XUIM9dw;bh@=51{!5u6uBI&D$- zUu|IAT06!dC$LR7eNoMHF=+qwn;D7KIb!I<&xq`g?n<=N3n)#tIZMQc7Wt2m^9A+g zmKsKYUib&O;xKSj(pG=T!bBAvaE?i3GwhC?k+E>AsWf$W5z`=2hi~BHxN0D82d>NTTS{>A~^Wrx-Zn`EAFZuyR zYoSD$0um+08rKKL4g_#Xn{-9Z+45-tFjuFqNqg=ELCv)=(SGXT7ftBgWmHA>%=}J~ z|8P|NQ?1?a#^bj%^i=Lt5-EOoQM9O2y*&fQ*HH=NjU@Q^0NLd9OWm9*uiHO4rYeJ| zZ&({+ftJnVZs_&{17r|ngN4L8z9=)54SV?3Mw5BqD-D8H>&iz(m?m%ky|1~*dl#|q z)gFc8W(U1%o_KB8+-lLhb1ITSP(dT-`~j%@(OJo=s8LR5IlR3Qxy7F^rbwBk7Cxuq z$~sQ0-}m9Ue)gMOO?BHx1EP*c-dlH)qNDwYz1FXNpUWT$R`_q>j(SI5hr`DQ(3K8t z<1=THgN_B7a|rj+5V0c1tFB!jBG5L_6eVzNw4E0pC18_C| zprXd4%?T*UxUfYsl+a!5QKx-7b(hoJF>;d|h{l9;{AT1Gx6G(BXwz`zRgA64j3s_@$+DU8Unf%-1c{=Tp&f zH#KLJ*vze|v#dk4=h9RS+u-dAm%q4mJ<=ooNzvH8yEj)hG9)pD<+Y~$ydYLF3+~?V z6zvozHtfHzLucSCOgWdPuc`FBpx=5kjS2gZk09?|y-UvS1D7ss#blCQ1!aT>_P>G9 z6xR-0CA&&HAx@BjK?9*C!NoM3^ewGzD}5FBo3=7y;rhEdptUXAx{%N!@CQ1U#4mLl z^6`l0y3E49tf>#yNOi-uX8;tcFkWdElltD=5=Ynu*DF+Ab5AVllf`6cbW&B52%#LM zT{zTKr~54OE2_tEs#&77PYk@#&LL8}ypn$+c*?lTgFjC!ci54x+8DsGAizvoK6t^E zJs3_W#&V6WKi5?fZp;lHZuFrp7AZ!ZPgs<6cV2LVb%@m+U&1X6x`THt7%kV7!$m{b za5T7o(c$fS$aiSCSXH7O;$gBgb5%uoHcRzG2s8E;CVuwBNH7a;?&Hko_8dT2$Py25d<4#PrO0TUZPU(f z0ZI%uC&N-DO`Y}ZbX204)%UCZ#R7RvN{B*N0odF1z519<0m0l)!-?yG4K3IP4L{86w6!fJso50&Asx^ zGhUOJrksmE_d4F6MeBK4Y#6uS0IKl9lSl0DlwAnf=LeNnEU(5Do_hehqD4w0O2NpP z{32U8K*>mnd;HkNa&T6@r1a=TjYmgIX?y-6rlfRr^x|s6@N#L}c*`fp7UiW@e_vJv zhmM=SK3iIXbs}FIpUN18+p|w?2Ds0i*GU8$YmRR#YpV30*T?$AwoG<>B&DQF7=msE zU`J-mSYsN{CKd{>!IlpJP{R7*Iwc&kN9I2$=FYy*xfJU^=@Wl{MO?+l7Vh6ddIJR4P1|txFs%G2rM0g&W}}Cn9j!ej;v@sdho;H1c*n(3IpY%*^z#vn?x@bUT!O-gR+>;qAO;n9 zB_K~L9jUXtZ__IkmIE@%2i5F(!p^hK>w<1sMQ+I&P8{@=4|cuvE0%5wxVs>QLdln6 zztBEIc9@NP`?jPOSGqEve)>&JB2LrYITLE2>pO8T`0@+9jV~qIrNBI?k?rf57w-{R z$Jq2WrM^!EJ2c|ZSE1eX9rV{T?K!!xq&&DbNs1pU@*{X9|4cL%8h+(dO7f|8PBK&1 zmE8jRf-gQepWpiR$TEOI-8NQk(kJT{Ww8!) zvt#DMb=4FX<^>s!b-6B?M~tOv2vr*eD6j(EPd3sBlD68h<_2=nKjTkt2Ht1Usp+rx zM5`(%3eq;qv*0lvlH-50*gSmFKAAIP>8OSZ6aH9 zATei@bnAFF^!QXRUGV*F*s23W^BuJuCo1Pup!WTd@t=Y65G%GVi2 zX;nXW&nfY*^M)#QYppoMf;*oXJTy<(nxrIcymM0EulPN3Qi4edwbzg2JBO4*{WOxUX`>^& ze>26_+~H#6au7$h$^Tne=Pi^JTWc2{^KDEL>wB$7?iv?})QK?Zfe|fu_0R5&Q{l@S) z{1u`sRmKnHB>;spc>?#OShcDA8Oo@ssKWnw&2zZgrS*;cGoYZArW9)(dSZO*IPl^8 zp|+nl!`OkN#SwOB0vHgbmnP5RKLb}b)9<-bVm24~ zxByib>dR_$DK^z$6{)W9&#(f_kx`lVpUHo~4<%Ou8+kvhbqWw4n|BS7zx`53xg7X_ z#=oUSA>;Saotbno0X~?JKuWY%p*cp8x>xm$Tw&ZDXT||37OV#QUomzdH);X8;;*1T zUA6^DC6X=0W9jh|ZqcBdC(PMbQd0;+KXVRRm!MmG_ZMO~=er#znsI<21dU17sDJOg zcJjk{O<++JFiHe=Vq|>rDN1gRDHr;pNKycQ(_FLzP}5e=jaXk(lBFs`D@-Rq{CTKu2va^Ip(+>vp>UbTvDJm`M#Ca#5_`)sbkjVS%uM>8Pdr=}7P zK!tA_2?Y@{s$BI-Ipp}%zJ@AT2kgpYf0>81+F*y~q*h{8C6#z#kxp~)Lb2g*8vXji z&=jX43vx(c>XW!#UjUGmM*1}YPwE8j2|W-`DU1Wg*wSON6NA4AZs;oE%-xfdekh3= zVMv#?*K{UTyUWaX&aHF!4Ht)*c$QXb>qScmSIeE## zJuO;bqtyyt6I=5dPC4sjOTJ3^PwS0W%JFT6zO1y*#YSNA@%Sj*2I_dy#GaUosDgU_ z0w(6?ow+#*$wZohK6}%!R%;t7sO*ec7WIS&M5fEbSh4cP%V!C2S5zm z_t)xE`__9A>122^V@C3{0q)YuiQ;L5l%M3CzyCTE zTJu>CEc!9sIX5&~iqF9UyqY9h-UO<*GKo>y9Fe%1-e-&`I=+Dw@BFa@J=<{Ss=D&J z-IrE!FZt&=neiy((Id_es}8wLnF!(n|MnyC?Q zh;KEjNE%O#qK@gQ%Rdm>l)ux&*D$WLm>>`h<9Py*YDxw#wNt{j4DO|@q|DBO#>an> zkjXz7Z(J1f2Bqe8pf{prQ9)u?H2>~P>OVt-Uy~Hs-UrS>TO!Ym@5rRGF5}DP$~7Q% z6-eODAbrB0M#%g5uq$)~jDo;h<$4Vt2@(>a_4&18=pEqR-N}x?y@}m46W|%vWn7mj zhdiRMP5&=`F=43OA|iUda5Q0=8sH-UB>llg1y zXzfD@vq9=@mGUZs_G7%$o?-~#P^r=5J+Abmk(E$EI7m)QiCl{xVf(!ry`?{w7;eN%Q7OS%-C6u7dm(XLRGuD6pTLH z_&=ZwTiiDP@md4KTVxs`e2qS(h_d)!VIAo7ixFSoun`bYPi?()w7w?tN8ho0<}*{N z*{|O}Ia}Hd-o31$8xK=E>`Mh&;2A+y` z+Z815uOR=T6hLJ&^{_a3G{B7x&6_daVoSEn0ut#d&%;Lx2q-CSAV{mEqzM87l1Foj(w%bD zfejLZ0+K2vcf=vxX8@uC5=X~L%F!K1Jo`DmzyJHkS91H=*{PkK-JO}$KKIvmmD%~q zAK*f&>3C|9ZrF$VLJ@;*r8`XPatI#j2@RTP&Qo_B5TYtxj|FJ&FuVbD8)^n>ozy?qlMQaz#Ac^(9in<8yY!wX%B=2K`pp)EPwm39 zJ{aLrDCfDkL1LL!w2#hg35|qq3QfU>IEy$nSTI#GK6I50_xg_oUy{x_dj_Cl(MOt; zx|)oz>4R(Wa5$;nc6ifUi=^%v)5z<(J(x1ix5Yx|V8F!c`Zkg!Q~y7imHlv;5MH&Y zj@N(>(snI@sqi$8Ia)90wI2*DnoM8JjT5N1%G6QqQAgfZb%u)C_Cv6i-0NzHbC(1m z^5JDJzGBg3Nq5*!xplt|MzET}oJ#oM%@pYRS;*^8q97ua*x5(uVOvTR*_txM=wh}&8~q=otecFk>a-I&Aj;D<&f2#g?3uLGxYW%X7~fo z-T#)JpDXNhlWM@2(x%B^d88L;_GlG9?SE&&b${3x^Lm$k$*Nvs+BFPG6s9dgfz@1L{F__I!)ZV0p`eZ3m>AWpL z;T4^fvcu>OqyvS&ITOs1F;RRd>3S25Q#(xy`a#K++Dl7+bvk=}@Iln674J_HbF{D4tph9Kg z0MPFpn9gaD8dpOWi3I53$UOuKWf)!7GK%ASzfzi>%btO8QPfssZu2i2J6dxlY4IfK zYR4|I=zKUKX+~p(Kgc7mYHwBlG>l2eKBdi|De#*ji zeM<}ckY6Y&2^*(lz>0Yl2K&9!bNEjFSg9AJQL){pz{tDd7t7okql8TI zO3zs^sIYS1{Ge2dg(@%!<%6Uuv3nGlr7rf{f;0`3za7M!Ih#+-t|PRhZ0iRO{VnY9c(0t2O(W| zlLs2M4r`S1PAHodia~V*G0Xuj`U0JY!NI*_%KuPGzVj~wCk70UL`=2*t6?sdpU8; zlX4#g8MMwZJu8#UuDr1;noSee#Z&qG^gd^o=4sW3{9)7b3rn+mub#$bjEpVBUB4q@ z`-Y&7a{2Leu&mkb{5X?}O z))K?Z>PZ*4@K1p{D$9RMUbw*OOe%c|fPUzFKw$kvOR~|Dmy|3Te%`q1p=wNjt z1ofuB$$eR+&eXGctpSd6{w&a2{hn-QjtWm`eR|Q!IJ@mkx_T?f+4Seiemtm7vQ|OL z_i=fb+~E=PxHsQTErKMSk|L_g8md_@_oCGhY*uNJm`W&l09%I&rqwX9d%i?j>M}wp zsxipi#l*o`tW^0hF4SgsOZ&FSEsw$;y3F@A>H0hVoSY@JHW4!-W)>TCuC=G9MWIZ- z$5VbdF|?ra9!3AB=7l(7V(;_y7B%+b-a6G|vpb!Z;u~Kq|LL!weUu9ubPe#VDwn=c zh3t9OUmh?329k%pgUYn4vEi*j|t$Bs;7xs&JBH`&njR0NalG#^>&S%)_RbRkQ zaVyfR8T8S)MkL+xCM7GTa=CA&)GATD`mdXyW#=Ehm~)UsJH zyTV(VomN?cs~1`Nsf%Mr-NC$wo`v@)``^aNxC~s*KkVwDWH9@6#*L?b%8(}J;{pF& z%25;0$(!}J7FOszYGdf18x&w;H?Q%#|1U<)HI>Iz+ZW}W%@lrvk|%?LPvB3HaXA-l zIVs}3znt20%2KMq5bcOU%0ZCDY8YS;vdwi-R_?g&ckJE@3w16{`2zl!-0_bGg6cHM z+&vY&);))@Ag<-^5Fm%g(s;~M2Iu!lvmeWj^=EVq>cCaxi2a87GdKq+VO{PHSp>Z1 ze=0%^-S}j;M9%YC;CSv8(g$~7!Yhr_?BdmGCF?~0$tI*Geu;rMmr0u3r^Uh%q_yx{ z;R`O32ghrd=;t)cLX;#PogZfHtbkUnGKGtBpB5~`gCYh^%k}Ki=2CPg%W4Zz`@+j1 zA+oQPtW0u$fAnf(ae5C7)n8M(ijj!wNpMygUlu~j{i3j_b(;+YA<^vJqa5qgEOdKm z`7hwg^2~dHHdtm=b$=O^->^rNBPhUv0bKj|kQbIQKe)}lO%(luUF#a_3-jALtln2b z&gE!XWU90Zj~iCKRG~3vN+dL9foTzZ5lI5Kg6kI)PAd2-79FPMACu)w);DCFdwyWBpC{C5SA;l15t5f!Xn3A=J{92?Er?}gbv;!-0x3hc zPJY0=r|1nI+IQ4fcT;(y;OZ|%E%NX4#z{Z4Xkq?$5;236*D=vrj^<%B14aRwOEu0E zjd=}}y*_gT68Z8@V%bs7r!2vibcH%E{Y9jBj@oYHdH~(}IfS#DWtR4NMTswwYMjN3TG)_v zf5>K~*To#f@JrE6_f*Ik?suuh3CwqI6ZtzWMK%VE2@<=dR5i!@KLJytF7)UIu>)zQ z!>Xc+BmsP7r83{E+dWqf=XV)q7S$f4>e}FlDHM3N{_|g9yz^!LZ9e=WD)dQ|H%l~i z*oc&($;O!=orsW+mC#;}ZIu~u9v{tr0CR=Uao#TJ%8hGBBV6SKyShJCYA`G#5tkB% zb|mQ3UgR+`r&E)Js%j#}@g1zL-1VxUd&-+e%0+~?-E%xBg0?XiEhVR+biC_4+bOst z%9m1zi>>!UDq~vnHkTs^tY_@cIrxFriEt9lGYjlQ9O&}1tb{1yMhaP*MDu< z7Dnn5GfQ75yDt;EC=?Irv_=Ko1!n0*K6Txj|zfr)nQ&6anjR`agqKN zDBF|0+m`c>DuX_lqDru;C`4Mz&`n9xq=6e8Fhg$f@2q66jSmC~9z;gNnS6#{Lt8cv zL87LX;Q%tHMdz!bBf%UOZ~U}rfn@$c6c8>X*Y>+>A_sCXfE$MX`fY)#N4g zax$8spFpr4Vb}Y~9%Xh+`!<3ed-n1R+El2as`39CbO*QE8@jSVS7RFeGayMfUN*6P z8~EtLO%TXoII>O)&;rKckxQrS{R)mI9)XJ)lfR=~6O!Ky!O^~!b4vR*Vf4tAhq{;} zRTLyZ3`l&ousKU|cW7_`aFEp?oUvsgRQ+O?UqEfm7h;(f>2*GQ0K0BO6X4EP9Mc8a zwLp*I4`|LeRcrs~fLZBMe>bYj!PbF@lO=kvuFwPUU6AjWm|E|4DLKK?k(6AV!_ z)!t7xv&*WyJ8SFS?_Oo zAxMb;6f+r=JK^=_5wI@DA=c#1&|sHhF6}u;O6USwcMtUnsQjr=bj4~i#A;CaAY07O z|IXTVBZ#4qrUGn_7(V>>GdPWi?+65zJzh2iFhLt)LQZ>(6D`){!3k*a4?ktVUI5x` zXrT=QTgt5elb3%wx0w!#1P)3RA@Sy{RxcDiCJ$SrM=@6cB*_CIn{S01JR|l5Vw0zG z*^&pt@AqdQ-oGu9Rvi^R669?kl;lvX$BW}1!6^!8N~El;6kG!P5HP%9a=K3J4DinH zLhN-`s8|YMB1=+KJ5Yjf{75&^(56fvS>UM0i`C;2|5MVrJ0~+}=TH6Dphw{%2Q(Zi znT+V$xtId3{H}dT0=01@ z*ljG;a+2EqHpjxy4II@Z<#OBP^_hpbTZMaRfSJ#}Nvux79Pe5w)eymF-=R^vtybt!psO2oPe zcQ$k4Tu_2>dCo-x%_a%k1K$XYfLt*NjpJoDf{89W4W<#?^zu4bOW@vbKd0srGAmEK z-a9240E6biqfwnpQiFk##r!n&47&BdDdmNW#e*+apWZMaSRrODLfvQl`8^-xSZ38^ zCurMc`ygLsW^kn&vsI{h3fnaX!a<3{-$hkzEfjex|5#odWCr@4ZCbjY3GRBHyyV38 zuF6zuFIQ8G2kq_6vALQ~RX{hGoMS>;97&W$5v8(UKtfRcZ|V%j;J3kFO3FDtx1Z+v zCac)BG-Q{R6IbCh7Axnkq^guJ{D9Mw!mjb&5>-a`%%-iS^U}0hCEmB=!?raaSK6(F zKe3divkroZgbxC4!C8@R;2g`aP)cNrGQ#izkvvTfW(sON1AQi;Xu zPr9o94K2(xbUz$kKaqWFX!2s%<_&Kt1Kk1JMFe+s@%9EmLbr2?(zK-)7tq%=N=fAAb@A?^)0z0VdEI;V zhk#uvylEP*SRY+7_8!y9IE%lh8rd|mRG8l;TpPPrt0)6*Xo|*Y3jBE+|8=%2qn)8V z?2s+$$dZ0_Y6qvt8U{0dkxQFOZRtbSxXln}OZ;txik2IUXUgH@`Z9xu0xrY8?yfe` z-xeo-J&W0x-h0$$UgT6+`)S%g^^?!}uRGv|&r6O2YcrOWo@s&y#TMds7ab!@lB1qG z_;F!jHrJQV_6mk`hq&6ZC1u#~u!P);E)FUARprEy?Pj;?oEG}K-{YrpIFobxYUV

4%6GUN!lH55Ec$; zkQG2S^VkO2$F2;tUJ8_Brt98k+Sx>@EIC!yi@jgSz4CJ0qa*-ahTYYrDbNinE3HEN z13Y^IY{HjIJ~EiWGM73xFC$ubE<28>5@o-no+O?Db=wS_Qw`wUR0j{QZ+V!Ye2twX){Cue z)?N$Pm5KDF!Y8myBOP<9suz_C<7xNUM z&nTMZp8^ZgR22oHE!oju-!#DA2!v(*a;Z^e*@-Q*M{@66F0|WmProLcOEc-Lj#GPm zt>=-?DW4?pp1@HoKv3|);2`7yI9<*-RwkX?{P6X)^$TN^?z5}q?#1a&r!uW!2|>`!rgKX8#;U+VUEvY;;4Mb4 zTA7*KyM#Jru&{#g>fZPJHsM z5$nN*vEz@d9-NRH{9v77%N(57ei|~C*miR+Ot|_j+D^N)&IuQND*1fz7d6^5l`P}M z&&m?N_zZs7uPG6x2(FJQ<4LlC3+@>rq*MnD*u#>tz{M!#t}2!ImuC7zU#AHplQO6Z zh=tYd#d9`X{Mq+XE>bZPehOTP`E=#iljAGL3(8cNe{ZTwJ?U+$w;ii_xo9*K^Gvq( zvm^TJsA|JBoxP8h1#(`=jOSP04;isOU#8`Z6cCRk;Uc-BgP2@`%47{T2+ z1YEOhdS#Z5nt!>XAgT~KX?E9#^Pv+%_R!EoR#RNB;LKJri<4H;O7GNuYXSWu6hM}1 z*dvku!h!r!Z1l$!q7TK~2kNjpp2&zwk^XbYAZYP(H$vS4Z(4AJS@a2j-3XfWTo^bt zTb;Ag*(b6sqqlTv8o4^yXe(!?v86D!jceEj+R@R9 z(m=v}iOmXNh5+ytUtDt@hYHc2QhWhfNMh>sl<|R$tmJ zP|davEE|0B6TIeJEb`_P4pNzMMJn#N}EAPPfZUjk9s+3vzBvDDQ&()u+I ztb9iM?}ioXgp_XIfPg)W<*Nj&hzqsiS>sb|&GbXWdJR$c^%_2P&nBgM*dU~$p_rAu ztsPe=Y{VL@LYB|-f{6sPg^?5qJ>cNWwP{RlB(Qo~cqZmLYg5diLUFHMPe>VM&BSvO5Y$SB9BTtHjFLt`rQ3I0b3H7kHYto8O;3PLAK^TLC7);GT5zh(9lsu zNx94kcK}STm82QP9z01}pC%^%60`s!=h(5Fus%)NPK$-E374ea#QUt^^yaNUO~&9s zizJTSu^e6PWtXIp$<+Ez%?p{HRjUc6y+EUcYN!U-dq!k#ZVxg#>p(WlCKpCmDR>BW zWWBAxG}%*NG^PgNW6wBCQ*87k z;FCDCZ9pPfv0kJV>7e?%(SO_u{{{Vk#~Z75ZRGfcW?HRuj8?YrG>4%pB!S`gwSD3~ zgtHLuLWI=i?a@37?<;M52m8+KKt-M(}%D59v7Ab0QNR(;TeZDjNn z;fKfU5jl@h=|hKA3>F+*Z!N;INfBT5Bi6H>hq@KlYYe|Ky6AjZsd^uxPS>w+`2~-g zNo+CGmr$SwP8ayP8p2>zDu7IM-(|j$b|s^Yt{H8*nX#cf`GcGmp(n8$dAfy<+fdKB zYa@e0tt2+EB28oe_@S7t2z!KEch*SlF1`rR+G`#aOf;tqWlzhQ{pf%wN4eCNg(>e` z*CIB85Q6%g65Zlo*Y$GKLy)ijx<8+Mg;KP&pH~=n9_RE43sAmMY%Y`q;^VGsQMQ9i zVZRe#eXi83<=Vo4z;mI(QsB|s0FU0O<{vo43MxCyNV$Bh>vfJ-o5${Oub*nOSI2_K z5b^H{j-feJCRFZ1_txNoI$uv{w_m9G*56q~G#3a{w2SpuA1a3O3Ch|>uU=Y2Li!&i zg|HsZS*UH*sr@7{tFAMVk^n%eZ=GrhDQt9ekyQKE@A1QAy}{VAak$Gp%;4(KV}ej* zqrvwv%?W_zu4$})ED>G{rh|n8@Pp}+2u<&Lg+HS^iCMH z%F2LPuVL2PrKF(-WPkEU$Fk{#0NgrHsjGo=(7osd=J=2cp_(GJ4xJV~);MjfNyL=( zV4d`r-=SsD9f((T`mmsiveFOO3*ez0SLx3g5!|YFQ?)?qI$8O+>$=$t*-30gA}@c6 zy75D%s2S-K`nj1e%*45`DYr%bsnxK~dILy;Jq^yUX9e6s-wV1y=X6#XS1(QPJSRvz zJ`IAjXf8JDr1nwykoqeG#P{oDi*`~|2KVm9mZZI%dE}8zqPt-&Sg<5s9_XU$#{6+9 zE=-e!@Mb~-Q;K>^$Wa}vy%HD$s!SQO)jhrcyVTY*@!H)03Ks?M*Ukl-i?sd=MzuVa z;O+vwS!K_i9qsJA)vDU;Eq=z$TAz92uGHzmKoa$S{mp-O2z!P>3hO0>*S0Fz8}stO zJv)mZ2bQ(&%9qblZjw5lh_?$sF`T}J-d<#s!bM#!i~=sTQL9dw#B5h@@T${OG<=uT z)ju61R~e!kyD~g9*Y;7$hOXejyuyM`!+XK4Dv2OKd4Fl(`t1E;jlhb6t&cxHBhRTzF+o^I9HZYwq7^ zViBA|{7WdkzdqJ3!j0869_YLI`X-ls9}YR1mwN-x(B8mSFiWXRIvHC2zycMpadQ*I8~jW}E6>DWEu zTfTz0RF4@m8EenCo1pEFx)2JNW@x|M#i~;Dlckn^)bzZf`jOB%;7ad;@M_i8T^@CFr~4_P8^x`AT_Pkp%r1-Co5OJ0?`@Os)Rw4i82D&Z zQb%QGn_ajAD@Fuc=UlB{xF8DKb|$;8(@%86<88YvayMZvEV!6n{T_GeeF< zN9Ze5S%Z!{+sf#d-)v5-oqa6(hXHB(9dk>KAA3vS@XndcvxmY1z0rsGWS9jG4y|71k%iktZ7{Vq(I-WGf zLIovA2sxder!Ej)x~hNF##GCVyY78Rg5ptynBGMFQ2yic@iC-jHx_S4%AAgY6r$_u zm6!KLYHW`vNDfIIUTP3b=7ty_{+VNEwVqy4jx0sl0(qFg*{#|}vQWZ(S(HfEfd zcNmGP!~mScyJntSx+_R4{~zKBMn6Ip@VFRAU_6fcIf~KC(PZVzzSl|VF0@q|2E{jL ze^_={joF9?v8}+%ic@?wesu){iCmU_RHMXaMEnTv;|+R?w$haLkd`@JaHUYWKKdmC z#PfkpJife?EU!s@hn!?^t5mDZo9+nY5ijEQC7ZaJ!8QYQ`^2YJk`UtcUxW3{MYt^+ zxM<0~C&N_rv@S~(%C!JG_$lL#7h-#fjKdqfGfR$e3T0?m@U}tcOlt@+2PaG>N!yZ2 z{D<;z?2&fRw(%h@Rjcp6CCjONDL$Zz5%unf-fOG0k==CU8P;_-h`C8`i{rlrZ|-Wr z5GN3T7XQqeu`01{V&Crwy}Nujy-siYkq4sp$m-u&x-5yE~KL3?^ukpX(e^Z&pky|WZmNfPcm;r2WfHplLsp-kc6`1GvfpP zY#mJ-W9@kAkClMNL zE~3oy4MLFUdA>!7`uB!`U{KHpJ;YA1@DAG^+-y9rW%%t5MbVih?92qSC1}f_Ev=EV9O361yy+jBRM<_S)U-g1*WkPVXy|!UZdVA(avTWF;uO6#q@4rk& z`FR`I_Ve#Z9~sI0RpUsi%1p8;7bbjTS6;jEU&Hdb$N{(|SyXITZftVhjYE(T0OXwS zOfurb?i)jY$kHEPFEI)un|PsoZHL#SY8I*?@?w&3G3h>MZ^scdlL0|9-Nl(uB?tvH zPV<8OJ$}9;ioUXl+S|I3Ib(ugM9>G)g@KTKFpksbpQXimka39@TQ`U_H|t=6{x784 zd}T6p;WDBYB0K-OB@9@&-7%`denr5~t|xq;YQUxp#2-V!y3G3y;M9W*th##$xe7V(V4N~FCVc;> z@!?qRKMWMXDWt`){s<%zwERzFTEZv4nozcrh0jAUV$Wk0;3o^knS$#zDeo65{XQrX zpDo;fyef0}S`~BgJm7z}*_60_mC!B znPH2{#|{7i)nV&n$8kh@vS6tAZ*-b(Z;|zuM|BPL{KtML#>lcxG` z=OWe)5}52UdD_J@0jC$gh&KW}@*DNC6;Zq4(AZ9>x@RBRR`QSVu<>byf6>FW;dUVf z={gPaBXQc3awQq3peoN=H;CfwbRY*2BAn+cDWO;+8D%>ju?U*bz1`vX$%AQ-)CfAl zNCA=O?zfN?qH8&s*-C5CL5*^r6N19@x$Od{ukCG{tgE13Nm#x-%1KEB#ZQ(EL+vH;lF0I^8#ezsHPd& z>28jJ_+@}&2`H@AnjRB{$|q~M>;>iz|1@om-FXSU@$hT}ejz5U{>V8<@sRgatv=j7 zwww*g+=<c&aIx&TN zMef)W90f}IPm_sv&M?OTZjNgcM9G4hteCfcTVs=*4$SWGV^Q17W4buzDxbh;D|el&rz3gWNy}jVzE6%HDN@?a}D- zgE#}G3T{uj>TjR<9vMRFCWN2=#ZD)yPWCkOF*8(vm5IN?-$A6r8z*Fe$3K$d$N~M% z1sz7dHfoR$BBZrndES$y`mhpI&xEFW*I=8lbpL=kiEz}h$HBpX52qpuDIdrj3>|DJBdC2eJh~oBQj|%mFI>E6c0SZ~GlMT4;UMxWznG9JiO@sBNB4OL_ zK&71sAx}RhtPPN5mr@l7e9uOAZfpP<8{%)U3I_O^Qb|Wb%9Bl>%wToZ3$gly%wPP_ z^WZm9uVV)T-|~RQFRS_>epZn3NJT=tS#Rad^i7I$fPGE=4l|W$Jjtt)DwVA0#7xc| zN9(*7e$Hf`7e01F)wb?ezQvVZ?*@|`kB}h$49FCwxJY?2f-?Jul>uW0DH&5C zEseEA3`6{d_!E>j<4QOTuFIJD9zUgcvWdp?ihPUwmoslp5KhfhrTz)N&L(uJ;!*|M zt1qWsFwrBPockr)in?_Y5gB)t{mh3^`LJQ-nSlU@fbyF?6_`JJXi zie`{Yq?$1IURfAy?prQ#LRYT8xFdxYhTy1z`vqn_su9zar-IG9g$?%9AvMeIjVi)m zm~Y)Fk)Mi9DpM7hVYrlyI?m@6f@&UoFcg03t!`7#n1cNS3K(`q<#SDulOxG`CYlO{ z-JLh8FV26tF&#JogB6GdxX2dDE2Nmkrb94@eh>U?jM(OGtu<4?%-CYwOPY~?>%3qv z(?&r@q~G#0;!AQ1ezRDu2Oy&JtO6i)k_A)b#%`Vj-y$P|-Vo7k!+=_v>@Y+u(%z`V zFVt_C3?!XP4sSFgSHVgN!#>{+HR{}Gb?zp&M2jdiUy?{yeAET~*;^EX4v?2C8LghO zgTdze_j&A2$;06a%`z|;mWzMTETp{WJ93}gvy2TBmExS|(9TN-L+mRS)nM~a1a*>| zva@(gixQo4;lIgkS8^^j-t)1`_|`oQG2){uy4~5?X8)mvGz|88{9g1G=IJXi*qw@W z-rWP|LvuC?Sb>ke%gW941c-4LYx^o6d9VG2=zrgQyddZ7f=e{FIS|+Dnqx2o&6@T( z76(*^A{8jqg_8Z)?W!RNgD z3;M2K@;O}4!`Y_3bTFXzCiEqXhmz^;E^)?QmkQ>&#%GZ}07M)%!EO&E@*(24MY4&#;>JDeiO&E zK+H6o*(@IIG|mjpshNNp%}(0%8w=T3t3uNVr{s5aqlhyV9*_YIDE@QJGVSF?HiXRF z?_5rO-aSLVuW8|+*SidS&-a>&-Bxnj_go?s(DM$HfMjyNL1{U;k|Infcz_3n;|Xx| z(=b{i4ih&^g(+bOlkIAaHD@sG7)x_0V7=&X7#TohCfXf5&jx1K+dKui68BFTszA7i z=xW`KmE38(2s+CiVjy~b0xzfgbc$>b%*11g)w+%Cg0pMzWK!?~w$`1-h=V?|o}lpa z?s#~La}@FqGWiFZlDiPp4BcA&@i*G`7$U1I9*setv(*-HjHlt$U0;8%mWt zffC@Hy`4Aeb1lXt1Fs#2q3Q|QM2zm!89E+KTQJXm$CfL`6XdwHU_h$AEyPk?ntw|3 z9r`fX2~Vw?*NioJ^Nvx#TsyigRoJH$ph<&6dJQ!j^yxhP$AxAikAG9T$lbArQNg(5 z9WXesxwgO2l23GW3!=~@2wyYN&3v0aV-YLs{dF>am7B!}b@__*1;{<{H>#T7xIQai zt*Q(;Np9YfHmi_-O8zdAz0Jz2Q+l*_(^;~YSENnQA`S?h4VC97%5k= zV0Dubhy%EyNA7m*_%69UeV!~zsJBvsQeHmnzPK-7Ipyp6CUAjk4^2MtmAQjW@ivH-pc;a)Sb9qFS|U-z~Q* z1DfQQob(4!b$#>iZ=P9)Av^g(@lmh-t&xjUb4Lj8Q?dW z_5sWkQYF4gvc0y3Lvk%w`Hv%Z`*_55FFO1`Hut?GlxD&e~iRb7`9&)?aOhVUf4iEG|Cq(Ie5oP^ydX ziR-!JK|UMsD>)}%{?qjM%G9ECE@PHVNM;38`UMR`#xKGOk;{M%#MBim(l4r1Xv~OT z)!_oLJNjVC4;#nX!uOGO4Ro-A01=a!vPUUPKA$%P0OnpK(?^nL%ht+thX)un$7Ye+G zoXrdKn#7QN%pV9vicq4$2J`mvH=mhmV=jHofEG{WB(c zkfv2kyl-Y0FLbc3wx<9qz&PF&X8M`VB=Z;g9{6}`(_=^Fby&WDGC;Do{2QjPEZ9BE z$d>|!NFUm~nb(H5#0&xCP<}I__&!UOD_a3R-co>HO`-TGw0Md;UjtkfGpJ|>-feAQ zLkCoDU;n9z32INK2f)89TJ7sbDV%gL$@>jJ$T^J>Y48tq`_gpK4l_+`Kqg#!H~p?f z4Jq2#@T))wyduF5d&U`sJuorp5Z|%8dW-=tN&Fs%xot# zd-rCP^poI=YaA57q)qzcQ_;LB?$@P0h2{=k1eBO&48g;C$K@vWhvIqx8izDCnbbB~@?Qqu!w|qxQ_b2n?PmJ9fftmu@uNfRUnx{7ZsJlr z2=E(+#0HD`WHWTCxz@LIb)VR`s;vwbjHPBPOd&6PX3F;(fbq0CXhT7Aw9e}8ez09R zC(NZ|MKaUJ&ue3^+4MRfm1DLOKOiapS)v@H!ktPnB-wuw7ulK>jjMFb#iUH3m8n17h*}-55 znxd6*y_Ej;J{~PDvaufVZ?=LBSG80GyKE<6GFxBW0ADceh7+YN_%=!V!~mW=Zc41T z%BNk=sA!CbaYsAKAAG^Tt$+`*tP|aJ-}p*=&+S8Tck9#W$hgmX6JCeM@*4&4t=>L2 zb*Olh;CpXlSoSl_-AM%Q;qqI|3aQudaaS5FNWW=-%+IQP*fsuDnXghjC~GGL9LqOE zY0Kf!5MA)<1_^)#c0`dEBUr39aR1y~Dn6`$IYXKUm*N{sT#%G6Dk?g#)Qbdg`tzgl z2}7ah=4jqEQetZtP4-QG@xncBPk@;Qyt=!pB}#dKQ@8NNrj;oG0D2uqw3hU+O1I%x zhlGkU@wnk<;pZO}U7&-38@IG`F(I0U?y436syjZwO^Pv#7j3~N23X%48{5Ps%R2hn znq5Ks$aEAfc6{DawSH=-M7q$%oL_NY%7@z4 za0FTL0O-hE4~vP1JKt8rM)V*ZT11xiD^&qqB__0V*EFi*xh*;a@8}B1znG~*(q=Ic7)9s>$|z02TK%!<_g;D`rkgwy4SVYm)55Apbzaf zo%q~W0wmS?M(*zGZhUGUz6wS*#qOi?Oa$FlrWb373;2BSWz_&PCc`qMq-mz&7e>KY zq>YOS5IeGhBNl>%v0}(2^vV!p_}e7`{49RUGFX6QvGMh|Jsp_$GK*&Q1vOPunm;pb z(l6V}q8>7%Lo0Tlb7q#x!yQc2JI&mH3~)TYo*S=-c9M;vDy6&ch`50+in);yG~8s& zX-EEx`lm%1h;OiI&&+0~zZH30p?O|ZfvdrtD8I?~&BF~_3bZ92`@!oS(cNHqkp!j> zCjRwgH1BsG%LcJIJACnj=Hu8I)%Qrdje5?^fFkrk9dbFi6MSaYD$rHsRfnEZc;ith zFr@fZfH19?d+E`>jHE|$SP9a=FBRYdG!e}=qF8j0AlcZuhulz(HkX4bOrwZp#A1uk zvqTQOC0f&%cZT5@poJK)M3j>hMAudCKH2~`aiG6=ryBknkI!a>>b~#npBJ{jUBMiL zZDOg=dB#glJ7SS@VC~dXl$B=eEe7kFt@WQxxJN^ol2e5*_^v>_#aQ}NyVH&?(FCuI z$t;j><2X^(lxDoIv9Xh=E@)-CZ$3Q(DMM*3ym90du5O`iZVEqy&I9f+$BF(4J$Knc zHT>!r$psyt5W2+jPW&_g>)P>*c!0-XJj(XpnlAyV)Zp)Mho>%$;+IS_-FB9?nDE?q z8O%8{RWOAnHGHh82fATo6Yf}7dFlI3h0H^0e|Ni$Z+LM`m=j4C6DwQ6Ca7+t0buu^ z+bk3?NVl=>Uri;IG8Hq{d>wqKt%G4)C>0Pcu=IXXtoi z?`rBqo2A;pGvW$2B}?TKHq4CaVP#FtRAWLPcyT=guZRO=!g`}~-kD1ms*P->n!^DD zf8(!sWh7&#`OH*5BX135I+XjuzA0lIj5XWXz|sPYI2+p5>34I@=Y=ujuza8e*~H$` z>?e4K8-Ch$rug>I#s;hUBIKQ{R$we(^WV?lo$z5EB%jj63b}o|4NH7J{-9Lo>D$@l z=9ifsPNcjDseR`Ckd1NTWZ->DTswCR1FV3P7agQfp#o4q40)JZo9;IfUrENs%1`g$ zke;p^gyvV(Mwr?q!d!dtf&NBA^KXpD*jbP@Zr_EYgqdP=@i%xxc-7FmU-*MZ-bQm+ z2s+D_wLAari6|%NMQh*UH#L#HkMK9&;K^IJ{iJ+rwK|8u=fOL`qvGfNF z-ixl4ExdE3yu|RKX2YQ4gY@z#FMqo!&fl|D8l}$p_xzTK@A-olOro3TpQBme4)S^@ zs8Mp)s2E{p(lIUtW}qjYn4KQHP>#P6o!dKLDUdn3>ebI1Q?zJ4f~nEZx>ufM@?j{n3wdB9;&@${&=yc zr=X@Kv86r5Bo(ukQc;&-67ty#c^X#0$YTbBeQR!h>9$oU@W;`0|7v-M-a$JPo(mm@ zRx{f7@pIqU`OSM@Rx1p<;WhNVG z%^mI2_3`X5Q&A=fur0Aa)bP1Km)k445KQ_T--hqQNXwhLOR6@MO)caEosq8fu=9IP zY{$Q}R9*Z$<@G} zMnW-Lu};orBa8OIOG|QvX{76Rn12pDOc?P11w|P4Hjq0)fMg<4R>iSU6g}NbkH1#C zQm>#O_qhS@SYcH+wa^<|sP4a$SlMSfHWnQgq(4}B>G?d4NN8SOJBPM(Tibl$rdHWg zHdvN=c8off)ZrPLuBccKV0POPD}Btvlz-k*A)nc~AZ4()^TlAQl+)nH>N4v! zjP8&^M{&{UFK%$alnt~Fi{!7L@=9&qtjbXrENz=fG!-kH8eICBYx0mw&QxEr@MHeAT=2q)X zBoZUt)G8LVix>xhW|2gq_h4FCWD literal 0 HcmV?d00001 diff --git a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_Apollonius_circle.scs b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_Apollonius_circle.scs index 6a5aeef74..35cbb9710 100755 --- a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_Apollonius_circle.scs +++ b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_Apollonius_circle.scs @@ -2,15 +2,20 @@ d_concept_Apollonius_circle <- definition;; d_concept_Apollonius_circle -> rrel_key_sc_element: concept_Apollonius_circle;; -d_concept_Apollonius_circle => nrel_main_idtf: [Опр.(окружность Аполлония] (*<-lang_ru;;*);; -d_concept_Apollonius_circle => nrel_main_idtf: [Def.(Apollonius circle)] (*<-lang_en;;*);; +d_concept_Apollonius_circle => nrel_main_idtf: + [Опр.(окружность Аполлония)] + (*<-lang_ru;;*); + [Def.(Apollonius circle)] + (*<-lang_en;;*);; d_concept_Apollonius_circle <= nrel_sc_text_translation: ... (* -> rrel_example: [Окружность Аполлония - геометрическая фигура, состоящая из точек плоскости, отношение расстояний от которых до двух заданных точек — величина постоянная, не равная единице.] - (*<-lang_ru;;*);; + (*<-lang_ru;;*); + [The Apollonius circle is a geometric figure consisting of points on a plane, the ratio of the distances from which to two given points is a constant value, not equal to unity.] + (*<-lang_en;;*);; *);; d_concept_Apollonius_circle <= nrel_using_constants: diff --git a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_Morley_triangle.scs b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_Morley_triangle.scs index aac53a13f..7e0660eaf 100755 --- a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_Morley_triangle.scs +++ b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_Morley_triangle.scs @@ -2,14 +2,20 @@ d_concept_Morley_triangle <- definition;; d_concept_Morley_triangle -> rrel_key_sc_element: concept_Morley_triangle;; -d_concept_Morley_triangle => nrel_main_idtf: [Опр.(треугольник Морлея)] (*<-lang_ru;;*);; -d_concept_Morley_triangle => nrel_main_idtf: [Def.(Morley's triangles)] (*<-lang_en;;*);; +d_concept_Morley_triangle => nrel_main_idtf: + [Опр.(треугольник Морлея)] + (*<-lang_ru;;*); + [Def.(Morley's triangles)] + (*<-lang_en;;*);; d_concept_Morley_triangle <= nrel_sc_text_translation: ... (* -> rrel_example: - [Треугольник Морлея - это равносторонний треугольник, вершинами которого являются точки пересечения смежных триссектрис углов произвольного треугольника.] (*<-lang_ru;;*);; + [Треугольник Морлея - это равносторонний треугольник, вершинами которого являются точки пересечения смежных триссектрис углов произвольного треугольника.] + (*<-lang_ru;;*); + [A Morley triangle is an equilateral triangle whose vertices are the intersection points of adjacent trisectors of the angles of an arbitrary triangle.] + (*<-lang_en;;*);; *);; d_concept_Morley_triangle <= nrel_using_constants: diff --git a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_Napoleon_triangle.scs b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_Napoleon_triangle.scs index 9da1087bd..7f7bbddc0 100755 --- a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_Napoleon_triangle.scs +++ b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_Napoleon_triangle.scs @@ -1,7 +1,10 @@ d_concept_Napoleon_triangle <- definition;; -d_concept_Napoleon_triangle => nrel_main_idtf: [Опр. (треугольник Наполеона)] (*<-lang_ru;;*);; -d_concept_Napoleon_triangle => nrel_main_idtf: [Def.(Napoleon triangle)] (*<-lang_en;;*);; +d_concept_Napoleon_triangle => nrel_main_idtf: + [Опр. (треугольник Наполеона)] + (*<-lang_ru;;*); + [Def.(Napoleon triangle)] + (*<-lang_en;;*);; d_concept_Napoleon_triangle -> rrel_key_sc_element: concept_Napoleon_triangle;; @@ -10,7 +13,9 @@ d_concept_Napoleon_triangle <= nrel_sc_text_translation: (* -> rrel_example: [Если на сторонах произвольного треугольника внешним образом построить равносторонние треугольники, то их центры являются вершинами равностороннего внешнего треугольника Наполеона.] - (*<-lang_ru;;*);; + (*<-lang_ru;;*); + [If equilateral triangles are constructed externally on the sides of an arbitrary triangle, then their centers are the vertices of Napoleon's equilateral external triangle.] + (*<-lang_en;;*);; *);; d_concept_Napoleon_triangle <= nrel_using_constants: diff --git a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_acute_angle.scs b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_acute_angle.scs index 93467f11d..393629248 100755 --- a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_acute_angle.scs +++ b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_acute_angle.scs @@ -1,6 +1,10 @@ d_concept_acute_angle <- definition;; -d_concept_acute_angle => nrel_main_idtf: [Опр.(острый угол)] (* <- lang_ru;; *);; +d_concept_acute_angle => nrel_main_idtf: + [Опр.(острый угол)] + (* <- lang_ru;; *); + [Def.(acute angle)] + (* <- lang_en;; *);; d_concept_acute_angle -> rrel_key_sc_element: concept_acute_angle;; @@ -8,7 +12,10 @@ d_concept_acute_angle <= nrel_sc_text_translation: ... (* -> rrel_example: - [Острый угол - угол, меньший прямого угла (то есть больший 0, но меньший 90 градусов).] (* <- lang_ru;; *);; + [Острый угол - угол, меньший прямого угла (то есть больший 0, но меньший 90 градусов).] + (* <- lang_ru;; *); + [An acute angle is an angle less than a right angle (greater than 0, but less than 90 degrees).] + (* <- lang_en;; *);; *);; d_concept_acute_angle <= nrel_using_constants: diff --git a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_acute_angled_triangle.scs b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_acute_angled_triangle.scs index 28f175082..2708d1c5c 100755 --- a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_acute_angled_triangle.scs +++ b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_acute_angled_triangle.scs @@ -1,7 +1,10 @@ d_concept_acute_angled_triangle <- definition;; -d_concept_acute_angled_triangle => nrel_main_idtf: [Опр.(остроугольный треугольник)] (* <- lang_ru;; *);; -d_concept_acute_angled_triangle => nrel_main_idtf: [Def.(acute triangle)] (* <- lang_en;; *);; +d_concept_acute_angled_triangle => nrel_main_idtf: + [Опр.(остроугольный треугольник)] + (* <- lang_ru;; *); + [Def.(acute triangle)] + (* <- lang_en;; *);; d_concept_acute_angled_triangle -> rrel_key_sc_element: concept_acute_angled_triangle;; @@ -10,7 +13,9 @@ d_concept_acute_angled_triangle <= nrel_sc_text_translation: (* -> rrel_example: [Остроугольный треугольник – это треугольник, все внутренние углы которого являются острыми углами.] - (* <- lang_ru;; *);; + (* <- lang_ru;; *); + [Acute triangle is triangle in which each angle is acute, or less than 90 degrees.] + (* <- lang_en;; *);; *);; d_concept_acute_angled_triangle <= nrel_using_constants: diff --git a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_angle.scs b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_angle.scs index 3c7bfcd08..d0a29cc57 100755 --- a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_angle.scs +++ b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_angle.scs @@ -1,7 +1,10 @@ d_concept_angle <- definition;; -d_concept_angle => nrel_main_idtf: [Опр.(угол)] (* <- lang_ru;; *);; -d_concept_angle => nrel_main_idtf: [Def.(angle)] (* <- lang_en;; *);; +d_concept_angle => nrel_main_idtf: + [Опр.(угол)] + (* <- lang_ru;; *); + [Def.(angle)] + (* <- lang_en;; *);; d_concept_angle -> rrel_key_sc_element: concept_angle;; @@ -10,7 +13,9 @@ d_concept_angle <= nrel_sc_text_translation: (* -> rrel_example: [Угол - геометрическая фигура, состоящая из пары лучей, выходящих из общей вершины.] - (* <- lang_ru;; *);; + (* <- lang_ru;; *); + [Angle is a space between two intersecting lines or surfaces at or close to the point where they meet.] + (* <- lang_en;; *);; *);; d_concept_angle <= nrel_using_constants: diff --git a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_circle.scs b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_circle.scs index eb6f65316..005459e25 100755 --- a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_circle.scs +++ b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_circle.scs @@ -1,7 +1,10 @@ d_concept_circle <- definition;; -d_concept_circle => nrel_main_idtf: [Опр.(окружность)] (* <- lang_ru;; *);; -d_concept_circle => nrel_main_idtf: [Def.(circle)] (* <- lang_en;; *);; +d_concept_circle => nrel_main_idtf: + [Опр.(окружность)] + (* <- lang_ru;; *); + [Def.(circle)] + (* <- lang_en;; *);; d_concept_circle -> rrel_key_sc_element: concept_circle;; @@ -9,7 +12,9 @@ d_concept_circle <= nrel_sc_text_translation: ... (* -> rrel_example: - [Окружность - геометрическая фигура, состоящая из всех точек плоскости, расположенных на одинаковом расстоянии от некоторой точки, называемой центром окружности] + [Окружность - геометрическая фигура, состоящая из всех точек плоскости, расположенных на одинаковом расстоянии от некоторой точки, называемой центром окружности.] + (* <- lang_ru;; *); + [Circle is a place curve with every point equidistant from the center.] (* <- lang_ru;; *);; *);; diff --git a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_circle_arc.scs b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_circle_arc.scs index b7752c7c3..76d759b5a 100755 --- a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_circle_arc.scs +++ b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_circle_arc.scs @@ -1,7 +1,10 @@ d_concept_circle_arc <- definition;; -d_concept_circle_arc => nrel_main_idtf: [Опр.(дуга)] (* <- lang_ru;; *);; -d_concept_circle_arc => nrel_main_idtf: [Def.(circle arc)] (* <- lang_en;; *);; +d_concept_circle_arc => nrel_main_idtf: + [Опр.(дуга)] + (* <- lang_ru;; *); + [Def.(circle arc)] + (* <- lang_en;; *);; d_concept_circle_arc -> rrel_key_sc_element: concept_circle_arc;; @@ -9,8 +12,10 @@ d_concept_circle_arc <= nrel_sc_text_translation: ... (* -> rrel_example: - [Дуга окружности - часть окружности, заключённая между двумя её точками] - (* <- lang_ru;; *);; + [Дуга окружности - часть окружности, заключённая между двумя её точками.] + (* <- lang_ru;; *); + [Circular arc - part of a circle enclosed between two of its points.] + (* <- lang_en;; *);; *);; d_concept_circle_arc <= nrel_using_constants: diff --git a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_closed_half_plane.scs b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_closed_half_plane.scs index 28193c920..3b8e81240 100755 --- a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_closed_half_plane.scs +++ b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_closed_half_plane.scs @@ -1,6 +1,10 @@ d_concept_closed_half_plane <- definition;; -d_concept_closed_half_plane => nrel_main_idtf: [Опр.(закрытая полуплоскость)] (* <- lang_ru;; *);; +d_concept_closed_half_plane => nrel_main_idtf: + [Опр.(закрытая полуплоскость)] + (* <- lang_ru;; *); + [Def.(closed half plane)] + (* <- lang_en;; *);; d_concept_closed_half_plane -> rrel_key_sc_element: concept_closed_half_plane;; @@ -9,7 +13,9 @@ d_concept_closed_half_plane <= nrel_sc_text_translation: (* -> rrel_example: [Закрытая полуплоскость - полуплоскость, включающая в себя прямую, которая является ее границей.] - (* <- lang_ru;; *);; + (* <- lang_ru;; *); + [A closed half-plane is a half-plane that includes a straight line, which is its boundary.] + (* <- lang_en;; *);; *);; d_concept_closed_half_plane <= nrel_using_constants: diff --git a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_closed_polyline.scs b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_closed_polyline.scs index 9c1dec24a..1a35863d8 100755 --- a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_closed_polyline.scs +++ b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_closed_polyline.scs @@ -1,6 +1,10 @@ d_concept_closed_polyline <- definition;; -d_concept_closed_polyline => nrel_main_idtf: [Опр.(замкнутая ломаная)] (* <- lang_ru;; *);; +d_concept_closed_polyline => nrel_main_idtf: + [Опр.(замкнутая ломаная)] + (* <- lang_ru;; *); + [Def.(concept closed polyline)] + (* <- lang_en;; *);; d_concept_closed_polyline -> rrel_key_sc_element: concept_closed_polyline;; @@ -9,7 +13,9 @@ d_concept_closed_polyline <= nrel_sc_text_translation: (* -> rrel_example: [Замкнутая ломаная - ломаная, у которой совпадают концы.] - (* <- lang_ru;; *);; + (* <- lang_ru;; *); + [A closed polyline is an open polyline for which the last point is at the same position as the first point.] + (* <- lang_en;; *);; *);; d_concept_closed_polyline <= nrel_using_constants: diff --git a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_closed_ray.scs b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_closed_ray.scs index 0fe0fc9a7..74b80ac84 100755 --- a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_closed_ray.scs +++ b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_closed_ray.scs @@ -1,6 +1,10 @@ d_concept_closed_ray <- definition;; -d_concept_closed_ray => nrel_main_idtf: [Опр.(закрытый луч)] (* <- lang_ru;; *);; +d_concept_closed_ray => nrel_main_idtf: + [Опр.(закрытый луч)] + (* <- lang_ru;; *); + [Def.(closed ray)] + (* <- lang_en;; *);; d_concept_closed_ray -> rrel_key_sc_element: concept_closed_ray;; @@ -9,7 +13,9 @@ d_concept_closed_ray <= nrel_sc_text_translation: (* -> rrel_example: [Закрытый луч - луч, который содержит свою граничную точку.] - (* <- lang_ru;; *);; + (* <- lang_ru;; *); + [Closed ray is a ray that includes finit point.] + (* <- lang_en;; *);; *);; d_concept_closed_ray <= nrel_using_constants: diff --git a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_complex_polyline.scs b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_complex_polyline.scs index 8af3fe625..37aac9471 100755 --- a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_complex_polyline.scs +++ b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_complex_polyline.scs @@ -1,6 +1,10 @@ d_concept_complex_polyline <- definition;; -d_concept_complex_polyline => nrel_main_idtf: [Опр.(сложная ломаная)] (* <- lang_ru;; *);; +d_concept_complex_polyline => nrel_main_idtf: + [Опр.(сложная ломаная)] + (* <- lang_ru;; *); + [Опр.(complex polyline)] + (* <- lang_en;; *);; d_concept_complex_polyline -> rrel_key_sc_element: concept_complex_polyline;; @@ -9,7 +13,9 @@ d_concept_complex_polyline <= nrel_sc_text_translation: (* -> rrel_example: [Сложная ломаная - это ломаная с самопересечениями.] - (* <- lang_ru;; *);; + (* <- lang_ru;; *); + [A complex polyline is a polyline with self-intersections.] + (* <- lang_en;; *);; *);; d_concept_complex_polyline <= nrel_using_constants: diff --git a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_convex_polygon.scs b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_convex_polygon.scs index 1a142f77b..ca80e7bee 100755 --- a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_convex_polygon.scs +++ b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_convex_polygon.scs @@ -1,6 +1,10 @@ d_concept_convex_polygon <- definition;; -d_concept_convex_polygon => nrel_main_idtf: [Опр.(выпуклый многоугольник)] (* <- lang_ru;; *);; +d_concept_convex_polygon => nrel_main_idtf: + [Опр.(выпуклый многоугольник)] + (* <- lang_ru;; *); + [Опр.(concept convex polygon)] + (* <- lang_en;; *);; d_concept_convex_polygon -> rrel_key_sc_element: concept_convex_polygon;; @@ -9,7 +13,9 @@ d_concept_convex_polygon <= nrel_sc_text_translation: (* -> rrel_example: [Выпуклый многоугольник - многоугольник, для каждой стороны которого он расположен по одну сторону от прямой, проведённой через эту сторону.] - (* <- lang_ru;; *);; + (* <- lang_ru;; *); + [A convex polygon is any shape that has all interior angles that measure less than 180 degrees.] + (* <- lang_en;; *);; *);; d_concept_convex_polygon <= nrel_using_constants: diff --git a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_countable_set_of_points.scs b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_countable_set_of_points.scs index 845189c77..c84ce2280 100755 --- a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_countable_set_of_points.scs +++ b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_countable_set_of_points.scs @@ -1,6 +1,10 @@ d_concept_countable_set_of_points <- definition;; -d_concept_countable_set_of_points => nrel_main_idtf: [Опр.(счетное множество точек)] (* <- lang_ru;; *);; +d_concept_countable_set_of_points => nrel_main_idtf: + [Опр.(счетное множество точек)] + (* <- lang_ru;; *); + [Опр.(countable set of points)] + (* <- lang_en;; *);; d_concept_countable_set_of_points -> rrel_key_sc_element: concept_countable_set_of_points;; @@ -9,7 +13,9 @@ d_concept_countable_set_of_points <= nrel_sc_text_translation: (* -> rrel_example: [Счетное множество точек - это счетное множество, каждый элемент которого является геометрической точкой.] - (* <- lang_ru;; *);; + (* <- lang_ru;; *); + [A countable set of points is a countable set, each element of which is a geometric point.] + (* <- lang_en;; *);; *);; d_concept_countable_set_of_points <= nrel_using_constants: diff --git a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_curved_line.scs b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_curved_line.scs index 138f9085c..9e075e05c 100755 --- a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_curved_line.scs +++ b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_curved_line.scs @@ -1,6 +1,10 @@ d_concept_curved_line <- definition;; -d_concept_curved_line => nrel_main_idtf: [Опр.(кривая)] (* <- lang_ru;; *);; +d_concept_curved_line => nrel_main_idtf: + [Опр.(кривая)] + (* <- lang_ru;; *); + [Def.(curved line)] + (* <- lang_en;; *);; d_concept_curved_line -> rrel_key_sc_element: concept_curved_line;; @@ -9,7 +13,9 @@ d_concept_curved_line <= nrel_sc_text_translation: (* -> rrel_example: [Кривая - линия, для которой не существует такой прямой, все точки которой совпадали бы со всеми точками кривой.] - (* <- lang_ru;; *);; + (* <- lang_ru;; *); + [A curve is a line for which there is no such straight line, all points of which would coincide with all points of the curve.] + (* <- lang_en;; *);; *);; d_concept_curved_line <= nrel_using_constants: diff --git a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_discret_geometric_figure.scs b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_discret_geometric_figure.scs index 67331010d..c9e39d07e 100755 --- a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_discret_geometric_figure.scs +++ b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_discret_geometric_figure.scs @@ -1,6 +1,10 @@ d_concept_discret_geometric_figure <- definition;; -d_concept_discret_geometric_figure => nrel_main_idtf: [Опр.(дискретная геометрическая фигура)] (* <- lang_ru;; *);; +d_concept_discret_geometric_figure => nrel_main_idtf: + [Опр.(дискретная геометрическая фигура)] + (* <- lang_ru;; *); + [Def.(discret geometric figure)] + (* <- lang_en;; *);; d_concept_discret_geometric_figure -> rrel_key_sc_element: concept_discret_geometric_figure;; @@ -9,7 +13,9 @@ d_concept_discret_geometric_figure <= nrel_sc_text_translation: (* -> rrel_example: [Дискретная геометрическая фигура - это геометрическая фигура, которая задается дискретным множеством, элементами которого есть геометрические точки.] - (* <- lang_ru;; *);; + (* <- lang_ru;; *); + [A discrete geometric figure is a geometric figure that is defined by a discrete set, the elements of which are geometric points.] + (* <- lang_en;; *);; *);; d_concept_discret_geometric_figure <= nrel_using_constants: diff --git a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_equilateral_triangle.scs b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_equilateral_triangle.scs index 56012f530..e3e3c6339 100755 --- a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_equilateral_triangle.scs +++ b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_equilateral_triangle.scs @@ -1,6 +1,10 @@ d_concept_equilateral_triangle <- definition;; -d_concept_equilateral_triangle => nrel_main_idtf: [Опр.(равносторонний треугольник)] (* <- lang_ru;; *);; +d_concept_equilateral_triangle => nrel_main_idtf: + [Опр.(равносторонний треугольник)] + (* <- lang_ru;; *); + [Def.(equilateral triangle)] + (* <- lang_en;; *);; d_concept_equilateral_triangle -> rrel_key_sc_element: concept_equilateral_triangle;; @@ -9,7 +13,9 @@ d_concept_equilateral_triangle <= nrel_sc_text_translation: (* -> rrel_example: [Равносторонний треугольник - треугольник, у которого все стороны равны друг другу.] - (* <- lang_ru;; *);; + (* <- lang_ru;; *); + [an equilateral triangle is a triangle that has all its sides equal in length.] + (* <- lang_en;; *);; *);; d_concept_equilateral_triangle <= nrel_using_constants: diff --git a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_flat_geometric_figure.scs b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_flat_geometric_figure.scs index 7f1bc92f4..3d1d87812 100755 --- a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_flat_geometric_figure.scs +++ b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_flat_geometric_figure.scs @@ -1,6 +1,10 @@ d_concept_flat_geometric_figure <- definition;; -d_concept_flat_geometric_figure => nrel_main_idtf: [Опр.(плоская геометрическая фигура)] (* <- lang_ru;; *);; +d_concept_flat_geometric_figure => nrel_main_idtf: + [Опр.(плоская геометрическая фигура)] + (* <- lang_ru;; *); + [Def.(flat geometric figure)] + (* <- lang_en;; *);; d_concept_flat_geometric_figure -> rrel_key_sc_element: concept_flat_geometric_figure;; @@ -9,7 +13,9 @@ d_concept_flat_geometric_figure <= nrel_sc_text_translation: (* -> rrel_example: [Плоская геометрическая фигура - ограниченная часть плоскости.] - (* <- lang_ru;; *);; + (* <- lang_ru;; *); + [A flat geometric figure is a limited part of a plane.] + (* <- lang_en;; *);; *);; d_concept_flat_geometric_figure <= nrel_using_constants: diff --git a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_full_angle.scs b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_full_angle.scs index f0ad93e17..90aaf63d9 100755 --- a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_full_angle.scs +++ b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_full_angle.scs @@ -1,6 +1,10 @@ d_concept_full_angle <- definition;; -d_concept_full_angle => nrel_main_idtf: [Опр.(полный угол)] (* <- lang_ru;; *);; +d_concept_full_angle => nrel_main_idtf: + [Опр.(полный угол)] + (* <- lang_ru;; *); + [Def.(full angle)] + (* <- lang_en;; *);; d_concept_full_angle -> rrel_key_sc_element: concept_full_angle;; @@ -9,7 +13,9 @@ d_concept_full_angle <= nrel_sc_text_translation: (* -> rrel_example: [Полный угол - угол, у которого совпадают образующие лучи.] - (* <- lang_ru;; *);; + (* <- lang_ru;; *); + [A full angle is an angle that measures exactly 360 degrees.] + (* <- lang_en;; *);; *);; d_concept_full_angle <= nrel_using_constants: diff --git a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_geometric_figure.scs b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_geometric_figure.scs index 7ec9bc323..76e0eb62f 100755 --- a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_geometric_figure.scs +++ b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_geometric_figure.scs @@ -1,7 +1,10 @@ d_concept_geometric_figure <- definition;; -d_concept_geometric_figure => nrel_main_idtf: [Опр.(геометрическая фигура)] (* <- lang_ru;; *);; -d_concept_geometric_figure => nrel_main_idtf: [Def.(geometric figure)] (* <- lang_ru;; *);; +d_concept_geometric_figure => nrel_main_idtf: + [Опр.(геометрическая фигура)] + (* <- lang_ru;; *); + [Def.(geometric figure)] + (* <- lang_en;; *);; d_concept_geometric_figure -> rrel_key_sc_element: concept_geometric_figure;; @@ -10,7 +13,9 @@ d_concept_geometric_figure <= nrel_sc_text_translation: (* -> rrel_example: [Геометрическая фигура - это непустое множество геометрических точек.] - (* <- lang_ru;; *);; + (* <- lang_ru;; *); + [A geometric figure is a non-empty set of geometric points.] + (* <- lang_en;; *);; *);; d_concept_geometric_figure <= nrel_using_constants: diff --git a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_geometric_figure_of_limited_size.scs b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_geometric_figure_of_limited_size.scs index 1e7f05010..a84a3cb25 100755 --- a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_geometric_figure_of_limited_size.scs +++ b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_geometric_figure_of_limited_size.scs @@ -1,6 +1,10 @@ d_concept_geometric_figure_of_limited_size <- definition;; -d_concept_geometric_figure_of_limited_size => nrel_main_idtf: [Опр.(геометрическая фигура ограниченного размера)] (* <- lang_ru;; *);; +d_concept_geometric_figure_of_limited_size => nrel_main_idtf: + [Опр.(геометрическая фигура ограниченного размера)] + (* <- lang_ru;; *); + [Def.(geometric figure of limited size)] + (* <- lang_en;; *);; d_concept_geometric_figure_of_limited_size -> rrel_key_sc_element: concept_geometric_figure_of_limited_size;; @@ -9,7 +13,9 @@ d_concept_geometric_figure_of_limited_size <= nrel_sc_text_translation: (* -> rrel_example: [Геометрическая фигура ограниченного размера - непрерывная геометрическая фигура, для которой существует шар, включающий в себя эту фигуру.] - (* <- lang_ru;; *);; + (* <- lang_ru;; *); + [A geometric figure of limited size is a continuous geometric figure for which there is a sphere that includes this figure.] + (* <- lang_en;; *);; *);; d_concept_geometric_figure_of_limited_size <= nrel_using_constants: diff --git a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_geometric_figure_of_unlimited_size.scs b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_geometric_figure_of_unlimited_size.scs index 00c736310..1688ab2d4 100755 --- a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_geometric_figure_of_unlimited_size.scs +++ b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_geometric_figure_of_unlimited_size.scs @@ -1,6 +1,10 @@ d_concept_geometric_figure_of_unlimited_size <- definition;; -d_concept_geometric_figure_of_unlimited_size => nrel_main_idtf: [Опр.(геометрическая фигура неограниченного размера)] (* <- lang_ru;; *);; +d_concept_geometric_figure_of_unlimited_size => nrel_main_idtf: + [Опр.(геометрическая фигура неограниченного размера)] + (* <- lang_ru;; *); + [Def.(geometric figure of unlimited size)] + (* <- lang_en;; *);; d_concept_geometric_figure_of_unlimited_size -> rrel_key_sc_element: concept_geometric_figure_of_unlimited_size;; @@ -9,7 +13,9 @@ d_concept_geometric_figure_of_unlimited_size <= nrel_sc_text_translation: (* -> rrel_example: [Геометрическая фигура неограниченного размера - результат теоретико-множественной разности множеств понятия геометрической фигуры и понятия геометрической фигуры ограниченного размера.] - (* <- lang_ru;; *);; + (* <- lang_ru;; *); + [A geometric figure of unlimited size is the result of the set-theoretic difference between the sets of the concept of a geometric figure and the concept of a geometric figure of limited size.] + (* <- lang_en;; *);; *);; d_concept_geometric_figure_of_unlimited_size <= nrel_using_constants: diff --git a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_geometric_figure_with_all_boundary_points.scs b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_geometric_figure_with_all_boundary_points.scs index 2ca590585..c84117393 100755 --- a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_geometric_figure_with_all_boundary_points.scs +++ b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_geometric_figure_with_all_boundary_points.scs @@ -1,6 +1,10 @@ d_concept_geometric_figure_with_all_boundary_points <- definition;; -d_concept_geometric_figure_with_all_boundary_points => nrel_main_idtf: [Опр.(геометрическая фигура, в состав которой входят все граничные точки)] (* <- lang_ru;; *);; +d_concept_geometric_figure_with_all_boundary_points => nrel_main_idtf: + [Опр.(геометрическая фигура, в состав которой входят все граничные точки)] + (* <- lang_ru;; *); + [Def.(geometric figure with all boundary points)] + (* <- lang_en;; *);; d_concept_geometric_figure_with_all_boundary_points -> rrel_key_sc_element: concept_geometric_figure_with_all_boundary_points;; @@ -9,7 +13,9 @@ d_concept_geometric_figure_with_all_boundary_points <= nrel_sc_text_translation: (* -> rrel_example: [Геометрическая фигура, в состав которой входят все граничные точки - это фигура, любая граничная точка которой принадлежит данной фигуре.] - (* <- lang_ru;; *);; + (* <- lang_ru;; *); + [A geometric figure, which includes all boundary points, is a figure, any boundary point of which belongs to this figure.] + (* <- lang_en;; *);; *);; d_concept_geometric_figure_with_all_boundary_points <= nrel_using_constants: diff --git a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_geometric_figure_with_boundary_points.scs b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_geometric_figure_with_boundary_points.scs index 10f0af8ab..571a5f8ef 100755 --- a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_geometric_figure_with_boundary_points.scs +++ b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_geometric_figure_with_boundary_points.scs @@ -1,6 +1,10 @@ d_concept_geometric_figure_with_boundary_points <- definition;; -d_concept_geometric_figure_with_boundary_points => nrel_main_idtf: [Опр.(геометрическая фигура, имеющая граничные точки)] (* <- lang_ru;; *);; +d_concept_geometric_figure_with_boundary_points => nrel_main_idtf: + [Опр.(геометрическая фигура, имеющая граничные точки)] + (* <- lang_ru;; *); + [Def.(geometric figure with boundary points)] + (* <- lang_en;; *);; d_concept_geometric_figure_with_boundary_points -> rrel_key_sc_element: concept_geometric_figure_with_boundary_points;; @@ -9,7 +13,9 @@ d_concept_geometric_figure_with_boundary_points <= nrel_sc_text_translation: (* -> rrel_example: [Геометрическая фигура, имеющая граничные точки - это фигура, которая имеет хотя бы одну граничную точку.] - (* <- lang_ru;; *);; + (* <- lang_ru;; *); + [A geometric figure with boundary points is a figure that has at least one boundary point.] + (* <- lang_en;; *);; *);; d_concept_geometric_figure_with_boundary_points <= nrel_using_constants: diff --git a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_geometric_figure_with_some_boundary_points.scs b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_geometric_figure_with_some_boundary_points.scs index d9ca92f9e..a20e65a88 100755 --- a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_geometric_figure_with_some_boundary_points.scs +++ b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_geometric_figure_with_some_boundary_points.scs @@ -1,6 +1,10 @@ d_concept_geometric_figure_with_some_boundary_points <- definition;; -d_concept_geometric_figure_with_some_boundary_points => nrel_main_idtf: [Опр.(геометрическая фигура, в состав которой входят не все граничные точки)] (* <- lang_ru;; *);; +d_concept_geometric_figure_with_some_boundary_points => nrel_main_idtf: + [Опр.(геометрическая фигура, в состав которой входят не все граничные точки)] + (* <- lang_ru;; *); + [Def.(geometric figure with some boundary points)] + (* <- lang_en;; *);; d_concept_geometric_figure_with_some_boundary_points -> rrel_key_sc_element: concept_geometric_figure_with_some_boundary_points;; @@ -9,7 +13,9 @@ d_concept_geometric_figure_with_some_boundary_points <= nrel_sc_text_translation (* -> rrel_example: [Геометрическая фигура, в состав которой входят не все граничные точки - это фигура, для которой существуют хотя бы две граничные точки, при этом одна из которых принадлежит данной фигуре, а другая не принадлежит.] - (* <- lang_ru;; *);; + (* <- lang_ru;; *); + [A geometric figure, which does not include all boundary points, is a figure for which there are at least two boundary points, one of which belongs to this figure and the other does not.] + (* <- lang_en;; *);; *);; d_concept_geometric_figure_with_some_boundary_points <= nrel_using_constants: diff --git a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_geometric_figure_without_any_boundary_point.scs b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_geometric_figure_without_any_boundary_point.scs index b5431fc96..533ed8ab3 100755 --- a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_geometric_figure_without_any_boundary_point.scs +++ b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_geometric_figure_without_any_boundary_point.scs @@ -1,6 +1,10 @@ d_concept_geometric_figure_without_any_boundary_point <- definition;; -d_concept_geometric_figure_without_any_boundary_point => nrel_main_idtf: [Опр.(геометрическая фигура, не имеющая граничных точек)] (* <- lang_ru;; *);; +d_concept_geometric_figure_without_any_boundary_point => nrel_main_idtf: + [Опр.(геометрическая фигура, не имеющая граничных точек)] + (* <- lang_ru;; *); + [Def.(geometri cfigur ewithout any boundary point)] + (* <- lang_en;; *);; d_concept_geometric_figure_without_any_boundary_point -> rrel_key_sc_element: concept_geometric_figure_without_any_boundary_point;; @@ -9,7 +13,9 @@ d_concept_geometric_figure_without_any_boundary_point <= nrel_sc_text_translatio (* -> rrel_example: [Геометрическая фигура, не имеющая граничных точек - это фигура, для которой не существует ни одной граничной точки.] - (* <- lang_ru;; *);; + (* <- lang_ru;; *); + [A geometric figure that does not have boundary points is a figure for which there are no boundary points.] + (* <- lang_en;; *);; *);; d_concept_geometric_figure_without_any_boundary_point <= nrel_using_constants: diff --git a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_geometric_figure_without_boundary_points.scs b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_geometric_figure_without_boundary_points.scs index 5a1d6bfa8..7114ab9ab 100755 --- a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_geometric_figure_without_boundary_points.scs +++ b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_geometric_figure_without_boundary_points.scs @@ -1,6 +1,10 @@ d_concept_geometric_figure_without_boundary_points <- definition;; -d_concept_geometric_figure_without_boundary_points => nrel_main_idtf: [Опр.(геометрическая фигура, в состав которой не входит ни одной граничной точки)] (* <- lang_ru;; *);; +d_concept_geometric_figure_without_boundary_points => nrel_main_idtf: + [Опр.(геометрическая фигура, в состав которой не входит ни одной граничной точки)] + (* <- lang_ru;; *); + [Def.(geometric figure without boundary points)] + (* <- lang_en;; *);; d_concept_geometric_figure_without_boundary_points -> rrel_key_sc_element: concept_geometric_figure_without_boundary_points;; @@ -9,7 +13,9 @@ d_concept_geometric_figure_without_boundary_points <= nrel_sc_text_translation: (* -> rrel_example: [Геометрическая фигура, в состав которой не входит ни одной граничной точки - геометрическая фигура, в состав которой не входит ни одной её граничной точки.] - (* <- lang_ru;; *);; + (* <- lang_ru;; *); + [A geometric figure without boundary points is a geometric figure that does not include any boundary point.] + (* <- lang_en;; *);; *);; d_concept_geometric_figure_without_boundary_points <= nrel_using_constants: diff --git a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_half_plane.scs b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_half_plane.scs index 5e7e412ca..608b1b75a 100755 --- a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_half_plane.scs +++ b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_half_plane.scs @@ -1,6 +1,10 @@ d_concept_half_plane <- definition;; -d_concept_half_plane => nrel_main_idtf: [Опр.(полуплоскость)] (* <- lang_ru;; *);; +d_concept_half_plane => nrel_main_idtf: + [Опр.(полуплоскость)] + (* <- lang_ru;; *); + [Def.(half plane)] + (* <- lang_en;; *);; d_concept_half_plane -> rrel_key_sc_element: concept_half_plane;; @@ -9,7 +13,9 @@ d_concept_half_plane <= nrel_sc_text_translation: (* -> rrel_example: [Полуплоскость - это множество точек плоскости такое, что для любой пары точек выполняется требование: отрезок с концами в этих точках не пересекает прямую, являющуюся границей полуплоскости.] - (* <- lang_ru;; *);; + (* <- lang_ru;; *); + [A half-plane is a set of points on a plane such that for any pair of points the following requirement is met: a segment with ends at these points does not intersect the straight line that is the boundary of the half-plane.] + (* <- lang_en;; *);; *);; d_concept_half_plane <= nrel_using_constants: diff --git a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_hexagon.scs b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_hexagon.scs index 6a4a29f9e..3d065798e 100755 --- a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_hexagon.scs +++ b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_hexagon.scs @@ -1,7 +1,10 @@ d_concept_hexagon <- definition;; -d_concept_hexagon => nrel_main_idtf: [Опр.(шестиугольник)] (* <- lang_ru;; *);; -d_concept_hexagon => nrel_main_idtf: [Def.(hexagon)] (* <- lang_en;; *);; +d_concept_hexagon => nrel_main_idtf: + [Опр.(шестиугольник)] + (* <- lang_ru;; *); + [Def.(hexagon)] + (* <- lang_en;; *);; d_concept_hexagon -> rrel_key_sc_element: concept_hexagon;; @@ -10,7 +13,9 @@ d_concept_hexagon <= nrel_sc_text_translation: (* -> rrel_example: [Шестиугольник- это многоугольник с шестью сторонами.] - (* <- lang_ru;; *);; + (* <- lang_ru;; *); + [A hexagon is a polygon with six sides.] + (* <- lang_en;; *);; *);; d_concept_hexagon <= nrel_using_constants: diff --git a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_interval.scs b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_interval.scs index f1e6a81f3..dec8f0995 100755 --- a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_interval.scs +++ b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_interval.scs @@ -1,7 +1,10 @@ d_concept_interval <- definition;; -d_concept_interval => nrel_main_idtf: [Опр.(интервал)] (* <- lang_ru;; *);; -d_concept_interval => nrel_main_idtf: [Def.(interval)] (* <- lang_en;; *);; +d_concept_interval => nrel_main_idtf: + [Опр.(интервал)] + (* <- lang_ru;; *); + [Def.(interval)] + (* <- lang_en;; *);; d_concept_interval -> rrel_key_sc_element: concept_interval;; @@ -10,7 +13,9 @@ d_concept_interval <= nrel_sc_text_translation: (* -> rrel_example: [Интервал - это отрезок, которому не принадлежат его граничные точки.] - (* <- lang_ru;; *);; + (* <- lang_ru;; *); + [An interval is a segment that does not have its boundary points.] + (* <- lang_en;; *);; *);; d_concept_interval <= nrel_using_constants: diff --git a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_irregular_polygon.scs b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_irregular_polygon.scs index b9bb19816..394119dee 100755 --- a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_irregular_polygon.scs +++ b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_irregular_polygon.scs @@ -1,6 +1,10 @@ d_concept_irregular_polygon <- definition;; -d_concept_irregular_polygon => nrel_main_idtf: [Опр.(неправильный многоугольник)] (* <- lang_ru;; *);; +d_concept_irregular_polygon => nrel_main_idtf: + [Опр.(неправильный многоугольник)] + (* <- lang_ru;; *); + [Def.(irregular polygon)] + (* <- lang_en;; *);; d_concept_irregular_polygon -> rrel_key_sc_element: concept_irregular_polygon;; @@ -9,7 +13,9 @@ d_concept_irregular_polygon <= nrel_sc_text_translation: (* -> rrel_example: [Неправильный многоугольник - выпуклый многоугольник, у которого стороны не равны между собой.] - (* <- lang_ru;; *);; + (* <- lang_ru;; *); + [An irregular polygon is a convex polygon that have sides that are not equal to each other.] + (* <- lang_en;; *);; *);; d_concept_irregular_polygon <= nrel_using_constants: diff --git a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_isosceles_trapeze.scs b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_isosceles_trapeze.scs index 0612a08df..9b393554d 100755 --- a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_isosceles_trapeze.scs +++ b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_isosceles_trapeze.scs @@ -1,6 +1,10 @@ d_concept_isosceles_trapezoid <- definition;; -d_concept_isosceles_trapezoid => nrel_main_idtf: [Опр.(равнобедренная трапеция)] (* <- lang_ru;; *);; +d_concept_isosceles_trapezoid => nrel_main_idtf: + [Опр.(равнобедренная трапеция)] + (* <- lang_ru;; *); + [Def.(isosceles trapezoid)] + (* <- lang_en;; *);; d_concept_isosceles_trapezoid -> rrel_key_sc_element: concept_isosceles_trapezoid;; @@ -9,7 +13,9 @@ d_concept_isosceles_trapezoid <= nrel_sc_text_translation: (* -> rrel_example: [Равнобедренная трапеция - трапеция, у которой боковые стороны равны.] - (* <- lang_ru;; *);; + (* <- lang_ru;; *); + [An isosceles trapezoid is a trapezoid that have equal sides.] + (* <- lang_en;; *);; *);; d_concept_isosceles_trapezoid <= nrel_using_constants: diff --git a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_isosceles_triangle.scs b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_isosceles_triangle.scs index 68d0b0a18..9f1a5023a 100755 --- a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_isosceles_triangle.scs +++ b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_isosceles_triangle.scs @@ -1,7 +1,10 @@ d_concept_isosceles_triangle <- definition;; -d_concept_isosceles_triangle => nrel_main_idtf: [Опр.(равнобедренный треугольник)] (* <- lang_ru;; *);; -d_concept_isosceles_triangle => nrel_main_idtf: [Def.(isosceles triangle)] (* <- lang_en;; *);; +d_concept_isosceles_triangle => nrel_main_idtf: + [Опр.(равнобедренный треугольник)] + (* <- lang_ru;; *); + [Def.(isosceles triangle)] + (* <- lang_en;; *);; d_concept_isosceles_triangle -> rrel_key_sc_element: concept_isosceles_triangle;; @@ -10,7 +13,9 @@ d_concept_isosceles_triangle <= nrel_sc_text_translation: (* -> rrel_example: [Равнобедренный треугольник - треугольник, в котором две стороны равны между собой.] - (* <- lang_ru;; *);; + (* <- lang_ru;; *); + [An isosceles triangle is a triangle that have two sides are equal to each other.] + (* <- lang_en;; *);; *);; d_concept_isosceles_triangle <= nrel_using_constants: diff --git a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_linear_angle.scs b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_linear_angle.scs index 2d69844ef..fa905172c 100755 --- a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_linear_angle.scs +++ b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_linear_angle.scs @@ -1,6 +1,10 @@ d_concept_linear_angle <- definition;; -d_concept_linear_angle => nrel_main_idtf: [Опр.(линейный угол)] (* <- lang_ru;; *);; +d_concept_linear_angle => nrel_main_idtf: + [Опр.(линейный угол)] + (* <- lang_ru;; *); + [Def.(linear angle)] + (* <- lang_en;; *);; d_concept_linear_angle -> rrel_key_sc_element: concept_linear_angle;; @@ -9,7 +13,9 @@ d_concept_linear_angle <= nrel_sc_text_translation: (* -> rrel_example: [Линейный угол - это угол, образованный двумя лучами, которые имеют общее начало, при этом точки плоскости, лежащие между этими двумя лучами, не принадлежат линейному углу.] - (* <- lang_ru;; *);; + (* <- lang_ru;; *); + [A linear angle is an angle formed by two rays that have a common start point, while the points of the plane lying between these two rays do not belong to the linear angle.] + (* <- lang_en;; *);; *);; d_concept_linear_angle <= nrel_using_constants: diff --git a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_linear_polygon.scs b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_linear_polygon.scs index 5359053d7..1e2e25f16 100755 --- a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_linear_polygon.scs +++ b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_linear_polygon.scs @@ -1,6 +1,10 @@ d_concept_linear_polygon <- definition;; -d_concept_linear_polygon => nrel_main_idtf: [Опр.(линейный многоугольник)] (* <- lang_ru;; *);; +d_concept_linear_polygon => nrel_main_idtf: + [Опр.(линейный многоугольник)] + (* <- lang_ru;; *); + [Def.(linear polygon)] + (* <- lang_en;; *);; d_concept_linear_polygon -> rrel_key_sc_element: concept_linear_polygon;; @@ -9,7 +13,9 @@ d_concept_linear_polygon <= nrel_sc_text_translation: (* -> rrel_example: [Линейный многоугольник - это простая ломаная, у которой совпадают граничные точки.] - (* <- lang_ru;; *);; + (* <- lang_ru;; *); + [A linear angle is an angle formed by two rays that have a common origin, while the points of the plane lying between these two rays do not belong to this angle.] + (* <- lang_en;; *);; *);; d_concept_linear_polygon <= nrel_using_constants: diff --git a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_non_convex_angle.scs b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_non_convex_angle.scs index 577dfe16a..4dcec0cbe 100755 --- a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_non_convex_angle.scs +++ b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_non_convex_angle.scs @@ -1,6 +1,10 @@ d_concept_non_convex_angle <- definition;; -d_concept_non_convex_angle => nrel_main_idtf: [Опр.(невыпуклый угол)] (* <- lang_ru;; *);; +d_concept_non_convex_angle => nrel_main_idtf: + [Опр.(невыпуклый угол)] + (* <- lang_ru;; *); + [Def.(non convex angle)] + (* <- lang_en;; *);; d_concept_non_convex_angle -> rrel_key_sc_element: concept_non_convex_angle;; @@ -9,7 +13,9 @@ d_concept_non_convex_angle <= nrel_sc_text_translation: (* -> rrel_example: [Угол является невыпуклым углом, когда он имеет величину угла, большую, чем 180 угловых градусов, и меньшую, чем 360 угловых градусов.] - (* <- lang_ru;; *);; + (* <- lang_ru;; *); + [An angle is a non-convex angle when it has an angle magnitude greater than 180 arc degrees and less than 360 arc degrees.] + (* <- lang_en;; *);; *);; d_concept_non_convex_angle <= nrel_using_constants: diff --git a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_non_convex_polygon.scs b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_non_convex_polygon.scs index 11d8ca625..454f35c80 100755 --- a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_non_convex_polygon.scs +++ b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_non_convex_polygon.scs @@ -1,6 +1,11 @@ d_concept_non_convex_polygon <- definition;; -d_concept_non_convex_polygon => nrel_main_idtf: [Опр.(невыпуклый многоугольник)] (* <- lang_ru;; *);; +d_concept_non_convex_polygon => nrel_main_idtf: + [Опр.(невыпуклый многоугольник)] + (* <- lang_ru;; *); + [Def.(non convex polygon)] + (* <- lang_en;; *);; + d_concept_non_convex_polygon -> rrel_key_sc_element: concept_non_convex_polygon;; @@ -9,7 +14,9 @@ d_concept_non_convex_polygon <= nrel_sc_text_translation: (* -> rrel_example: [Невыпуклый многоугольник - многоугольник, у которого есть хотя бы один невыпуклый угол.] - (* <- lang_ru;; *);; + (* <- lang_ru;; *); + [A non-convex polygon is a polygon that has at least one non-convex angle.] + (* <- lang_en;; *);; *);; d_concept_non_convex_polygon <= nrel_using_constants: diff --git a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_non_countable_set_of_points.scs b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_non_countable_set_of_points.scs index 123ee325e..41c2c3225 100755 --- a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_non_countable_set_of_points.scs +++ b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_non_countable_set_of_points.scs @@ -1,6 +1,10 @@ d_concept_non_countable_set_of_points <- definition;; -d_concept_non_countable_set_of_points => nrel_main_idtf: [Опр.(несчетное множество точек)] (* <- lang_ru;; *);; +d_concept_non_countable_set_of_points => nrel_main_idtf: + [Опр.(несчетное множество точек)] + (* <- lang_ru;; *); + [Def.(non countable set of points)] + (* <- lang_en;; *);; d_concept_non_countable_set_of_points -> rrel_key_sc_element: concept_non_countable_set_of_points;; @@ -9,7 +13,9 @@ d_concept_non_countable_set_of_points <= nrel_sc_text_translation: (* -> rrel_example: [Несчетное множество точек - это несчетное множество, каждый элемент которого является геометрической точкой.] - (* <- lang_ru;; *);; + (* <- lang_ru;; *); + [An uncountable set of points is an uncountable set, each element of this set is a geometric point.] + (* <- lang_en;; *);; *);; d_concept_non_countable_set_of_points <= nrel_using_constants: diff --git a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_non_planar_figure.scs b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_non_planar_figure.scs index bb028ce70..2d3c3ae28 100755 --- a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_non_planar_figure.scs +++ b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_non_planar_figure.scs @@ -1,6 +1,10 @@ d_concept_non_planar_figure <- definition;; -d_concept_non_planar_figure => nrel_main_idtf: [Опр.(непланарная фигура)] (* <- lang_ru;; *);; +d_concept_non_planar_figure => nrel_main_idtf: + [Опр.(непланарная фигура)] + (* <- lang_ru;; *); + [Def.(non planar figure)] + (* <- lang_en;; *);; d_concept_non_planar_figure -> rrel_key_sc_element: concept_non_planar_figure;; @@ -9,7 +13,9 @@ d_concept_non_planar_figure <= nrel_sc_text_translation: (* -> rrel_example: [Непланарная фигура - это геометрическая фигура, у которой хотя бы одна из геометрических точек, принадлежащих ей, не лежит в одной плоскости.] - (* <- lang_ru;; *);; + (* <- lang_ru;; *); + [A non-planar figure is a geometric figure in that have at least one of the geometric points belonging to it does not belong to the same plane with other points, that belong to this figure.] + (* <- lang_en;; *);; *);; d_concept_non_planar_figure <= nrel_using_constants: diff --git a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_non_planar_line.scs b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_non_planar_line.scs index 0f699a02d..e75b1abcc 100755 --- a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_non_planar_line.scs +++ b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_non_planar_line.scs @@ -1,6 +1,10 @@ d_concept_non_planar_line <- definition;; -d_concept_non_planar_line => nrel_main_idtf: [Опр.(непланарная линия)] (* <- lang_ru;; *);; +d_concept_non_planar_line => nrel_main_idtf: + [Опр.(непланарная линия)] + (* <- lang_ru;; *); + [Def.(non planar line)] + (* <- lang_en;; *);; d_concept_non_planar_line -> rrel_key_sc_element: concept_non_planar_line;; @@ -9,7 +13,9 @@ d_concept_non_planar_line <= nrel_sc_text_translation: (* -> rrel_example: [Непланарная линия - линия, не все точки которой лежат в одной плоскости.] - (* <- lang_ru;; *);; + (* <- lang_ru;; *); + [A non-planar line is a line in which not all points belong to the same plane.] + (* <- lang_en;; *);; *);; d_concept_non_planar_line <= nrel_using_constants: diff --git a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_non_planar_surface.scs b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_non_planar_surface.scs index b0c1a5754..4376b1bf5 100755 --- a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_non_planar_surface.scs +++ b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_non_planar_surface.scs @@ -1,6 +1,10 @@ d_concept_non_planar_surface <- definition;; -d_concept_non_planar_surface => nrel_main_idtf: [Опр.(непланарная поверхность)] (* <- lang_ru;; *);; +d_concept_non_planar_surface => nrel_main_idtf: + [Опр.(непланарная поверхность)] + (* <- lang_ru;; *); + [Def.(non planar surface)] + (* <- lang_en;; *);; d_concept_non_planar_surface -> rrel_key_sc_element: concept_non_planar_surface;; @@ -9,7 +13,9 @@ d_concept_non_planar_surface <= nrel_sc_text_translation: (* -> rrel_example: [Непланарная поверхность - это поверхность, для которой не существует плоскости такой, что любая точка поверхности принадлежит данной плоскости.] - (* <- lang_ru;; *);; + (* <- lang_ru;; *); + [A non-planar surface is a surface for which there is no plane such that any point on the surface belongs to this plane.] + (* <- lang_en;; *);; *);; d_concept_non_planar_surface <= nrel_using_constants: diff --git a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_non_rectlinear_geometric_figure.scs b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_non_rectlinear_geometric_figure.scs index 58d1ac2c1..1cfb4c223 100755 --- a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_non_rectlinear_geometric_figure.scs +++ b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_non_rectlinear_geometric_figure.scs @@ -1,6 +1,10 @@ d_concept_non_rectlinear_geometric_figure <- definition;; -d_concept_non_rectlinear_geometric_figure => nrel_main_idtf: [Опр.(непрямолинейная фигура)] (* <- lang_ru;; *);; +d_concept_non_rectlinear_geometric_figure => nrel_main_idtf: + [Опр.(непрямолинейная фигура)] + (* <- lang_ru;; *); + [Def.(non rectlinear geometric figure)] + (* <- lang_en;; *);; d_concept_non_rectlinear_geometric_figure -> rrel_key_sc_element: concept_non_rectlinear_geometric_figure;; @@ -9,7 +13,9 @@ d_concept_non_rectlinear_geometric_figure <= nrel_sc_text_translation: (* -> rrel_example: [Непрямолинейная фигура - геометрическая фигура, для которой не существует прямой, являющейся ее надмножеством.] - (* <- lang_ru;; *);; + (* <- lang_ru;; *); + [A non-rectilinear figure is a geometric figure for which there is no straight line that is superset for this figure.] + (* <- lang_en;; *);; *);; d_concept_non_rectlinear_geometric_figure <= nrel_using_constants: diff --git a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_non_rectlinear_three_tuple_of_points.scs b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_non_rectlinear_three_tuple_of_points.scs index 4f984a760..1d7c6e728 100755 --- a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_non_rectlinear_three_tuple_of_points.scs +++ b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_non_rectlinear_three_tuple_of_points.scs @@ -1,6 +1,10 @@ d_concept_non_rectlinear_three_tuple_of_points <- definition;; -d_concept_non_rectlinear_three_tuple_of_points => nrel_main_idtf: [Опр.(непрямолинейная тройка точек)] (* <- lang_ru;; *);; +d_concept_non_rectlinear_three_tuple_of_points => nrel_main_idtf: + [Опр.(непрямолинейная тройка точек)] + (* <- lang_ru;; *); + [Def.(non rectlinear three tuple of points)] + (* <- lang_en;; *);; d_concept_non_rectlinear_three_tuple_of_points -> rrel_key_sc_element: concept_non_rectlinear_three_tuple_of_points;; @@ -9,7 +13,9 @@ d_concept_non_rectlinear_three_tuple_of_points <= nrel_sc_text_translation: (* -> rrel_example: [Непрямолинейная тройка точек - тройка точек, для которой не существует прямой, на которой лежат все три элемента заданной тройки.] - (* <- lang_ru;; *);; + (* <- lang_ru;; *); + [A non-rectilinear triple of points is a triple of points for which there is no line to which all three elements of the given triple belong.] + (* <- lang_en;; *);; *);; d_concept_non_rectlinear_three_tuple_of_points <= nrel_using_constants: From 8241ef05f53f20d2f62de7e2817f06b0e68bd252 Mon Sep 17 00:00:00 2001 From: Kovvvalski Date: Mon, 13 May 2024 13:27:03 +0300 Subject: [PATCH 2/4] translate fix --- data.db | Bin 0 -> 28672 bytes .../d_concept_Apollonius_circle.scs | 8 ++++---- .../d_concept_Morley_triangle.scs | 8 ++++---- .../d_concept_Napoleon_triangle.scs | 8 ++++---- kb/todo.txt | 2 ++ secret.txt | 1 + 6 files changed, 15 insertions(+), 12 deletions(-) create mode 100644 data.db create mode 100644 kb/todo.txt create mode 100644 secret.txt diff --git a/data.db b/data.db new file mode 100644 index 0000000000000000000000000000000000000000..62d838a8b248e45476ddd050c930239c5a924dd7 GIT binary patch literal 28672 zcmeI2X>?RY8iuQqRB`XE4G{>7XoCnuK}aIVqC$ko9w2O@Y=K0GBmqLgA_$ZVI3S9< z;DUlWxFU**2)HofhJp)<;-EN+iW?&+;)3&i-yA)|%yH(|{NYq{`ngXp3El7Q?>$sC z0|)dettv@fFtM_{s4A7qYBJ7QmsE-|mJZh%aQ*F)29ojH4LI_D@judZcIwbx#{Iyg zS;t(S+iKRidiEQ;`Hy}e+#eDM34{bf0wIBrKu91Y5E2LpgakqY|DM1lae9r+I(7J^ z)m24f%1WxIlvLt1qibP)-k|){puDsD zwvX@=WpEu|<16OAbKkhn+-~=td(&-k&%2H83HPwO*DZIqxa-{_H_y#+)7@lup&RRl zyTPu&b$4A{2bbecaZOz#SJycgIc|Tn`|X$Z6T8d4W4GCt>~r=hyT(3f@3G75&Gs6* zz+P%+*=k#1$Jx<#m@TxuZ8v+SZD(8C7Phf%V2`!h3Uk;TH2ciw<|DJyyk%ZBo6XZ^ ztyyjEGb_xk<_2?>nQ!Kr8K%-qFvVts8DjdG9wyIpG`XgwImsMvGEGern>78CKA^wS zd-Ml-hkjkZtT*ZPdX-+O@6=26b^1zuxt^`3=?Yzip>oy9sWLxq=vN3rqc_3MlEKROSu1Mx2Q z?~ZrGTjR~~hImbUf4n?i5-*PD$Ft+=xGWwUpBE2^d&HgNc5$n?Y1}Zb6~{4)4n|)` zpG5CRZ$>Xi&qiybRna}sZPE47!swD{Ml>lJ7mbVtM}4BMQO77dY7w0f)s0M)QR650 z0EA0OAS4hH2nig$2`E1&gQaD%U#C=0f`8-q*>H=o!_r?&@{9DdNPd=nCdp6IUqtew z^fO2fNk5(B2kEDg9F%@4$@kJ%lYA$A70ChVr;zNIzLMly=_ix?UHVBR`=p;p@{RNr zBwtHkPV$xXWh7rpKY`>6=`SSND}5=+=hBZS`Aqt8B%exu0m&ZeOGrMEzL?}=>Bo}% zP5Ln;A4y+CvRnGmBp*sYisS?7N0RK4egw&1r5{f6zVzpl?3DgIlJ}$^M)I!o=aTG@ zekjR1(hnhdTl&Ey+oc~w@|N@iN#2yckmL>N2avojeSeZ|()T0TDt!UTYtr{6c~$y8 zBwM8KP4bHLy+~e`z9-2`()S>FQTpyAFGzn5$!6*ENuHO!8_8d!?@F>s`m;%%lRl5+ zS?RlwJR^N)lBcCVi)5qpXOe7?{tS}!%69_EWKR_pmzP#Z-;wTKCw&K!C#7#svR3-j zNuH3t9m(U;wuEBsWT5 zhvWw7Ym;0r{jnt1NneZPTIr7=xkmb$B#WhYBv(ssNv@LKkSvm3lUymiB3USXLb5>m znB-5=MX&PEC75za;mXc5jv2hpglMnCZIbwJ6Aw+a5hvxZ*Vq5 zKx=R|SU_iRHb_8Ya5hjtUvO3^pe;BXAfPKa>o1@wIO`{%Cpaq*&=Q>W70?l!^%2kz zob?va51jQ9&<>pS6wnQv^$^euoOKt_3!I%JpcOdF7tjfubraACoOKn@2b`TPpba?7 z6J7AoML-j9)>%LgaCVk}7U1km0Uf~E83G!BvrYm=pR+-R_5y~Uv(p8P zJZJ3$3_NFT1&ljqrwJH#&T<8eI%hco2A#8P0b|Zt8v#SkS!)3!&e^E~2As220>+!O zmI8*Gvr`0&HfJXb7;Mh61dKIjEd&fTXUzqSG-u5O3^Zpa2^eS2nhF?Z&Q26C%A7S3 zFvy%W7AZWW1Pn1}CkPl}&W;x_z??M_Fut4}Ct!FvYbaoJIcp$ba5<|lU~D<7Ctzqf z%M>uOoYfUDu$XIo{39kQ>a_08CuifYFWA_2<0Bm>L+$(Ogd)BRoU4Td2gKni;;cje zx4>QQ=DL|~D(nW7xp8ic8{y7%17Sy?r|afAyN<4{YXiFi&0J%5oXd2zoPnKzbbHty zvIpS1|Gls~@S)vl-?p#YE%pW2A=qHo+DGj}_Fj7z>=G=sH`v8?p`B+v>=aD1mA2fD zw`1){*ew`j``KPL-*&N`V835)c6?e$Du zttaYIJywst z^|*Ri-KXwSx2v1gwdzVWPt8>qsVY^W#;Y-ExEiARt6r*`I!m=zIjW^`HbdZzNli&B-&#x@1lAP_i;vp4^(;m@G~fB$p+#lj%A!%iKZu z0EA0OAS4hH2nmD)LINRy|3?BzdS)7JJ+WU!I;;Z^6MrH8O#F%XBk>UN2jW5E_r&jr z2Z;NL-xB{$+(-O|_%-n>;+MoPhZ^Vy?yNMqXKOpWR{+0MX zaVPOT;=9Bh#CM2q6SouJBECs{gZMge8*wY~HR7wpEyP!dFB4xPzDRt5xS9Ao@h`+p z#OH|55}zSHP25P_KwOU}hqi0jQ*_5V;*-R+#3zW46CWe4AwEicgt(gcFmV;}A>xC? z2Z;9*?<3wzTuJ;h@gCyc#Jh+qh|7t067L``Bi>HDjd&~Z7UELk65`Fon}|0OZy;Vz zypDJ+@fzY{;?=~fh>M6<5*HE|5dTEHf;gWzk9axpGUBDgONgF0HzS?#If&VaixIOB zGZ7adW+0{~>Gkeh+2qa5H%4FVG#zQ5ektYVnl?ffshD+$Uvkc($dpe9HnPQwEl rrel_key_sc_element: concept_Apollonius_circle;; d_concept_Apollonius_circle => nrel_main_idtf: [Опр.(окружность Аполлония)] - (*<-lang_ru;;*); + (* <-lang_ru;; *); [Def.(Apollonius circle)] - (*<-lang_en;;*);; + (* <-lang_en;; *);; d_concept_Apollonius_circle <= nrel_sc_text_translation: ... (* -> rrel_example: [Окружность Аполлония - геометрическая фигура, состоящая из точек плоскости, отношение расстояний от которых до двух заданных точек — величина постоянная, не равная единице.] - (*<-lang_ru;;*); + (* <-lang_ru;; *); [The Apollonius circle is a geometric figure consisting of points on a plane, the ratio of the distances from which to two given points is a constant value, not equal to unity.] - (*<-lang_en;;*);; + (* <-lang_en;; *);; *);; d_concept_Apollonius_circle <= nrel_using_constants: diff --git a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_Morley_triangle.scs b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_Morley_triangle.scs index 7e0660eaf..0c523266a 100755 --- a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_Morley_triangle.scs +++ b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_Morley_triangle.scs @@ -4,18 +4,18 @@ d_concept_Morley_triangle -> rrel_key_sc_element: concept_Morley_triangle;; d_concept_Morley_triangle => nrel_main_idtf: [Опр.(треугольник Морлея)] - (*<-lang_ru;;*); + (* <- lang_ru;; *); [Def.(Morley's triangles)] - (*<-lang_en;;*);; + (* <- lang_en;; *);; d_concept_Morley_triangle <= nrel_sc_text_translation: ... (* -> rrel_example: [Треугольник Морлея - это равносторонний треугольник, вершинами которого являются точки пересечения смежных триссектрис углов произвольного треугольника.] - (*<-lang_ru;;*); + (* <- lang_ru;; *); [A Morley triangle is an equilateral triangle whose vertices are the intersection points of adjacent trisectors of the angles of an arbitrary triangle.] - (*<-lang_en;;*);; + (* <- lang_en;; *);; *);; d_concept_Morley_triangle <= nrel_using_constants: diff --git a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_Napoleon_triangle.scs b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_Napoleon_triangle.scs index 7f7bbddc0..40b87cd4c 100755 --- a/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_Napoleon_triangle.scs +++ b/kb/plane_geometry/formal_definitions/absolute/definitions_scs/d_concept_Napoleon_triangle.scs @@ -2,9 +2,9 @@ d_concept_Napoleon_triangle <- definition;; d_concept_Napoleon_triangle => nrel_main_idtf: [Опр. (треугольник Наполеона)] - (*<-lang_ru;;*); + (* <- lang_ru;; *); [Def.(Napoleon triangle)] - (*<-lang_en;;*);; + (* <- lang_en;; *);; d_concept_Napoleon_triangle -> rrel_key_sc_element: concept_Napoleon_triangle;; @@ -13,9 +13,9 @@ d_concept_Napoleon_triangle <= nrel_sc_text_translation: (* -> rrel_example: [Если на сторонах произвольного треугольника внешним образом построить равносторонние треугольники, то их центры являются вершинами равностороннего внешнего треугольника Наполеона.] - (*<-lang_ru;;*); + (* <- lang_ru;; *); [If equilateral triangles are constructed externally on the sides of an arbitrary triangle, then their centers are the vertices of Napoleon's equilateral external triangle.] - (*<-lang_en;;*);; + (* <- lang_en;; *);; *);; d_concept_Napoleon_triangle <= nrel_using_constants: diff --git a/kb/todo.txt b/kb/todo.txt new file mode 100644 index 000000000..787e1fadb --- /dev/null +++ b/kb/todo.txt @@ -0,0 +1,2 @@ +sections non_planar - перевод + planar - картинки, перевод diff --git a/secret.txt b/secret.txt new file mode 100644 index 000000000..643384969 --- /dev/null +++ b/secret.txt @@ -0,0 +1 @@ +jGxj5HYgS4WrB0zRkZhvowsiTVfsW0MrrnScHh1Whk0= \ No newline at end of file From 06aa6952f245d4f91247d61af8267e340160218f Mon Sep 17 00:00:00 2001 From: Kovvvalski Date: Wed, 29 May 2024 21:41:55 +0300 Subject: [PATCH 3/4] final_fix --- kb/todo.txt | 2 -- 1 file changed, 2 deletions(-) delete mode 100644 kb/todo.txt diff --git a/kb/todo.txt b/kb/todo.txt deleted file mode 100644 index 787e1fadb..000000000 --- a/kb/todo.txt +++ /dev/null @@ -1,2 +0,0 @@ -sections non_planar - перевод - planar - картинки, перевод From ebb0c6ff0ab453a1270a9d02f4b67892861d3869 Mon Sep 17 00:00:00 2001 From: Kovvvalski Date: Fri, 31 May 2024 01:52:19 +0300 Subject: [PATCH 4/4] specifications translated --- .../spec_finding_accuracy_for_inaccurate_value.scs | 6 +++++- .../specifications_scs/spec_finding_belonging_to_class.scs | 6 +++++- .../spec_finding_connection_between_statements.scs | 6 +++++- .../spec_finding_decomposition_section.scs | 6 +++++- .../specifications_scs/spec_finding_definition.scs | 6 +++++- .../spec_finding_definitional_domain.scs | 7 ++++++- .../specifications_scs/spec_finding_exercises.scs | 7 ++++++- .../specifications_scs/spec_finding_explanation.scs | 6 +++++- .../spec_finding_formal_text_of_proof.scs | 6 +++++- kb/specifications/specifications_scs/spec_finding_idtf.scs | 7 ++++++- .../specifications_scs/spec_finding_illustration.scs | 7 ++++++- .../specifications_scs/spec_finding_interval.scs | 7 ++++++- .../specifications_scs/spec_finding_key_sc_element.scs | 7 ++++++- .../specifications_scs/spec_finding_main_idtf.scs | 7 ++++++- .../spec_finding_main_key_sc_elem_statement.scs | 7 ++++++- .../spec_finding_maximum_studied_object_class.scs | 7 ++++++- .../spec_finding_not_maximum_studied_object_class.scs | 7 ++++++- .../specifications_scs/spec_finding_proof_translation.scs | 6 +++++- .../spec_finding_relation_for_common_arc.scs | 6 +++++- .../specifications_scs/spec_finding_sc_arc_membership.scs | 7 ++++++- .../specifications_scs/spec_finding_scale_or_measure.scs | 6 +++++- .../specifications_scs/spec_finding_statement.scs | 6 +++++- .../specifications_scs/spec_finding_studied_relation.scs | 6 +++++- .../specifications_scs/spec_finding_subclasses.scs | 6 +++++- .../specifications_scs/spec_finding_subdividing.scs | 6 +++++- .../spec_finding_subject_domain_with_attr.scs | 7 ++++++- .../specifications_scs/spec_finding_summary.scs | 6 +++++- .../specifications_scs/spec_finding_superclasses.scs | 7 ++++++- .../specifications_scs/spec_finding_system_idtf.scs | 7 ++++++- .../specifications_scs/spec_finding_translation.scs | 6 +++++- .../specifications_scs/spec_finding_type_of_relation.scs | 7 ++++++- .../specifications_scs/spec_finding_type_of_section.scs | 6 +++++- .../specifications_scs/spec_finding_type_of_statement.scs | 6 +++++- .../specifications_scs/spec_finding_using_constants.scs | 6 +++++- .../specifications_scs/spec_finding_using_statements.scs | 6 +++++- 35 files changed, 190 insertions(+), 35 deletions(-) diff --git a/kb/specifications/specifications_scs/spec_finding_accuracy_for_inaccurate_value.scs b/kb/specifications/specifications_scs/spec_finding_accuracy_for_inaccurate_value.scs index 313060125..2afcf7ed7 100755 --- a/kb/specifications/specifications_scs/spec_finding_accuracy_for_inaccurate_value.scs +++ b/kb/specifications/specifications_scs/spec_finding_accuracy_for_inaccurate_value.scs @@ -4,4 +4,8 @@ spec_finding_accuracy_for_inaccurate_value -> rrel_key_sc_element: nrel_accuracy necessary_general_specification -> spec_finding_accuracy_for_inaccurate_value;; -spec_finding_accuracy_for_inaccurate_value => nrel_main_idtf: [Необходимая обобщённая спецификация для поиска точности неточной величины] (* <- lang_ru;; *);; +spec_finding_accuracy_for_inaccurate_value => nrel_main_idtf: + [Необходимая обобщённая спецификация для поиска точности неточной величины] + (* <- lang_ru;; *); + [Necessary generalized specification for finding the accuracy of an imprecise quantity] + (* <- lang_en;; *);; diff --git a/kb/specifications/specifications_scs/spec_finding_belonging_to_class.scs b/kb/specifications/specifications_scs/spec_finding_belonging_to_class.scs index 92c22b00b..5a595be08 100755 --- a/kb/specifications/specifications_scs/spec_finding_belonging_to_class.scs +++ b/kb/specifications/specifications_scs/spec_finding_belonging_to_class.scs @@ -4,4 +4,8 @@ spec_finding_belonging_to_class -> rrel_key_sc_element: class;; general_specification -> spec_finding_belonging_to_class;; -spec_finding_belonging_to_class => nrel_main_idtf: [Обобщённая спецификация для поиска принадлежности к классу] (* <- lang_ru;; *);; +spec_finding_belonging_to_class => nrel_main_idtf: + [Обобщённая спецификация для поиска принадлежности к классу] + (* <- lang_ru;; *); + [Generalized specification for class membership search] + (* <- lang_en;; *);; diff --git a/kb/specifications/specifications_scs/spec_finding_connection_between_statements.scs b/kb/specifications/specifications_scs/spec_finding_connection_between_statements.scs index d9e3443f3..aeac498af 100755 --- a/kb/specifications/specifications_scs/spec_finding_connection_between_statements.scs +++ b/kb/specifications/specifications_scs/spec_finding_connection_between_statements.scs @@ -4,4 +4,8 @@ spec_finding_connection_between_statements -> rrel_key_sc_element: nrel_converse general_specification -> spec_finding_connection_between_statements;; -spec_finding_connection_between_statements => nrel_main_idtf: [Обобщённая спецификация для поиска связей между утверждениями] (* <- lang_ru;; *);; +spec_finding_connection_between_statements => nrel_main_idtf: + [Обобщённая спецификация для поиска связей между утверждениями] + (* <- lang_ru;; *); + [A generalized specification for finding relationships between statements] + (* <- lang_en;; *);; diff --git a/kb/specifications/specifications_scs/spec_finding_decomposition_section.scs b/kb/specifications/specifications_scs/spec_finding_decomposition_section.scs index aab8d6d37..a87a4a76a 100644 --- a/kb/specifications/specifications_scs/spec_finding_decomposition_section.scs +++ b/kb/specifications/specifications_scs/spec_finding_decomposition_section.scs @@ -4,4 +4,8 @@ spec_finding_decomposition_section -> rrel_key_sc_element: nrel_section_decompos necessary_general_specification -> spec_finding_decomposition_section;; -spec_finding_decomposition_section => nrel_main_idtf: [Необходимая обобщённая спецификация для поиска декомпозиции раздела] (* <- lang_ru;; *);; +spec_finding_decomposition_section => nrel_main_idtf: + [Необходимая обобщённая спецификация для поиска декомпозиции раздела] + (* <- lang_ru;; *); + [A necessary generalized specification for finding decomposition section] + (* <- lang_en;; *);; diff --git a/kb/specifications/specifications_scs/spec_finding_definition.scs b/kb/specifications/specifications_scs/spec_finding_definition.scs index 90528a25b..bdfdc3174 100644 --- a/kb/specifications/specifications_scs/spec_finding_definition.scs +++ b/kb/specifications/specifications_scs/spec_finding_definition.scs @@ -4,4 +4,8 @@ spec_finding_definition -> rrel_key_sc_element: definition;; general_specification -> spec_finding_definition;; -spec_finding_definition => nrel_main_idtf: [Обобщённая спецификация для поиска определения] (* <- lang_ru;; *);; +spec_finding_definition => nrel_main_idtf: + [Обобщённая спецификация для поиска определения] + (* <- lang_ru;; *); + [A generalized specification for finding definition] + (* <- lang_en;; *);; diff --git a/kb/specifications/specifications_scs/spec_finding_definitional_domain.scs b/kb/specifications/specifications_scs/spec_finding_definitional_domain.scs index c25ba1519..2913e4349 100644 --- a/kb/specifications/specifications_scs/spec_finding_definitional_domain.scs +++ b/kb/specifications/specifications_scs/spec_finding_definitional_domain.scs @@ -4,4 +4,9 @@ spec_finding_definitional_domain -> rrel_key_sc_element: nrel_definitional_domai necessary_general_specification -> spec_finding_definitional_domain;; -spec_finding_definitional_domain => nrel_main_idtf: [Необходимая обобщенная спецификация для поиска области определения отношения] (* <- lang_ru;; *);; +spec_finding_definitional_domain => nrel_main_idtf: + [Необходимая обобщенная спецификация для поиска области определения отношения] + (* <- lang_ru;; *); + [A neccessary generalized specification for finding definitional domain] + (* <- lang_en;; *);; + \ No newline at end of file diff --git a/kb/specifications/specifications_scs/spec_finding_exercises.scs b/kb/specifications/specifications_scs/spec_finding_exercises.scs index a38671409..5a9abdd7b 100755 --- a/kb/specifications/specifications_scs/spec_finding_exercises.scs +++ b/kb/specifications/specifications_scs/spec_finding_exercises.scs @@ -4,4 +4,9 @@ spec_finding_exercises -> rrel_key_sc_element: nrel_exercises;; general_specification -> spec_finding_exercises;; -spec_finding_exercises => nrel_main_idtf: [Обобщённая спецификация для поиска упражнений] (* <- lang_ru;; *);; +spec_finding_exercises => nrel_main_idtf: + [Обобщённая спецификация для поиска упражнений] + (* <- lang_ru;; *); + [A generalized specification for finding exercises] + (* <- lang_en;; *);; + \ No newline at end of file diff --git a/kb/specifications/specifications_scs/spec_finding_explanation.scs b/kb/specifications/specifications_scs/spec_finding_explanation.scs index 081a11fe8..47c1cadd2 100755 --- a/kb/specifications/specifications_scs/spec_finding_explanation.scs +++ b/kb/specifications/specifications_scs/spec_finding_explanation.scs @@ -4,4 +4,8 @@ spec_finding_explanation -> rrel_key_sc_element: explanation;; general_specification -> spec_finding_explanation;; -spec_finding_explanation => nrel_main_idtf: [Обобщённая спецификация для поиска пояснения] (* <- lang_ru;; *);; +spec_finding_explanation => nrel_main_idtf: + [Обобщённая спецификация для поиска пояснения] + (* <- lang_ru;; *); + [A generalized specification for finding explanation] + (* <- lang_en;; *);; diff --git a/kb/specifications/specifications_scs/spec_finding_formal_text_of_proof.scs b/kb/specifications/specifications_scs/spec_finding_formal_text_of_proof.scs index 8885fcbbf..31d478e8f 100755 --- a/kb/specifications/specifications_scs/spec_finding_formal_text_of_proof.scs +++ b/kb/specifications/specifications_scs/spec_finding_formal_text_of_proof.scs @@ -4,4 +4,8 @@ spec_finding_formal_text_of_proof -> rrel_key_sc_element: nrel_main_proof_action general_specification -> spec_finding_formal_text_of_proof;; -spec_finding_formal_text_of_proof => nrel_main_idtf: [Обобщённая спецификация для поиска формального текста доказательства] (* <- lang_ru;; *);; +spec_finding_formal_text_of_proof => nrel_main_idtf: + [Обобщённая спецификация для поиска формального текста доказательства] + (* <- lang_ru;; *); + [A generalized specification for finding formal text of proof] + (* <- lang_en;; *);; diff --git a/kb/specifications/specifications_scs/spec_finding_idtf.scs b/kb/specifications/specifications_scs/spec_finding_idtf.scs index 46515d5d5..d6627e93d 100755 --- a/kb/specifications/specifications_scs/spec_finding_idtf.scs +++ b/kb/specifications/specifications_scs/spec_finding_idtf.scs @@ -4,4 +4,9 @@ spec_finding_idtf -> rrel_key_sc_element: nrel_idtf;; general_specification -> spec_finding_idtf;; -spec_finding_idtf => nrel_main_idtf: [Обобщённая спецификация для поиска синонимов] (* <- lang_ru;; *);; +spec_finding_idtf => nrel_main_idtf: + [Обобщённая спецификация для поиска синонимов] + (* <- lang_ru;; *); + [A generalized specification for finding synonyms] + (* <- lang_en;; *);; + \ No newline at end of file diff --git a/kb/specifications/specifications_scs/spec_finding_illustration.scs b/kb/specifications/specifications_scs/spec_finding_illustration.scs index 7bbfab45e..8aa9ca7ad 100644 --- a/kb/specifications/specifications_scs/spec_finding_illustration.scs +++ b/kb/specifications/specifications_scs/spec_finding_illustration.scs @@ -4,4 +4,9 @@ spec_finding_illustration -> rrel_key_sc_element: illustration;; general_specification -> spec_finding_illustration;; -spec_finding_illustration => nrel_main_idtf: [Обобщённая спецификация для поиска иллюстраций] (* <- lang_ru;; *);; +spec_finding_illustration => nrel_main_idtf: + [Обобщённая спецификация для поиска иллюстраций] + (* <- lang_ru;; *); + [A generalized specification for finding illustration] + (* <- lang_en;; *);; + \ No newline at end of file diff --git a/kb/specifications/specifications_scs/spec_finding_interval.scs b/kb/specifications/specifications_scs/spec_finding_interval.scs index 92fb8279a..60d3aa157 100644 --- a/kb/specifications/specifications_scs/spec_finding_interval.scs +++ b/kb/specifications/specifications_scs/spec_finding_interval.scs @@ -4,4 +4,9 @@ spec_finding_interval -> rrel_key_sc_element: exact_value; nrel_measure;; necessary_general_specification -> spec_finding_interval;; -spec_finding_interval => nrel_main_idtf: [Необходимая обобщённая спецификация для поиска интервала у интервальной величины] (* <- lang_ru;; *);; +spec_finding_interval => nrel_main_idtf: + [Необходимая обобщённая спецификация для поиска интервала у интервальной величины] + (* <- lang_ru;; *); + [A necessary generalized specification for finding interval of an intreval value] + (* <- lang_en;; *);; + \ No newline at end of file diff --git a/kb/specifications/specifications_scs/spec_finding_key_sc_element.scs b/kb/specifications/specifications_scs/spec_finding_key_sc_element.scs index 1da80b2bd..af9b40b25 100755 --- a/kb/specifications/specifications_scs/spec_finding_key_sc_element.scs +++ b/kb/specifications/specifications_scs/spec_finding_key_sc_element.scs @@ -4,4 +4,9 @@ spec_finding_key_sc_element -> rrel_key_sc_element: rrel_key_sc_element;; necessary_general_specification -> spec_finding_key_sc_element;; -spec_finding_key_sc_element => nrel_main_idtf: [Необходимая обобщённая спецификация для поиска ключевого sc-элемента семантической окрестности] (* <- lang_ru;; *);; +spec_finding_key_sc_element => nrel_main_idtf: + [Необходимая обобщённая спецификация для поиска ключевого sc-элемента семантической окрестности] + (* <- lang_ru;; *); + [A necessary generalized specification for finding key sc element] + (* <- lang_en;; *);; + \ No newline at end of file diff --git a/kb/specifications/specifications_scs/spec_finding_main_idtf.scs b/kb/specifications/specifications_scs/spec_finding_main_idtf.scs index a978e1157..85f890edc 100644 --- a/kb/specifications/specifications_scs/spec_finding_main_idtf.scs +++ b/kb/specifications/specifications_scs/spec_finding_main_idtf.scs @@ -4,4 +4,9 @@ spec_finding_main_idtf -> rrel_key_sc_element: nrel_main_idtf;; general_specification -> spec_finding_main_idtf;; -spec_finding_main_idtf => nrel_main_idtf: [Обобщённая спецификация для поиска основных идентификаторов сущности] (* <- lang_ru;; *);; +spec_finding_main_idtf => nrel_main_idtf: + [Обобщённая спецификация для поиска основных идентификаторов сущности] + (* <- lang_ru;; *); + [A generalized specification for finding main identifiers of an entity] + (* <- lang_en;; *);; + \ No newline at end of file diff --git a/kb/specifications/specifications_scs/spec_finding_main_key_sc_elem_statement.scs b/kb/specifications/specifications_scs/spec_finding_main_key_sc_elem_statement.scs index 3e5593887..c5c4e36f7 100644 --- a/kb/specifications/specifications_scs/spec_finding_main_key_sc_elem_statement.scs +++ b/kb/specifications/specifications_scs/spec_finding_main_key_sc_elem_statement.scs @@ -4,4 +4,9 @@ spec_finding_main_key_sc_elem_statement -> rrel_key_sc_element: rrel_main_key_sc necessary_general_specification -> spec_finding_main_key_sc_elem_statement;; -spec_finding_main_key_sc_elem_statement => nrel_main_idtf: [Необходимая обобщённая спецификация для поиска главного ключевого sc-элемента утверждения] (* <- lang_ru;; *);; +spec_finding_main_key_sc_elem_statement => nrel_main_idtf: + [Необходимая обобщённая спецификация для поиска главного ключевого sc-элемента утверждения] + (* <- lang_ru;; *); + [A necessary generalized specification for finding main key sc-element statement] + (* <- lang_en;; *);; + \ No newline at end of file diff --git a/kb/specifications/specifications_scs/spec_finding_maximum_studied_object_class.scs b/kb/specifications/specifications_scs/spec_finding_maximum_studied_object_class.scs index dac6e7edc..16ac51f6f 100755 --- a/kb/specifications/specifications_scs/spec_finding_maximum_studied_object_class.scs +++ b/kb/specifications/specifications_scs/spec_finding_maximum_studied_object_class.scs @@ -4,4 +4,9 @@ spec_finding_maximum_studied_object_class -> rrel_key_sc_element: rrel_maximum_s necessary_general_specification -> spec_finding_maximum_studied_object_class;; -spec_finding_maximum_studied_object_class => nrel_main_idtf: [Необходимая обобщённая спецификация для поиска максимального класса объектов исследования предметной области] (* <- lang_ru;; *);; +spec_finding_maximum_studied_object_class => nrel_main_idtf: + [Необходимая обобщённая спецификация для поиска максимального класса объектов исследования предметной области] + (* <- lang_ru;; *); + [A necessary generalized specification for finding maximum studied object class of a subject domain] + (* <- lang_en;; *);; + \ No newline at end of file diff --git a/kb/specifications/specifications_scs/spec_finding_not_maximum_studied_object_class.scs b/kb/specifications/specifications_scs/spec_finding_not_maximum_studied_object_class.scs index 6ce3d09a4..8f32a32ca 100755 --- a/kb/specifications/specifications_scs/spec_finding_not_maximum_studied_object_class.scs +++ b/kb/specifications/specifications_scs/spec_finding_not_maximum_studied_object_class.scs @@ -4,4 +4,9 @@ spec_finding_not_maximum_studied_object_class -> rrel_key_sc_element: rrel_not_m general_specification -> spec_finding_not_maximum_studied_object_class;; -spec_finding_not_maximum_studied_object_class => nrel_main_idtf: [Обобщённая спецификация для поиска немаксимального класса объектов исследования предметной области] (* <- lang_ru;; *);; +spec_finding_not_maximum_studied_object_class => nrel_main_idtf: + [Обобщённая спецификация для поиска немаксимального класса объектов исследования предметной области] + (* <- lang_ru;; *); + [A generalized specification for finding not maximum studied object class of a subject domain] + (* <- lang_en;; *);; + \ No newline at end of file diff --git a/kb/specifications/specifications_scs/spec_finding_proof_translation.scs b/kb/specifications/specifications_scs/spec_finding_proof_translation.scs index cb059dad7..bea45708a 100755 --- a/kb/specifications/specifications_scs/spec_finding_proof_translation.scs +++ b/kb/specifications/specifications_scs/spec_finding_proof_translation.scs @@ -4,4 +4,8 @@ spec_finding_proof_translation -> rrel_key_sc_element: nrel_main_proof_action;; general_specification -> spec_finding_proof_translation;; -spec_finding_proof_translation => nrel_main_idtf: [Обобщённая спецификация для поиска текста доказательства на внешнем языке] (* <- lang_ru;; *);; +spec_finding_proof_translation => nrel_main_idtf: + [Обобщённая спецификация для поиска текста доказательства на внешнем языке] + (* <- lang_ru;; *); + [A generalized specification for finding proof translation text] + (* <- lang_en;; *);; diff --git a/kb/specifications/specifications_scs/spec_finding_relation_for_common_arc.scs b/kb/specifications/specifications_scs/spec_finding_relation_for_common_arc.scs index 04ca916d2..252331337 100644 --- a/kb/specifications/specifications_scs/spec_finding_relation_for_common_arc.scs +++ b/kb/specifications/specifications_scs/spec_finding_relation_for_common_arc.scs @@ -4,4 +4,8 @@ spec_finding_relation_for_common_arc -> rrel_key_sc_element: relation;; necessary_general_specification -> spec_finding_relation_for_common_arc;; -spec_finding_relation_for_common_arc => nrel_main_idtf: [Необходимая обобщенная спецификация для поиска отношения для дуги общего вида] (* <- lang_ru;; *);; +spec_finding_relation_for_common_arc => nrel_main_idtf: + [Необходимая обобщенная спецификация для поиска отношения для дуги общего вида] + (* <- lang_ru;; *); + [A necessary generalized specification for finding relation for common edge] + (* <- lang_en;; *);; diff --git a/kb/specifications/specifications_scs/spec_finding_sc_arc_membership.scs b/kb/specifications/specifications_scs/spec_finding_sc_arc_membership.scs index b3e141868..4576a92f0 100755 --- a/kb/specifications/specifications_scs/spec_finding_sc_arc_membership.scs +++ b/kb/specifications/specifications_scs/spec_finding_sc_arc_membership.scs @@ -4,4 +4,9 @@ spec_finding_sc_arc_membership -> rrel_key_sc_element: role_relation;; general_specification -> spec_finding_sc_arc_membership;; -spec_finding_sc_arc_membership => nrel_main_idtf: [Обобщённая спецификация для поиска ролевого отношения] (* <- lang_ru;; *);; +spec_finding_sc_arc_membership => nrel_main_idtf: + [Обобщённая спецификация для поиска ролевого отношения] + (* <- lang_ru;; *); + [A generalized specification for finding role relation] + (* <- lang_en;; *);; + \ No newline at end of file diff --git a/kb/specifications/specifications_scs/spec_finding_scale_or_measure.scs b/kb/specifications/specifications_scs/spec_finding_scale_or_measure.scs index df7d6f6c9..0c1de4ca4 100644 --- a/kb/specifications/specifications_scs/spec_finding_scale_or_measure.scs +++ b/kb/specifications/specifications_scs/spec_finding_scale_or_measure.scs @@ -4,4 +4,8 @@ spec_finding_scale_or_measure -> rrel_key_sc_element: scale; measurement_of_fixe necessary_general_specification -> spec_finding_scale_or_measure;; -spec_finding_scale_or_measure => nrel_main_idtf: [Необходимая обобщённая спецификация для поиска шкалы измерения или единицы измерения параметра] (* <- lang_ru;; *);; +spec_finding_scale_or_measure => nrel_main_idtf: + [Необходимая обобщённая спецификация для поиска шкалы измерения или единицы измерения параметра] + (* <- lang_ru;; *); + [A necessary generalized specification for finding scale or measure of parameter] + (* <- lang_en;; *);; diff --git a/kb/specifications/specifications_scs/spec_finding_statement.scs b/kb/specifications/specifications_scs/spec_finding_statement.scs index 0b075ea39..2db6659c1 100755 --- a/kb/specifications/specifications_scs/spec_finding_statement.scs +++ b/kb/specifications/specifications_scs/spec_finding_statement.scs @@ -4,4 +4,8 @@ spec_finding_statement -> rrel_key_sc_element: statement;; general_specification -> spec_finding_explanation;; -spec_finding_statement => nrel_main_idtf: [Обобщённая спецификация для поиска утверждений] (* <- lang_ru;; *);; +spec_finding_statement => nrel_main_idtf: + [Обобщённая спецификация для поиска утверждений] + (* <- lang_ru;; *); + [A generalized specification for finding statement] + (* <- lang_en;; *);; diff --git a/kb/specifications/specifications_scs/spec_finding_studied_relation.scs b/kb/specifications/specifications_scs/spec_finding_studied_relation.scs index 5a1a1dc43..e649c9886 100644 --- a/kb/specifications/specifications_scs/spec_finding_studied_relation.scs +++ b/kb/specifications/specifications_scs/spec_finding_studied_relation.scs @@ -4,4 +4,8 @@ spec_finding_studied_relation -> rrel_key_sc_element: rrel_studied_relation;; general_specification -> spec_finding_studied_relation;; -spec_finding_studied_relation => nrel_main_idtf: [Обобщённая спецификация для поиска исследуемых отношений предметной области] (* <- lang_ru;; *);; +spec_finding_studied_relation => nrel_main_idtf: + [Обобщённая спецификация для поиска исследуемых отношений предметной области] + (* <- lang_ru;; *); + [A generalized specification for finding studied relation of a subject domain] + (* <- lang_en;; *);; diff --git a/kb/specifications/specifications_scs/spec_finding_subclasses.scs b/kb/specifications/specifications_scs/spec_finding_subclasses.scs index 473300272..af0b17cb6 100644 --- a/kb/specifications/specifications_scs/spec_finding_subclasses.scs +++ b/kb/specifications/specifications_scs/spec_finding_subclasses.scs @@ -4,4 +4,8 @@ spec_finding_subclasses -> rrel_key_sc_element: nrel_inclusion;; general_specification -> spec_finding_subclasses;; -spec_finding_subclasses => nrel_main_idtf: [Обобщённая спецификация для поиска подмножеств] (* <- lang_ru;; *);; +spec_finding_subclasses => nrel_main_idtf: + [Обобщённая спецификация для поиска подмножеств] + (* <- lang_ru;; *); + [A generalized specification for finding subclasses] + (* <- lang_en;; *);; diff --git a/kb/specifications/specifications_scs/spec_finding_subdividing.scs b/kb/specifications/specifications_scs/spec_finding_subdividing.scs index 465cd201c..839643c2f 100755 --- a/kb/specifications/specifications_scs/spec_finding_subdividing.scs +++ b/kb/specifications/specifications_scs/spec_finding_subdividing.scs @@ -4,4 +4,8 @@ spec_finding_subdividing -> rrel_key_sc_element: nrel_subdividing;; general_specification -> spec_finding_subdividing;; -spec_finding_subdividing => nrel_main_idtf: [Обобщённая спецификация для поиска разбиений] (* <- lang_ru;; *);; +spec_finding_subdividing => nrel_main_idtf: + [Обобщённая спецификация для поиска разбиений] + (* <- lang_ru;; *); + [A generalized specification for finding subdividing] + (* <- lang_en;; *);; diff --git a/kb/specifications/specifications_scs/spec_finding_subject_domain_with_attr.scs b/kb/specifications/specifications_scs/spec_finding_subject_domain_with_attr.scs index dd13fd29a..28da0823b 100644 --- a/kb/specifications/specifications_scs/spec_finding_subject_domain_with_attr.scs +++ b/kb/specifications/specifications_scs/spec_finding_subject_domain_with_attr.scs @@ -4,4 +4,9 @@ spec_finding_subject_domain_with_attr -> rrel_key_sc_element: attribute;; necessary_general_specification -> spec_finding_subject_domain_with_attr;; -spec_finding_subject_domain_with_attr => nrel_main_idtf: [Необходимая обобщённая спецификация для поиска роли понятия в рамках предметной области] (* <- lang_ru;; *);; +spec_finding_subject_domain_with_attr => nrel_main_idtf: + [Необходимая обобщённая спецификация для поиска роли понятия в рамках предметной области] + (* <- lang_ru;; *); + [A neccessary generalized specification for finding role of concept in subject domain] + (* <- lang_en;; *);; + \ No newline at end of file diff --git a/kb/specifications/specifications_scs/spec_finding_summary.scs b/kb/specifications/specifications_scs/spec_finding_summary.scs index 714fa13d4..545e25d5a 100755 --- a/kb/specifications/specifications_scs/spec_finding_summary.scs +++ b/kb/specifications/specifications_scs/spec_finding_summary.scs @@ -4,4 +4,8 @@ spec_finding_summary -> rrel_key_sc_element: nrel_summary;; general_specification -> spec_finding_summary;; -spec_finding_summary => nrel_main_idtf: [Обобщённая спецификация для поиска аннотации раздела] (* <- lang_ru;; *);; +spec_finding_summary => nrel_main_idtf: + [Обобщённая спецификация для поиска аннотации раздела] + (* <- lang_ru;; *); + [A generalized specification for finding section summary] + (* <- lang_en;; *);; diff --git a/kb/specifications/specifications_scs/spec_finding_superclasses.scs b/kb/specifications/specifications_scs/spec_finding_superclasses.scs index 32fb4ad2f..4b0e259f8 100644 --- a/kb/specifications/specifications_scs/spec_finding_superclasses.scs +++ b/kb/specifications/specifications_scs/spec_finding_superclasses.scs @@ -4,4 +4,9 @@ spec_finding_superclasses -> rrel_key_sc_element: nrel_inclusion;; general_specification -> spec_finding_superclasses;; -spec_finding_superclasses => nrel_main_idtf: [Обобщённая спецификация для поиска надмножеств] (* <- lang_ru;; *);; +spec_finding_superclasses => nrel_main_idtf: + [Обобщённая спецификация для поиска надмножеств] + (* <- lang_ru;; *); + [A generalized specification for finding superclasses] + (* <- lang_en;; *);; + \ No newline at end of file diff --git a/kb/specifications/specifications_scs/spec_finding_system_idtf.scs b/kb/specifications/specifications_scs/spec_finding_system_idtf.scs index acb451a6a..a9d005c7b 100755 --- a/kb/specifications/specifications_scs/spec_finding_system_idtf.scs +++ b/kb/specifications/specifications_scs/spec_finding_system_idtf.scs @@ -4,4 +4,9 @@ spec_finding_system_idtf -> rrel_key_sc_element: nrel_system_identifier;; general_specification -> spec_finding_system_idtf;; -spec_finding_system_idtf => nrel_main_idtf: [Обобщённая спецификация для поиска системного идентификатора] (* <- lang_ru;; *);; +spec_finding_system_idtf => nrel_main_idtf: + [Обобщённая спецификация для поиска системного идентификатора] + (* <- lang_ru;; *); + [A generalized specification for finding system identifier] + (* <- lang_en;; *);; + \ No newline at end of file diff --git a/kb/specifications/specifications_scs/spec_finding_translation.scs b/kb/specifications/specifications_scs/spec_finding_translation.scs index 64fe7afa8..b5be8116e 100644 --- a/kb/specifications/specifications_scs/spec_finding_translation.scs +++ b/kb/specifications/specifications_scs/spec_finding_translation.scs @@ -4,4 +4,8 @@ spec_finding_translation -> rrel_key_sc_element: nrel_sc_text_translation;; general_specification -> spec_finding_translation;; -spec_finding_translation => nrel_main_idtf: [Обобщённая спецификация для поиска трансляции семантической окрестности] (* <- lang_ru;; *);; +spec_finding_translation => nrel_main_idtf: + [Обобщённая спецификация для поиска трансляции семантической окрестности] + (* <- lang_ru;; *); + [A generalized specification for finding translation of semantic neighborhood] + (* <- lang_en;; *);; diff --git a/kb/specifications/specifications_scs/spec_finding_type_of_relation.scs b/kb/specifications/specifications_scs/spec_finding_type_of_relation.scs index 720dee961..38b759552 100644 --- a/kb/specifications/specifications_scs/spec_finding_type_of_relation.scs +++ b/kb/specifications/specifications_scs/spec_finding_type_of_relation.scs @@ -5,4 +5,9 @@ reflexive_relation; antireflexive_relation; symmetric_relation; antisymmetric_re necessary_general_specification -> spec_finding_type_of_relation;; -spec_finding_type_of_relation => nrel_main_idtf: [Необходимая обобщённая спецификация для поиска типа отношения] (* <- lang_ru;; *);; +spec_finding_type_of_relation => nrel_main_idtf: + [Необходимая обобщённая спецификация для поиска типа отношения] + (* <- lang_ru;; *); + [A necessary generalized specification for finding relation type] + (* <- lang_en;; *);; + \ No newline at end of file diff --git a/kb/specifications/specifications_scs/spec_finding_type_of_section.scs b/kb/specifications/specifications_scs/spec_finding_type_of_section.scs index 65cce04fc..ddac1b8e3 100644 --- a/kb/specifications/specifications_scs/spec_finding_type_of_section.scs +++ b/kb/specifications/specifications_scs/spec_finding_type_of_section.scs @@ -4,4 +4,8 @@ spec_finding_type_of_section -> rrel_key_sc_element: atomic_section; non_atomic_ necessary_general_specification -> spec_finding_type_of_section;; -spec_finding_type_of_section => nrel_main_idtf: [Необзходимая обобщённая спецификация для поиска типа раздела] (* <- lang_ru;; *);; +spec_finding_type_of_section => nrel_main_idtf: + [Необходимая обобщённая спецификация для поиска типа раздела] + (* <- lang_ru;; *); + [A necessary generalized specification for finding section type] + (* <- lang_en;; *);; diff --git a/kb/specifications/specifications_scs/spec_finding_type_of_statement.scs b/kb/specifications/specifications_scs/spec_finding_type_of_statement.scs index a68df0e4e..1916685dc 100644 --- a/kb/specifications/specifications_scs/spec_finding_type_of_statement.scs +++ b/kb/specifications/specifications_scs/spec_finding_type_of_statement.scs @@ -4,4 +4,8 @@ spec_finding_type_of_statement -> rrel_key_sc_element: statement_of_defining_typ general_specification -> spec_finding_type_of_statement;; -spec_finding_type_of_statement => nrel_main_idtf: [Обобщённая спецификация для поиска типа утверждения] (* <- lang_ru;; *);; +spec_finding_type_of_statement => nrel_main_idtf: + [Обобщённая спецификация для поиска типа утверждения] + (* <- lang_ru;; *); + [A generalized specification for finding statement type] + (* <- lang_en;; *);; diff --git a/kb/specifications/specifications_scs/spec_finding_using_constants.scs b/kb/specifications/specifications_scs/spec_finding_using_constants.scs index e5feeed6f..f35a66345 100644 --- a/kb/specifications/specifications_scs/spec_finding_using_constants.scs +++ b/kb/specifications/specifications_scs/spec_finding_using_constants.scs @@ -4,4 +4,8 @@ spec_finding_using_constants -> rrel_key_sc_element: nrel_using_constants;; necessary_general_specification -> spec_finding_using_constants;; -spec_finding_using_constants => nrel_main_idtf: [Необходимая обобщённая спецификация для поиска используемых констант определения] (* <- lang_ru;; *);; +spec_finding_using_constants => nrel_main_idtf: + [Необходимая обобщённая спецификация для поиска используемых констант определения] + (* <- lang_ru;; *); + [A necessary generalized specification for finding using constants of definition] + (* <- lang_en;; *);; diff --git a/kb/specifications/specifications_scs/spec_finding_using_statements.scs b/kb/specifications/specifications_scs/spec_finding_using_statements.scs index a142fdf5e..e64c00ce2 100755 --- a/kb/specifications/specifications_scs/spec_finding_using_statements.scs +++ b/kb/specifications/specifications_scs/spec_finding_using_statements.scs @@ -4,4 +4,8 @@ spec_finding_using_statements -> rrel_key_sc_element: nrel_using_statements;; general_specification -> spec_finding_using_statements;; -spec_finding_using_statements => nrel_main_idtf: [Обобщённая спецификация для поиска используемых утверждений] (* <- lang_ru;; *);; +spec_finding_using_statements => nrel_main_idtf: + [Обобщённая спецификация для поиска используемых утверждений] + (* <- lang_ru;; *); + [A necessary generalized specification for finding using statements] + (* <- lang_en;; *);;