P86 s’insère dans (contient)

Date de création : 2024-08-28

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

Domaine

E52 Time-Span

E52_Intervalle_temporel

Portée

E52 Time-Span

E52_Intervalle_temporel

Sous-propriété de

Super-propriété de

Quantification

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

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

Note d’application

This property describes the inclusion relationship between two instances of E52 Time-Span.

This property supports the notion that the temporal extent of an instance of E52 Time-Span falls within the temporal extent of another instance of E52 Time-Span. It addresses temporal containment only, and no contextual link between the two instances of E52 Time-Span is implied.

This property is transitive and reflexive.

Cette propriété décrit la relation d’inclusion entre deux instances de E52_Intervalle_temporel.

Cette propriété soutient l’idée que l’étendue temporelle d’une instance de E52_Intervalle_temporel s’insère dans l’étendue temporelle d’une autre instance de E52_Intervalle_temporel. La propriété P86_s’insère_dans (contient) ne traite que de l’inclusion temporelle, et n’implique aucun lien contextuel entre les deux instances de E52_Intervalle_temporel.

Cette propriété est transitive et réflexive.

Exemples

  • The time-span of the Apollo 11 moon mission (E52) falls within the time-span of the reign of Queen Elizabeth II (E52). (Riley, 2009; Robinson, 2000)

  • L’intervalle temporel de la mission lunaire Apollo 11 (E52_Intervalle_temporel) s’insère dans (P86_s’insère_dans) le règne de la reine Elizabeth II (E52_Intervalle_temporel) (Riley, 2009; Robinson, 2000)

Logique

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

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

  • [P86(x,y) ∧ P86(y,z)] ⇒ P86(x,z)

  • P86(x,x)

P86(x,y) ⇒ E52(x)

P86(x,y) ⇒ E52(y)

[P86(x,y) ∧ P86(y,z)] ⇒ P86(x,z)

P86(x,x)

Propriétés

Note de traduction

Références