crm:P168_place_is_defined_by leaf node


URI

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

Label

P168_place_is_defined_by

Description

Scope note:

This property associates an instance of E53 Place with an instance of E94 Space Primitive that defines it. Syntactic variants or use of different scripts may result in multiple instances of E94 Space Primitive defining exactly the same place. Transformations between different reference systems in general result in new definitions of places approximating each other and not in alternative definitions. Note that it is possible for a place to be defined by phenomena causal to it or other forms of identification rather than by an instance of E94 Space Primitive. In this case, this property must not be used for approximating the respective instance of E53 Place with an instance of E94 Space Primitive.

In First Order Logic:
P168(x,y) ⊃ E53(x)
P168(x,y) ⊃ E94(y)

Usage

DOMAINPROPERTYRANGE
crm:E53_Place crm:P168_place_is_defined_by owl:Thing (inferred)

Implementation

@prefix crm: <http://www.cidoc-crm.org/cidoc-crm/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

crm:P168_place_is_defined_by a owl:DatatypeProperty ;
    rdfs:comment """Scope note:\r
This property associates an instance of E53 Place with an instance of E94 Space Primitive that defines it. Syntactic variants or use of different scripts may result in multiple instances of E94 Space Primitive defining exactly the same place. Transformations between different reference systems in general result in new definitions of places approximating each other and not in alternative definitions. Note that it is possible for a place to be defined by phenomena causal to it or other forms of identification rather than by an instance of E94 Space Primitive. In this case, this property must not be used for approximating the respective instance of E53 Place with an instance of E94 Space Primitive.

In First Order Logic:
P168(x,y) ⊃ E53(x)
P168(x,y) ⊃ E94(y)"""^^xsd:string ;
    rdfs:domain crm:E53_Place .