:P170i_time_is_defined_by leaf node

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

:P170i_time_is_defined_by a rdf:Property ;
    rdfs:label "time is defined by"@en,
        "temps défini par"@fr,
        "врeмя опрeдeляeтся по"@ru ;
    rdfs:comment """Quantification of the inverse property: many to one (0,1:0,n)

Scope note of the inverse property:
This property associates an instance of E61 Time Primitive with the instance of E52 Time-Span that constitutes the interpretation of the terms of the time primitive as an extent in absolute, real time. 
The quantification allows several instances of E61 Time Primitive that are each expressed in different syntactic forms, to define the same instance of E52 Time-Span.

Examples of the inverse property:
- “1800/1/1 0:00:00 – 1899/31/12 23:59:59” (E61) defines time the 19(th) century (E52).
- “1968/1/1 – 2018/1/1” (E61) defines time 1968/1/1 – 2018/1/1 (E52). [an arbitrary time-span during which the Saint Titus reliquary was present in the Saint Titus Church in Heraklion, Crete]

In First Order Logic of the inverse property:
- P170(x,y) ⇒ E61(x)
- P170(x,y) ⇒ E52(y)
- P170(x, y) ⇒ P81i(x, y) ∧ P82i(x, y)
"""@en ;
    rdfs:domain :E52_Time-Span ;
    rdfs:range rdfs:Literal .