crm:P122_borders_with leaf node


URI

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

Label

P122 borders with

Description

Scope note:
This symmetric property allows the instances of E53 Place which share common borders to be related as such.

This property is purely spatial, in contrast to Allen operators, which are purely temporal.

Examples:
- Scotland (E53) borders with England (E53)

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

Usage

DOMAINPROPERTYRANGE
crm:E53_Place crm:P122_borders_with crm:E53_Place

Implementation

@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:P122_borders_with a owl:ObjectProperty,
        owl:SymmetricProperty ;
    rdfs:label "P122 borders with"@en ;
    rdfs:comment """Scope note:
This symmetric property allows the instances of E53 Place which share common borders to be related as such.

This property is purely spatial, in contrast to Allen operators, which are purely temporal.

Examples:
- Scotland (E53) borders with England (E53)

In First Order Logic:
P122(x,y) ⊃ E53(x)
P122(x,y) ⊃ E53(y)
P122(x,y) ⊃ P122(y,x)"""@en ;
    rdfs:domain crm:E53_Place ;
    rdfs:range crm:E53_Place ;
    owl:equivalentProperty ecrm:P122_borders_with ;
    owl:inverseOf crm:P122_borders_with ;
    skos:notation "P122"^^xsd:string .