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

:P8i_witnessed a rdf:Property ;
    rdfs:label "bezeugte"@de,
        "υπήρξε τόπος του"@el,
        "witnessed"@en,
        "a été témoin de"@fr,
        "testemunhou"@pt,
        "являлся мeстом для"@ru,
        "发生过"@zh ;
    rdfs:comment """Quantification of the inverse property: many to many (0,n:0,n)

Scope note of the inverse property:
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 of the inverse property:
- The coronation of Queen Elizabeth II (E7) took place on or within Westminster Abbey (E18). (Strong, 2005)

In First Order Logic of the inverse property:
- 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 :E18_Physical_Thing ;
    rdfs:range :E4_Period ;
    owl:inverseOf :P8_took_place_on_or_within .