STRT: Temporal Beginning
Definition: The expression (s STRT t)
states that the temporal beginning of an event s
or the beginning of the validity of a state of affairs s
is determined by the second argument t
, which can be another situation, a moment, or a period of time. If the second argument of the expression (x STRT y)
denotes a situation (i.e. y ∈ si
), then the temporal beginning of x
is determined by the beginning of that time interval ty
which is attached to the situation y
(ty
= time interval of the validity of y
). In this case, the duration of y
or ty
must not be longer than that of situation x
. The relation STRT
is defined only in those cases where the first argument has a certain duration. See also FIN.
by Intelligent Information and Communication Systems Department of FernUniversität in Hagen.