P10 s’insère dans (contient)

Date de création : 2024-08-28

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

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:1,n)

plusieurs à plusieurs, nécessaire, dépendant (1,n:1,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