crm:P117_occurs_during 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:P117_occurs_during a owl:ObjectProperty,
        owl:TransitiveProperty ;
    rdfs:label "P117 occurs during"@en ;
    rdfs:comment """Scope note:
This property allows the entire E52 Time-Span of an E2 Temporal Entity to be situated within the Time-Span of another temporal entity that starts before and ends after the included temporal entity.

This property is only necessary if the time span is unknown (otherwise the relationship can be calculated). This property is the same as the "during / includes" relationships of Allen’s temporal logic (Allen, 1983, pp. 832-843).

Examples:
- Middle Saxon period (E4) occurs during Saxon period (E4)

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