:P4_has_time-span leaf node


URI

http://www.cidoc-crm.org/cidoc-crm/P4_has_time-span

Type

rdf:Property

Label

has time-span

Description

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)

Usage

DOMAINPROPERTYRANGE
:E2_Temporal_Entity :P4_has_time-span :E52_Time-Span

Implementation

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