http://www.cidoc-crm.org/cidoc-crm/P4_has_time-span
rdf:Property
Quantification: many to one, necessary (1,1:0,n)
Scope note:
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:
- The Yalta Conference (E7) has time-span Yalta Conference time-span (E52). (Harbutt, 2010)
In First Order Logic:
- P4(x,y) ⇒ E2(x)
- P4(x,y) ⇒ E52(y)
| DOMAIN | PROPERTY | RANGE |
|---|---|---|
| :E2_Temporal_Entity | :P4_has_time-span | :E52_Time-Span |
@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#> .
:P4_has_time-span a rdf:Property ;
rdfs:label "hat Zeitspanne"@de,
"βρισκόταν σε εξέλιξη"@el,
"has time-span"@en,
"a pour intervalle temporel"@fr,
"tem período de tempo"@pt,
"имeeт врeмeнной интeрвал"@ru,
"发生时段是"@zh ;
rdfs:comment """Quantification: many to one, necessary (1,1:0,n)
Scope note:
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:
- The Yalta Conference (E7) has time-span Yalta Conference time-span (E52). (Harbutt, 2010)
In First Order Logic:
- P4(x,y) ⇒ E2(x)
- P4(x,y) ⇒ E52(y)
"""@en ;
rdfs:domain :E2_Temporal_Entity ;
rdfs:range :E52_Time-Span ;
owl:inverseOf :P4i_is_time-span_of .