P86 s’insère dans (contient)

Date de création : 2023-11-08

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

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