finishes – P115
P115 finishes
Domain:
Range:
Quantification:
No quantifiers yet.
Scope note:
This property allows the ending point for a E2 Temporal Entity to be situated by reference to the ending 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 "finishes / finished-by" relationships of Allen’s temporal logic (Allen, 1983, pp. 832-843).
Examples:
No example yet.
In First Order Logic:
- P115(x,y) ⊃ E2(x)
- P115(x,y) ⊃ E2(y)
Scope Notes
| Show | Scope note | Language | Namespace | View details | Comments |
|---|---|---|---|---|---|
| This property allows the ending point for a E2 Temporal Entity to be situated by reference to the ending 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 "finishes / finished-by" relationships of Allen’s temporal logic (Allen, 1983, pp. 832-843). | en | WIP | 0 |
Examples
| Show | Example | Language | Namespace | View details | Comments |
|---|
Additional notes
| Show | Notes | Language | Namespace | View details | Comments |
|---|
Identifier : P115
Domain and range
E2 Temporal Entity → P115 finishes → E2 Temporal Entity
Labels
| Label | Language | Last updated | View details | Comments |
|---|---|---|---|---|
| beendet * | de | 2018-09-14 | 0 | |
| περατώνει * | el | 2018-09-14 | 0 | |
| finishes * | en | 2018-09-14 | 0 | |
| termine * | fr | 2018-09-14 | 0 | |
| finaliza * | pt | 2018-09-14 | 0 | |
| заканчивает * | ru | 2018-09-14 | 0 | |
| 结束了 * | zh | 2018-09-14 | 0 |
: Standard label for this language
Namespace
| Namespace | Last updated |
|---|---|
| CIDOC CRM version 6.2 | 2020-01-29 |
Parent properties
| Domain | Property | Range | Justification | Relation namespace | View association |
|---|
Ancestor properties
| Domain | Property | Range | Depth | Property namespace |
|---|
Childs and descendant properties
| Domain | Property | Range | Depth | Property namespace |
|---|
Related properties
| Relation | Property | Justification | Relation namespace | View details |
|---|
Profiles using this class
| Label | Start date | End date | Last updated |
|---|
Comments
No comment found.