P89 s'insère dans (contient)

Date de création : 2023-11-08

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

Domaine	E53 Place	E53_Lieu
Portée	E53 Place	E53_Lieu
Sous-propriété de
Super-propriété de
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 identifies an instance of E53 Place that falls wholly within the extent of another instance of E53 Place. It addresses spatial containment only and does not imply any relationship between things or phenomena occupying these places. This property is transitive and reflexive.	Cette propriété identifie une instance de E53_Lieu qui s’insère complètement dans l’étendue d’une autre instance de E53_Lieu. Cette propriété ne concerne que le confinement d’un lieu dans un autre, et n’implique aucune relation entre les choses présentes dans ces lieux ou les phénomènes s’y produisant. Cette propriété est transitive et réflexive.
Exemples	The area covered by the World Heritage Site of Stonehenge (E53) falls within the area of Salisbury Plain (E53). (Pryor, 2016)	Le lieu couvert par le site du patrimoine mondial Stonehenge (E53_Lieu) s’insère dans (P89_s’insère_dans) l’espace de Salisbury Plain (E53_Lieu) (Pryor, 2016)
Logique	P89(x,y) ⇒ E53(x) P89(x,y) ⇒ E53(y) [P89(x,y) ∧ P89(y,z)] ⇒ P89(x,z) P89(x,x)	P89(x,y) ⇒ E53(x) P89(x,y) ⇒ E53(y) [P89(x,y) ∧ P89(y,z)] ⇒ P89(x,z) P89(x,x)
Propriétés
Note de traduction
Références