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

:P176i_starts_after_the_start_of a rdf:Property ;
    rdfs:label "starts after the start of"@en,
        "commence après le 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 definitely before 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(start) &lt; 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, overlaps, contains, finished-by}. This property is transitive. This property is asymmetric.


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


Figure 14: Temporal entity A starts before the start of temporal entity B. Here A is longer than B


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


Figure 15: Temporal entity A starts before the start of temporal entity B. Here A is shorter than B

Examples of the inverse property:
- The reign of King Harold II (E4) starts before the start of the Battle of Hastings (E7). (Wikipedia 2022a)
- The life of Attila “the Hun” (E4) starts before the start of the Battle of the Catalaunian Plains (E7). [June 20, 451 AD] (Wikipedia 2022b)

In First Order Logic of the inverse property:
- P176(x,y) ⇒ E2(x)
- P176(x,y) ⇒ E2(y)
- P176(x,y) ⇒ P175(x,y)
- [P176(x,y) ∧ P176(y,z)] ⇒ P176(x,z)
- P176(x,y) ⇒ ¬P176(y,x)
"""@en ;
    rdfs:domain :E2_Temporal_Entity ;
    rdfs:range :E2_Temporal_Entity ;
    rdfs:subPropertyOf :P175i_starts_after_or_with_the_start_of ;
    owl:inverseOf :P176_starts_before_the_start_of .