:P169i_spacetime_volume_is_defined_by leaf node


URI

http://www.cidoc-crm.org/cidoc-crm/P169i_spacetime_volume_is_defined_by

Type

rdf:Property

Label

spacetime volume is defined by

Description

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)

Usage

DOMAINPROPERTYRANGE
:E92_Spacetime_Volume :P169i_spacetime_volume_is_defined_by rdfs:Literal

Implementation

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