P195 a été une présence de (a eu pour présence)

Date de création : 2020-05-03

Dernière mise à jour : 2023-05-25

Domaine	E93 Presence	E93_Présence
Portée	E18 Physical Thing	E18_Chose_matérielle
Sous-propriété de
Super-propriété de
Quantification	many to one, necessary (1,1 : 0,n)	plusieurs à un, nécessaire (1,1:0,n)
Note d’application	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 strong shortcut of the fully developed path from E18 Physical Thing through P196 defines, E92 Spacetime Volume, P166 was a presence of (had presence), E93 Presence.	Cette propriété associe une instance de E93_Présence à l'instance de E18_Chose_matérielle dont elle représente une restriction temporelle (c.-à-d. une tranche de temps) de la trajectoire spatio-temporelle de la chose. En d'autres termes, elle décrit où l'instance de E18_Chose_matérielle était ou s'est déplacée dans un intervalle temporel donné. L'instanciation de cette propriété constitue une partie nécessaire de l'identité de l'instance de E93_Présence. Cette propriété est un raccourci du chemin sémantique suivant : E18_Chose_matérielle, P196_définit (est_défini_par), E92_Volume_spatio-temporel, P166_a_été_une_présence_de (a_eu_pour_présence) et E93_Présence.
Exemples	Johann Joachim Winckelmann’s whereabouts in December 1755 (E93) was a presence of Johann Joachim Winckelmann (E21) (Wiencke, 2020) Johann Joachim Winckelmann’s whereabouts from November 19 1755 until April 9 1768 (E93) was a presence of Johann Joachim Winckelmann (E21) (Wiencke, 2020)	La localisation de Johann Joachim Winckelmann en décembre 1755 (E93_Présence) a été une présence de (P195_a_été_une_présence_de) Johann Joachim Winckelmann (E21_Personne) (Wiencke, 2020) La localisation de Johann Joachim Winckelmann du 19 novembre 1755 au 9 avril 1768 (E93_Présence) a été une présence de (P195_a_été_une_présence_de) Johann Joachim Winckelmann (E21_Personne) (Wiencke, 2020)
Logique	P195(x,y) ⇒ E93(x) P195(x,y) ⇒ E18(y) P195(x,y) ⇔ (∃z)[E92(z) ∧ P166(z,x) ∧ P196i(z,y)]	P195(x,y) ⇒ E93(x) P195(x,y) ⇒ E18(y) P195(x,y) ⇔ (∃z)[E92(z) ∧ P166(z,x) ∧ P196i(z,y)]
Propriétés
Note de traduction
Références