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

Date de création : 2023-11-08

Dernière mise à jour : 2023-12-22

Domaine

E93 Presence

E93_Présence

Portée

E92 Spacetime Volume

E92_Volume_spatio-temporel

Sous-propriété de

E92 Spacetime Volume. P10 falls within (contains): E92 Spacetime Volume

E92_Volume_spatio-temporel. P10_s’insère_dans (contient) : E92_Volume_spatio-temporel

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 E92 Spacetime Volume of which it represents a temporal restriction (i.e.: a time-slice). Instantiating this property constitutes a necessary part of the identity of the respective instance of E93 Presence.

Cette propriété associe une instance de E93_Présence à l'instance de E92_Volume_spatio-temporel dont elle représente une restriction temporelle (c.-à-d. une tranche de temps). L'instanciation de cette propriété constitue une partie nécessaire de l'identité de l'instance de E93_Présence.

Exemples

  • The Roman Empire on 19th August AD 14 (E93) was a presence of The Roman Empire (E4). (Clare and Edwards, 1992)

  • L’Empire romain le 19 août 14 EC (E93_Présence) a été une présence de (P166_a_été_une_présence_de) l’Empire romain (Clare & Edwards, 1992)

Logique

P166(x,y) ⇒ E93(x),

P166(x,y) ⇒ E92(y),

P166(x,y) ⇒ P10(x,y)

P166(x,y) ⇒ E93(x),

P166(x,y) ⇒ E92(y),

P166(x,y) ⇒ P10(x,y)

Propriétés

Note de traduction

Références