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

:P185_ends_before_the_end_of a rdf:Property ;
    rdfs:label "ends before the end of"@en,
        "se termine avant la fin 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 definitely before the end 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) &lt; B(end )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, overlaps, starts, during}.
This property is transitive. This property is asymmetric.


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


Figure 22: Temporal entity A ends before the end of temporal entity B. Here A is longer than B


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


Figure 23: Temporal entity A ends before the end of temporal entity B. Here A is shorter than B

Examples:
- Godstow Abbey, Oxfordshire as a working abbey (E4 Period) ends before the end of the reign of Henry VIII (E4 Period).

In First Order Logic:
- P185(x,y) ⇒ E2(x)
- P185(x,y) ⇒ E2(y)
- P185(x,y) ⇒ P184(x,y)
- [P185(x,y) ∧ P185(y,z)] ⇒ P185(x,z)P185(x,y) ⇒ ¬P185(y,x)
"""@en ;
    rdfs:domain :E2_Temporal_Entity ;
    rdfs:range :E2_Temporal_Entity ;
    rdfs:subPropertyOf :P184_ends_before_or_with_the_end_of ;
    owl:inverseOf :P185i_ends_after_the_end_of .