http://www.cidoc-crm.org/cidoc-crm/P121_overlaps_with
Scope note:
This symmetric property allows the instances of E53 Place with overlapping geometric extents to be associated with each other.
It does not specify anything about the shared area. This property is purely spatial, in contrast to Allen operators, which are purely temporal.
Examples:
- the territory of the United States (E53) overlaps with the Arctic (E53)
In First Order Logic:
P121(x,y) ⊃ E53(x)
P121(x,y) ⊃ E53(y)
P121(x,y) ⊃ P121(y,x)
DOMAIN | PROPERTY | RANGE |
---|---|---|
crm:E53_Place | crm:P121_overlaps_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:P121_overlaps_with a owl:ObjectProperty,
owl:SymmetricProperty ;
rdfs:label "P121 overlaps with"@en ;
rdfs:comment """Scope note:
This symmetric property allows the instances of E53 Place with overlapping geometric extents to be associated with each other.
It does not specify anything about the shared area. This property is purely spatial, in contrast to Allen operators, which are purely temporal.
Examples:
- the territory of the United States (E53) overlaps with the Arctic (E53)
In First Order Logic:
P121(x,y) ⊃ E53(x)
P121(x,y) ⊃ E53(y)
P121(x,y) ⊃ P121(y,x)"""@en ;
rdfs:domain crm:E53_Place ;
rdfs:range crm:E53_Place ;
owl:equivalentProperty ecrm:P121_overlaps_with ;
owl:inverseOf crm:P121_overlaps_with ;
skos:notation "P121"^^xsd:string .