P89 s'insère dans (contient)

Date de création : 2024-08-28

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

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

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