P170 définit le temps (temps défini par)

Date de création : 2024-08-28

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

Domaine

E61 Time Primitive

E61_Primitive_temporelle

Portée

E52 Time-Span

E52_Intervalle_temporel

Sous-propriété de

E41 Appellation. P1i identifies (is identified by): E1 CRM Entity

E41_Appellation. P1i_identifie : E1_Entité_CRM

Super-propriété de

Quantification

many to one (0,1:0,n)

plusieurs à un (0,1:0,n)

Note d’application

This property associates an instance of E61 Time Primitive with the instance of E52 Time-Span that constitutes the interpretation of the terms of the time primitive as an extent in absolute, real time.

The quantification allows several instances of E61 Time Primitive that are each expressed in different syntactic forms, to define the same instance of E52 Time-Span.

Cette propriété associe une instance de E61_Primitive_temporelle à une instance de E52_Intervalle_temporel qui constitue l'interprétation des termes de la primitive temporelle comme une étendue en temps réel et absolu.

La quantification permet à plusieurs instances de E61_Primitive_temporelle, chacune exprimée sous une forme syntaxique différente, de définir la même instance de E52_Intervalle_temporel.

Exemples

  • “1800/1/1 0:00:00 – 1899/31/12 23:59:59” (E61) defines time the 19th century (E52).

  • “1968/1/1 – 2018/1/1” (E61) defines time 1968/1/1 – 2018/1/1 (E52). [an arbitrary time-span during which the Saint Titus reliquary was present in the Saint Titus Church in Heraklion, Crete]

  • « 1800-01-01 0:00:00 – 1899-12-21 23:59:59 » définit le temps (P170_définit_le_temps) du XIXe siècle (E52_Intervalle_temporel)

  • « 1968-01-01 – 2018-01-01 » définit le temps (P170_définit_le_temps) 1968-01-01 – 2018-01-01 [un intervalle temporel arbitraire pendant lequel le reliquaire de saint Tite était présent dans l'église Saint-Tite d'Héraklion, en Crète]

Logique

  • P170(x,y) ⇒ E61(x)

  • P170(x,y) ⇒ E52(y)

  • P170(x, y) ⇒ P81i(x, y) ∧ P82i(x, y)

P170(x,y) ⇒ E61(x)

P170(x,y) ⇒ E52(y)

P170(x, y) ⇒ P81i(x, y) ∧ P82i(x, y)

Propriétés

Note de traduction

Références