:P160i_is_temporal_projection_of

@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#> .

:P160i_is_temporal_projection_of a rdf:Property ;
    rdfs:label "is temporal projection of"@en,
        "est la projection temporelle de"@fr,
        "являeтся врeмeнной проeкциeй"@ru ;
    rdfs:comment """Quantification of the inverse property: many to one, necessary (1,1:0,n)

Scope note of the inverse property:
This property describes the temporal projection of an instance of E92 Spacetime Volume. The property P4 has time-span is the same as P160 has temporal projection if it is used to document an instance of E4 Period or any subclass of it.

Examples of the inverse property:
- The spatio-temporal trajectory of the H.M.S. Temeraire from its building in 1798 to its destruction in 1838 (E92) has temporal projection the time-span of the existence of H.M.S. Temeraire (E52) [at some time within (P82) “1798-1838” (E61).] (Willis, 2010)
- The Battle of Waterloo 1815 (E7) has temporal projection the time-span of the Battle of Waterloo (E52) [at some time within (P82) “Sunday, 18(th) June 1815” (E61).] (Black, 2010)

In First Order Logic of the inverse property:
- P160(x,y) ⇒ E92(x)
- P160(x,y)⇒ E52(y)
"""@en ;
    rdfs:domain :E52_Time-Span ;
    rdfs:range :E92_Spacetime_Volume ;
    owl:inverseOf :P160_has_temporal_projection .