http://www.cidoc-crm.org/cidoc-crm/P122_borders_with
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)
DOMAIN | PROPERTY | RANGE |
---|---|---|
crm:E53_Place | crm:P122_borders_with | 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: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 .