P10 s’insère dans (contient)

Date de création : 2023-11-08

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

Domaine	E92 Spacetime Volume	E92_Volume_spatio-temporel
Portée	E92 Spacetime Volume	E92_Volume_spatio-temporel
Sous-propriété de	E92 Spacetime Volume. P132 spatiotemporally overlaps with: E92 Spacetime Volume	E92_Volume_spatio-temporel. P132_recoupe_spatio-temporellement : E92_Volume_spatio-temporel
Super-propriété de	E4 Period. P9i forms part of: E4 Period E93 Presence. P166 was a presence of (had presence): E92 Spacetime Volume	E4_Période. P9i_fait_partie_de : E4_Période E93_Présence. P166_a_été_une_présence_de (a_eu_pour_présence) : E92_Volume_spatio-temporel
Quantification	many to many, necessary, dependent (1,n:0,n)	plusieurs à plusieurs, nécessaire, dépendant (1,n:0,n)
Note d’application	This property associates an instance of E92 Spacetime Volume with another instance of E92 Spacetime Volume that falls within the latter. In other words, all points in the former are also points in the latter. This property is transitive and reflexive.	Cette propriété associe une instance de E92_Volume_spatio-temporel à une autre instance de E92_Volume_spatio-temporel qui s’insère dans cette dernière. En d’autres termes, tous les points de la première instance sont également des points de la dernière. Cette propriété est transitive et réflexive.
Exemples	The Great Plague (E4) falls within The Gothic period (E4). (Porter, 2009)	La grande peste de Londres (E4_Période) s’insère dans (P10_s’insère_dans) la période de l’art gothique (E4_Période) (Porter, 2009)
Logique	P10(x,y) ⇒ E92(x) P10(x,y) ⇒ E92(y) P10(x,y) ⇒ P132(x,y) [P10(x,y) ∧ P10(y,z)] ⇒ P10(x,z) P10(x,x)	P10(x,y) ⇒ E92(x) P10(x,y) ⇒ E92(y) P10(x,y) ⇒ P132(x,y) [P10(x,y) ∧ P10(y,z)] ⇒ P10(x,z) P10(x,x)
Propriétés
Note de traduction
Références