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

:P8_took_place_on_or_within a rdf:Property ;
    rdfs:label "fand statt auf oder innerhalb von"@de,
        "έλαβε χώρα σε ή εντός"@el,
        "took place on or within"@en,
        "a eu lieu à"@fr,
        "ocorreu em ou dentro"@pt,
        "имeл мeсто на или в"@ru,
        "发生的所在对象是"@zh ;
    rdfs:comment """Quantification: many to many (0,n:0,n)

Scope note:
This property describes the location of an instance of E4 Period with respect to an instance of E18 Physical Thing. 
This property is a shortcut of the more fully developed path from E4 Period through P7 took place at, E53 Place, P156i is occupied by to E18 Physical Thing.
It describes a period that can be located with respect to the space defined by an E19 Physical Object such as a ship or a building. The precise geographical location of the object during the period in question may be unknown or unimportant. 
For example, the French and German armistice of 22(nd) June 1940 was signed in the same railway carriage as the armistice of 11(th) November 1918.

Examples:
- The coronation of Queen Elizabeth II (E7) took place on or within Westminster Abbey (E18). (Strong, 2005)

In First Order Logic:
- P8(x,y) ⇒ E4(x)
- P8(x,y) ⇒ E18(y)
- P8(x,y) ⇐ (∃z) [E53(z) ˄ P7(x,z) ˄ P156i(z,y)]
"""@en ;
    rdfs:domain :E4_Period ;
    rdfs:range :E18_Physical_Thing ;
    owl:inverseOf :P8i_witnessed .