crm:P114_is_equal_in_time_to 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:P114_is_equal_in_time_to a owl:ObjectProperty,
        owl:SymmetricProperty,
        owl:TransitiveProperty ;
    rdfs:label "P114 is equal in time to"@en ;
    rdfs:comment """Scope note:
This symmetric property allows the instances of E2 Temporal Entity with the same E52 Time-Span to be equated.
This property is only necessary if the time span is unknown (otherwise the equivalence can be calculated).

This property is the same as the "equal" relationship of Allen’s temporal logic (Allen, 1983, pp. 832-843).

Examples:
- the destruction of the Villa Justinian Tempus (E6) is equal in time to the death of Maximus Venderus (E69)

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