crm:P115_finishes leaf node

@prefix crm: <http://www.cidoc-crm.org/cidoc-crm/> .
@prefix ecrm: <http://erlangen-crm.org/current/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

crm:P115_finishes a owl:ObjectProperty,
        owl:TransitiveProperty ;
    rdfs:label "P115 finishes"@en ;
    rdfs:comment """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:
- Late Bronze Age (E4) finishes Bronze Age (E4)

In First Order Logic:
P115(x,y) ⊃ E2(x)
P115(x,y) ⊃ E2(y)"""@en ;
    rdfs:domain crm:E2_Temporal_Entity ;
    rdfs:range crm:E2_Temporal_Entity ;
    owl:equivalentProperty ecrm:P115_finishes ;
    owl:inverseOf crm:P115i_is_finished_by ;
    skos:notation "P115"^^xsd:string .