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

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

Scope note of the inverse property:
This property specifies that the temporal extent of the domain instance A of E2 Temporal Entity starts before or simultaneously with 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(start) ≤ B(end) is true.
This property is part of the set of temporal primitives P173 – P176, P182 – P185.
This property corresponds to the disjunction (logical OR) of the following Allen temporal relations (Allen, 1983): {before, meets, met-by, overlaps, starts, started-by, contains, finishes, finished-by, equals, during, overlapped by}.
This property is not transitive. 


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


Figure 8: Temporal entity A starts before or with the end of temporal entity B. Here A is longer than B


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


Figure 9: Temporal entity A starts before or with the end of temporal entity B. Here A is shorter than B

Examples of the inverse property:
- The legendary run from Marathon to Athens 490BC (E7) starts before or with the end of The Battle of Marathon 490BC (E7).
- LMIIB (E4) ends after or with the start of the Tutankhamun period (1332-1323 B.C.E.) (E4). [Evidence for this is provided by the scarab seal found at Poros in a context of LMIIB. The scarab belongs to the type “nh.s n Jmn”. During the Akhenaten period he production of these scarab seals stopped (the name of Amun is not referred to during his reign). So the scarab could not have been produced before the Tutankhamun period and is probably a later production.] (Karetsou, 2000)

In First Order Logic of the inverse property:
- P173(x,y) ⇒ E2(x)
- P173(x,y) ⇒ E2(y)
"""@en ;
    rdfs:domain :E2_Temporal_Entity ;
    rdfs:range :E2_Temporal_Entity ;
    owl:inverseOf :P173_starts_before_or_with_the_end_of .