:P86_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#> .

:P86_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 (0,n:0,n)

Scope note:
This property describes the inclusion relationship between two instances of E52 Time-Span.
This property supports the notion that the temporal extent of an instance of E52 Time-Span falls within the temporal extent of another instance of E52 Time-Span. It addresses temporal containment only, and no contextual link between the two instances of E52 Time-Span is implied. This property is transitive and reflexive.

Examples:
- The time-span of the Apollo 11 moon mission (E52) falls within the time-span of the reign of Queen Elizabeth II (E52). (Riley, 2009; Robinson, 2000)

In First Order Logic:
- P86(x,y) ⇒ E52(x) 
- P86(x,y) ⇒ E52(y)
- [P86(x,y) ∧ P86(y,z)] ⇒ P86(x,z)
- P86(x,x)
"""@en ;
    rdfs:domain :E52_Time-Span ;
    rdfs:range :E52_Time-Span ;
    owl:inverseOf :P86i_contains .