:P10_falls_within

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

:P10_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дeлах"@ru,
        "属于"@zh ;
    rdfs:comment """Quantification: many to many, necessary, dependent (1,n:1,n)

Scope note:
This property associates an instance of E92 Spacetime Volume with another instance of E92 Spacetime Volume that falls within the latter. In other words, all points in the former are also points in the latter.
This property is transitive and reflexive.

Examples:
- The Great Plague (E4) falls within The Gothic period (E4). (Porter, 2009)

In First Order Logic:
- P10(x,y) ⇒ E92(x)
- P10(x,y) ⇒ E92(y)
- P10(x,y) ⇒ P132(x,y)
- P10(x,y) ∧ P10(y,z)] ⇒ P10(x,z)
- P10(x,x)
"""@en ;
    rdfs:domain :E92_Spacetime_Volume ;
    rdfs:range :E92_Spacetime_Volume ;
    rdfs:subPropertyOf :P132_spatiotemporally_overlaps_with ;
    owl:inverseOf :P10i_contains .