:P122_borders_with leaf node


URI

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

Type

rdf:Property

Label

borders with

Description

Quantification: many to many (0,n:0,n)

Scope note:
This symmetric property associates an instance of E53 Place with another instance of E53 Place which shares a part of its border.
This property is purely spatial. It does not imply that the phenomena that define, by their extent, places related by P122 borders with have ever shared a respective border at the same time or even coexisted. In particular, this may be the case when the respective common border is formed by a natural feature.
This property is not transitive. This property is symmetric.

Examples:
- Scotland in its 1603 borders (E53) borders with England in its 1603 borders (E53). (Crofton, 2015)

In First Order Logic:
- P122(x,y) ⇒ E53(x)
- P122(x,y) ⇒ E53(y)
- P122(x,y) ⇒ P122(y,x)

Usage

DOMAINPROPERTYRANGE
:E53_Place :P122_borders_with :E53_Place

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

:P122_borders_with a rdf:Property ;
    rdfs:label "grenzt an"@de,
        "συνορεύει με"@el,
        "borders with"@en,
        "est limitrophe de"@fr,
        "fronteira com"@pt,
        "граничит с"@ru,
        "接壤于"@zh ;
    rdfs:comment """Quantification: many to many (0,n:0,n)

Scope note:
This symmetric property associates an instance of E53 Place with another instance of E53 Place which shares a part of its border. 
This property is purely spatial. It does not imply that the phenomena that define, by their extent, places related by P122 borders with have ever shared a respective border at the same time or even coexisted. In particular, this may be the case when the respective common border is formed by a natural feature. 
This property is not transitive. This property is symmetric.

Examples:
- Scotland in its 1603 borders (E53) borders with England in its 1603 borders (E53). (Crofton, 2015)

In First Order Logic:
- P122(x,y) ⇒ E53(x)
- P122(x,y) ⇒ E53(y)
- P122(x,y) ⇒ P122(y,x)
"""@en ;
    rdfs:domain :E53_Place ;
    rdfs:range :E53_Place .