http://www.cidoc-crm.org/cidoc-crm/P161_has_spatial_projection
Scope note:
This property associates an instance of a E92 Spacetime Volume with an instance of E53 Place that is the result of the spatial projection of the instance of a E92 Spacetime Volume on a reference space. In general there can be more than one useful reference space to describe the spatial projection of a spacetime volume, such as that of a battle ship versus that of the seafloor. Therefore the projection is not unique.
This is part of the fully developed path that is shortcut by P7took place at (witnessed. The more fully developed path from E4 Period through P161 has spatial projection, E53 Place, P89 falls within (contains) to E53 Place.
Example
In First Order Logic:
P161(x,y) ⊃ E92(x)
P161(x,y) ⊃ E53(y)
DOMAIN | PROPERTY | RANGE |
---|---|---|
crm:E92_Spacetime_Volume | crm:P161_has_spatial_projection | crm:E53_Place |
@prefix crm: <http://www.cidoc-crm.org/cidoc-crm/> .
@prefix ecrm: <http://erlangen-crm.org/current/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
crm:P161_has_spatial_projection a owl:ObjectProperty ;
rdfs:label "P161 has spatial projection"@en ;
rdfs:comment """Scope note:
This property associates an instance of a E92 Spacetime Volume with an instance of E53 Place that is the result of the spatial projection of the instance of a E92 Spacetime Volume on a reference space. In general there can be more than one useful reference space to describe the spatial projection of a spacetime volume, such as that of a battle ship versus that of the seafloor. Therefore the projection is not unique.
This is part of the fully developed path that is shortcut by P7took place at (witnessed. The more fully developed path from E4 Period through P161 has spatial projection, E53 Place, P89 falls within (contains) to E53 Place.
Example
In First Order Logic:
P161(x,y) ⊃ E92(x)
P161(x,y) ⊃ E53(y)"""^^xsd:string ;
rdfs:domain crm:E92_Spacetime_Volume ;
rdfs:range crm:E53_Place ;
owl:equivalentProperty ecrm:P161_has_spatial_projection ;
skos:notation "P161"^^xsd:string .