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

Date de création : 2024-08-28

Dernière mise à jour : 2024-08-28

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 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.

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, 1998)

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

  • 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, 1998)

  • 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