:P182_ends_before_or_with_the_start_of

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

:P182_ends_before_or_with_the_start_of a rdf:Property ;
    rdfs:label "ends before or with the start of"@en,
        "se termine avant ou au moment du début de"@fr,
        "заканчиваeтся до или с началом"@ru ;
    rdfs:comment """Quantification: many to many (0,n:0,n)

Scope note:
This property specifies that the temporal extent of the domain instance A of E2 Temporal Entity ends before or simultaneously with the start of the temporal extent of the range instance B of E2 Temporal Entity. 
In other words, if A = [A(start), A(end)] and B = [B(start), B(end)], it means A(end) ≤ B(start) is true.
This property is part of the set of temporal primitives P173 – P176, P182 – P185.
This property corresponds to a disjunction (logical OR) of the following Allen temporal relations (Allen, 1983): {before, meets}.
This property is transitive. This property is asymmetric.


https://cidoc-crm.org/html/version_images/images_7.1.3/image_09.png


Figure 16: Temporal entity A ends before or with the start of temporal entity B. Here A is longer than B


https://cidoc-crm.org/html/version_images/images_7.1.3/image_10.png


Figure 17: Temporal entity A ends before or with the start of temporal entity B. Here A is shorter than B

Examples:
- Lerna III (E4) ends before or with the start of Lerna IV (E4). [“The site at Lerna probably was not left uninhabited for long after the destruction of the House of the Tiles and the raising of the tumulus. If there was a gap corresponding to the earliest stage of EH III in the Argolid, as has been suggested by some (see, e.g., Manning 1995: 55–60), it was a brief one. In Rutter’s view, the short life of the Fourth Settlement began ca. 2200/2150 b.c. and ended ca. 2050/2000 b.c.”] (Banks &amp; Reese, 2013)
- The use of LH I graves of Krisa in Phocis (E4) ends before or with the start of LH III phase of reuse of the graves of Krisa in Phocis (E4). [“…a possible hiatus in the occupation of certain sites such as the settlement of Krisa in Phocis, which was well occupied in the MH and LHIII periods. LHIIB pottery from this settlement has already been identified, but no certain example of LHIIA pottery.”] (Phialon 2018)

In First Order Logic:
- P182(x,y) ⇒ E2(x)
- P182(x,y) ⇒ E2(y)
- P182(x,y) ⇒ P176(x,y)
- P182(x,y) ⇒ P185(x,y)
- [P182(x,y) ⋀ P182(y,z) ⇒ P182(x,z)]
- P182(x,y) ⇒ ¬P182(y,x)
"""@en ;
    rdfs:domain :E2_Temporal_Entity ;
    rdfs:range :E2_Temporal_Entity ;
    rdfs:subPropertyOf :P176_starts_before_the_start_of,
        :P185_ends_before_the_end_of ;
    owl:inverseOf :P182i_starts_after_or_with_the_end_of .