View source for bi'oi

==== valsi ====
bi'oi
==== type ====
experimental cmavo
==== creator ====
[[personal/krtisfranks|krtisfranks]]
==== time entered ====
Wed Oct  5 06:46:26 2022
 
== English ==
=== Definition #73003 - Preferred ===
 
==== selma'o ====
BIhI
==== definition ====

non-logical interval connective: ordered interval with specified endpoint/terminus <span class="MATH"><i>x</i><sub>1</sub></span> and signed measure/length/duration <span class="MATH"><i>x</i><sub>2</sub></span>; interval between <span class="MATH"><i>x</i><sub>1</sub></span> and <span class="MATH"><i>x</i><sub>1</sub> + <i>x</i><sub>2</sub></span> according to the ordering of the space.

==== notes ====
This word is a member of selma'o BIhI. The space must be ordered or directed in some sense. Let the space X be the traditionally-ordered field of real numbers, and x and y be in X (or x be a geometric point which is represented in such manner and which belongs to a specified line/ray which has a defined positive direction and a specification of the meaning of the length of 1 unit); then, "x bi'oi y" represents the interval between x and x + y, where y is signed. In other words, this interval is like the body of the string in the scenario in which one of its endpoints is tacked down at x and the other is dragged out a distance y therefrom in the directions specified by the signum of y (with the string being pulled taut and being of length exactly y). Maintaining the same notation and continuing discussion of "x bi'oi y": if the clusivity for the first term (or 'on the left') is specified, then x is or is not included in the referenced interval as specified; if the clusivity for the second term (or 'on the right') is specified, then x + y is or is not included in the referenced interval as specified (note: this does not generally indicate whether y is included in the referenced interval). Units, particularly for y, must be explicit when appropriate. In a connected acyclic directed graph, x would be a node and y would be the graph-geodesic distance therefrom in the direction (if y is positive), or in the opposite direction (if y is negative), of the graph. This definition enables the ISO 8601 standard for time interval specification in the cases (1) of a starting time/pastward endpoint (namely x) and a duration (y: y > 0), and (2) of an ending time/futureward endpoint (namely x) and a duration (y: y < 0), where notation for "x" and "y" (in the usage "x bi'oi y") is continued from the earlier discussion in this note in the case of the number lines or the real; note that, in this usage case, x is a point in time (a timestamp) and y is a duration (elapsed time or measure of time, and which thus has explicitly specified units or something akin to the ISO 8601 standard notation for durations). See this proposal for more information on related topics: https://mw.lojban.org/papri/Proposal:_loi_lerfu_tcita_detri;_the_final_word_on_the_problem_of_dates_and_times%3F . Importantly, the ISO 8601 standard in the case of an ending time and a duration has the terms expressed in the order of y followed by x with y being positive; when this word is used for such purposes, y must be negative, but the order of x and y may be exchanged via usage of "[[se|se]]" (resulting in "[[sebi'oi|sebi'oi]]"). Generally, the distinction between points/'positions' (represented by x) and measures/vectors/'displacements'/'translation vectors' (represented by y), in the sense of affine spaces, must be maintained when using this word. See also: "[[bi'o|bi'o]]", "[[bi'i|bi'i]]", "[[mi'i|mi'i]]", "[[bi'oi'au|bi'oi'au]]", and https://mw-live.lojban.org/papri/Extended_Dimensionality_of_Interval_cmavo .
==== gloss words ====

<ul><li>[[natlang/en/affine space interval given by position and translation vector|affine space interval given by position and translation vector]]</li><li>[[natlang/en/ordered interval given by endpoint and signed measure|ordered interval given by endpoint and signed measure]]</li><li>[[natlang/en/tack-and-drag ordered interval|tack-and-drag ordered interval]]</li></ul>

==== place keywords ====

	1.
          [[natlang/en/endpoint/terminus of interval; affine space position|endpoint/terminus of interval; affine space position]]
<br/>
	2.
          [[natlang/en/signed measure of interval; affine space translation vector|signed measure of interval; affine space translation vector]]
<br/>

==== created by ====
[[personal/krtisfranks|krtisfranks]]
==== vote information ====
1
     
==== time ====
Thu Oct 13 07:45:48 2022



<br/><font size="+1">Examples</font>
<hr/>
<dl>
</dl>

=== Etymology ===