defines time (time is defined by) – P170
P170 defines time (time is defined by)
Domain:
Range:
Quantification:
0,n:0,1
Subproperty of:
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
Comments
No comment found.