FIN: Temporal End
Definition: The expression (s FIN e)
states that e
marks the temporal end of s
. If the second argument e
of (s FIN e)
represents a situation (i.e. e ∈ si
), then the temporal end of s
is identified with the beginning of the time interval te
assigned to e
(te
= period of time e
holds). The relation FIN
is defined only if the first argument is temporally extended (i.e. ts
is not an exact point in time). If s ∈ o
is an object, then e
marks the end of the existence of s
.
MultiNet (Multilayered Extended Semantic Networks) is developed and maintained
by Intelligent Information and Communication Systems Department of FernUniversität in Hagen.
by Intelligent Information and Communication Systems Department of FernUniversität in Hagen.