ends before the end of
This property specifies that the temporal extent of the domain instance A of E2 Temporal Entity ends definitely before the end of the temporal extent of the range instance B of E2 Temporal Entity.
In other words, if A = [A-start, A-end] and B = [B-start, B-end], we mean A-end < B-end is true.
This property is part of the set of temporal primitives P173 – P176, P182 – P185.
This property corresponds to a disjunction (logical OR) of the following Allen temporal relations (Allen, 1983): {before, meets, overlaps, starts, during}.
This property is transitive.
Figure 22: Temporal entity A ends before the end of temporal entity B. Here A is longer than B
Figure 23: Temporal entity A ends before the end of temporal entity B. Here A is shorter than B
subPropertyOf
inverseOf
ends before the end of
This property specifies that the temporal extent of the domain instance A of E2 Temporal Entity ends definitely before the end of the temporal extent of the range instance B of E2 Temporal Entity.
In other words, if A = [A-start, A-end] and B = [B-start, B-end], we mean A-end < B-end is true.
This property is part of the set of temporal primitives P173 – P176, P182 – P185.
This property corresponds to a disjunction (logical OR) of the following Allen temporal relations (Allen, 1983): {before, meets, overlaps, starts, during}.
This property is transitive.
Figure 22: Temporal entity A ends before the end of temporal entity B. Here A is longer than B
Figure 23: Temporal entity A ends before the end of temporal entity B. Here A is shorter than B
type
comment
This property specifies that t ...... ty B. Here A is shorter than B
@en
domain
label
ends before the end of
@en