:P10i_contains

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

:P10i_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 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 of the inverse property:
- The Great Plague (E4) falls within The Gothic period (E4). (Porter, 2009)

In First Order Logic of the inverse property:
- 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 :P10_falls_within .