defines time (time is defined by) – P170

P170 defines time (time is defined by)

Quantification:

0,n:0,1

Scope note:

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:

“1800/1/1 0:00:00 – 1899/31/12 23:59:59” (E61) defines time the 19th 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:

  • P170(x,y) ⇒ E61(x)
  • P170(x,y) ⇒ E52(y)
  • P170(x,y) ⇒ P1(x,y)

Scope notes

Examples

Additional notes

Identifier: P170

Official URI: http://www.cidoc-crm.org/cidoc-crm/P170
OntoME URI: https://ontome.net/ontology/p1898

Domain and range

crm:E61 Time Primitive → P170 defines time (time is defined by) → crm:E52 Time-Span  (Quantifiers 0,n:0,1)

Labels

: Standard label for this language

Namespace

Parent properties

Ancestor properties

Child and descendant properties

Related properties

Profiles using this property

Comments