P116 starts
Scope note:
This property allows the starting point for a E2 Temporal Entity to be situated by reference to the starting point of another temporal entity of longer duration.
This property is only necessary if the time span is unknown (otherwise the relationship can be calculated). This property is the same as the "starts / started-by" relationships of Allen’s temporal logic (Allen, 1983, pp. 832-843).
Examples:
- Early Bronze Age (E4) starts Bronze Age (E4)
In First Order Logic:
P116(x,y) ⊃ E2(x)
P116(x,y) ⊃ E2(y)
inverseOf
P116 starts
Scope note:
This property allows the starting point for a E2 Temporal Entity to be situated by reference to the starting point of another temporal entity of longer duration.
This property is only necessary if the time span is unknown (otherwise the relationship can be calculated). This property is the same as the "starts / started-by" relationships of Allen’s temporal logic (Allen, 1983, pp. 832-843).
Examples:
- Early Bronze Age (E4) starts Bronze Age (E4)
In First Order Logic:
P116(x,y) ⊃ E2(x)
P116(x,y) ⊃ E2(y)
comment
Scope note:
This property allo ...... x,y) ⊃ E2(x)
P116(x,y) ⊃ E2(y)
@en
domain
label or name
P116 starts
@en