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

:P195_was_a_presence_of a rdf:Property ;
    rdfs:label "was a presence of"@en,
        "a été une présence de"@fr,
        "присутствовал при"@ru ;
    rdfs:comment """Quantification: many to one, necessary (1,1:0,n)

Scope note:
This property associates an instance of E93 Presence with the instance of E18 Physical Thing of which it represents a temporal restriction (i.e. a time-slice) of the thing’s trajectory through spacetime. In other words, it describes where the instance of E18 Physical Thing was or moved around within a given time-span. Instantiating this property constitutes a necessary part of the identity of the respective instance of E93 Presence.
This property is a shortcut of the fully developed path from E18 Physical Thing through P196 defines, E92 Spacetime Volume, P166 was a presence of (had presence) to E93 Presence.

Examples:
- Johann Joachim Winckelmann’s whereabouts in December 1755 (E93) was a presence of Johann Joachim Winckelmann (E21). (Wiencke, 1998)
- Johann Joachim Winckelmann’s whereabouts from 19(th) November 1755 until 9(th) April 1768 (E93) was a presence of Johann Joachim Winckelmann (E21). (Wiencke, 1998)

In First Order Logic:
- P195(x,y) ⇒ E93(x)
- P195(x,y) ⇒ E18(y)
- P195(x,y) ⇔ (∃z)[E92(z) ∧ P166(z,x) ∧ P196i(z,y)]
"""@en ;
    rdfs:domain :E93_Presence ;
    rdfs:range :E18_Physical_Thing ;
    owl:inverseOf :P195i_had_presence .