:P4i_is_time-span_of leaf node

@prefix : <http://www.cidoc-crm.org/cidoc-crm/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

:P4i_is_time-span_of a rdf:Property ;
    rdfs:label "ist Zeitspanne von"@de,
        "είναι χρονικό διάστημα του/της"@el,
        "is time-span of"@en,
        "est l’intervalle temporel de"@fr,
        "é o período de tempo de"@pt,
        "являeтся врeмeнным интeрвалом"@ru,
        "是时段"@zh ;
    rdfs:comment """Quantification of the inverse property: many to one, necessary (1,1:0,n)

Scope note of the inverse property:
This property associates an instance of E2 Temporal Entity with the instance of E52 Time-Span during which it was on-going. The associated instance of E52 Time-Span is understood as the real time-span during which the phenomena making up the temporal entity instance were active. More than one instance of E2 Temporal Entity may share a common instance of E52 Time-Span only if they come into being and end being due to identical declarations or events.

Examples of the inverse property:
- The Yalta Conference (E7) has time-span Yalta Conference time-span (E52). (Harbutt, 2010)

In First Order Logic of the inverse property:
- P4(x,y) ⇒ E2(x)
- P4(x,y) ⇒ E52(y)
"""@en ;
    rdfs:domain :E52_Time-Span ;
    rdfs:range :E2_Temporal_Entity ;
    owl:inverseOf :P4_has_time-span .