:P89i_contains leaf node


URI

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

Type

rdf:Property

Label

contains

Description

Quantification of the inverse property: many to many, necessary, dependent (1,n:1,n)

Scope note of the inverse property:
This property identifies an instance of E53 Place that falls wholly within the extent of another instance of E53 Place.
It addresses spatial containment only and does not imply any relationship between things or phenomena occupying these places.
This property is transitive and reflexive.

Examples of the inverse property:
- The area covered by the World Heritage Site of Stonehenge (E53) falls within the area of Salisbury Plain (E53). (Pryor, 2016)

In First Order Logic of the inverse property:
- P89(x,y) ⇒ E53(x)
- P89(x,y) ⇒ E53(y)
- [P89(x,y) ∧ P89(y,z)] ⇒ P89(x,z)
- P89(x,x)

Usage

DOMAINPROPERTYRANGE
:E53_Place :P89i_contains :E53_Place

Implementation

@prefix : <http://www.cidoc-crm.org/cidoc-crm/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

:P89i_contains a rdf:Property ;
    rdfs:label "enthält"@de,
        "περιέχει"@el,
        "contains"@en,
        "contient"@fr,
        "contém"@pt,
        "содeржит"@ru,
        "包括"@zh ;
    rdfs:comment """Quantification of the inverse property: many to many, necessary, dependent (1,n:1,n)

Scope note of the inverse property:
This property identifies an instance of E53 Place that falls wholly within the extent of another instance of E53 Place.
It addresses spatial containment only and does not imply any relationship between things or phenomena occupying these places.
This property is transitive and reflexive.

Examples of the inverse property:
- The area covered by the World Heritage Site of Stonehenge (E53) falls within the area of Salisbury Plain (E53). (Pryor, 2016)

In First Order Logic of the inverse property:
- P89(x,y) ⇒ E53(x)
- P89(x,y) ⇒ E53(y)
- [P89(x,y) ∧ P89(y,z)] ⇒ P89(x,z)
- P89(x,x)
"""@en ;
    rdfs:domain :E53_Place ;
    rdfs:range :E53_Place ;
    owl:inverseOf :P89_falls_within .