http://www.cidoc-crm.org/cidoc-crm/P169i_spacetime_volume_is_defined_by
rdf:Property
Quantification of the inverse property: many to one, necessary (1,1:0,n)
Scope note of the inverse property:
This property associates an instance of E95 Spacetime Primitive with the instance of E92 Spacetime Volume it defines.
Examples of the inverse property:
- {40°30'23"N 21°14'53"E, 40°31'40"N 21°16'43"E, 200BC-2020AD} (E95) defines spacetime volume Martin’s spatiotemporal enclosure 2020 for the evolution of the settlement of today’s city of Kastoria, Greece, since its conquest by the Romans (E92). [A square covering the current built settlement structure of Kastoria, Greece, through the years 200BC to 2020AD, which includes the extents of earlier phases of the city]
In First Order Logic of the inverse property:
- P169(x,y) ⇒ E95(x)
- P169(x,y) ⇒ E92(y)
- P169(x,y) ⇒ P1i(x,y)
| DOMAIN | PROPERTY | RANGE |
|---|---|---|
| :E92_Spacetime_Volume | :P169i_spacetime_volume_is_defined_by | rdfs:Literal |
@prefix : <http://www.cidoc-crm.org/cidoc-crm/> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
:P169i_spacetime_volume_is_defined_by a rdf:Property ;
rdfs:label "spacetime volume is defined by"@en,
"volume spatio-temporel défini par"@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 associates an instance of E95 Spacetime Primitive with the instance of E92 Spacetime Volume it defines.
Examples of the inverse property:
- {40°30'23"N 21°14'53"E, 40°31'40"N 21°16'43"E, 200BC-2020AD} (E95) defines spacetime volume Martin’s spatiotemporal enclosure 2020 for the evolution of the settlement of today’s city of Kastoria, Greece, since its conquest by the Romans (E92). [A square covering the current built settlement structure of Kastoria, Greece, through the years 200BC to 2020AD, which includes the extents of earlier phases of the city]
In First Order Logic of the inverse property:
- P169(x,y) ⇒ E95(x)
- P169(x,y) ⇒ E92(y)
- P169(x,y) ⇒ P1i(x,y)
"""@en ;
rdfs:domain :E92_Spacetime_Volume ;
rdfs:range rdfs:Literal .