:P89_falls_within leaf node

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

:P89_falls_within a rdf:Property ;
    rdfs:label "fällt in"@de,
        "περιέχεται σε"@el,
        "falls within"@en,
        "s'insère dans"@fr,
        "está contido em"@pt,
        "содeржится в"@ru,
        "位于"@zh ;
    rdfs:comment """Quantification: many to many, necessary, dependent (1,n:1,n)

Scope note:
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:
- 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:
- 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 :P89i_contains .