P161 a pour projection spatiale (est la projection spatiale de)

Date de création : 2024-08-28

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

Domaine	E92 Spacetime Volume	E92_Volume_spatio-temporel
Portée	E53 Place	E53_Lieu
Sous-propriété de
Super-propriété de
Quantification	many to many, necessary (1,n:0,n)	plusieurs à plusieurs, nécessaire (1,n:0,n)
Note d’application	This property associates an instance of E92 Spacetime Volume with an instance of E53 Place that is the result of the spatial projection of the instance of the E92 Spacetime Volume on a reference space. In general, there can be more than one useful reference space (for reference space see P156 occupies and P157 is at rest relative to) to describe the spatial projection of a spacetime volume, for example, in describing a sea battle, the difference between the battle ship and the seafloor as reference spaces. Thus, it can be seen that the projection is not unique. The spatial projection is the actual spatial coverage of a spacetime volume, which normally has fuzzy boundaries except for instances of E92 Spacetime Volume which are geometrically defined in the same reference system as the range of this property and are an exception to this and do not have fuzzy boundaries. Modelling explicitly fuzzy spatial projections serves therefore as a common topological reference of different spatial approximations rather than absolute geometric determination, for instance for relating outer or inner spatial boundaries for the respective spacetime volumes. The spatial projection is unique with respect to the reference system. For instance, there is exactly one spatial projection of Lord Nelson’s dying relative to the ship HMS Victory, i.e. the location of his body relative to the ship HMS Victory at the time of his death. In case the domain of an instance of P161 has spatial projection is an instance of E4 Period, the spatial projection describes all areas that period was ever present at, for instance, the Roman Empire. This property is part of the fully developed path from E18 Physical Thing through P196 defines, E92 Spacetime Volume, P161 has spatial projection to E53 Place, which in turn is implied by P156 occupies (is occupied by).	Cette propriété associe une instance de E92_Volume_spatio-temporel à une instance de E53_Lieu qui est le résultat de la projection spatiale de l'instance de E92_Volume_spatio-temporel dans un espace de référence. En général, il peut y avoir plus d'un espace de référence utile (pour l'espace de référence voir P156_occupe et P157_est_à_l’arrêt_par_rapport_à) pour décrire la projection spatiale d'un volume spatio-temporel. Par exemple, pour décrire une bataille navale, il est possible de distinguer le navire du fond marin comme espaces de référence qui permettent de constater que la projection n'est pas unique. La projection spatiale est la couverture spatiale réelle d'un volume spatio-temporel qui est normalement constitué de limites floues, sauf pour les instances de E92_Volume_spatio-temporel qui sont définies géométriquement dans le même système de référence que la portée de cette propriété. Ces dernières sont une exception à la règle et n'ont donc pas de limites floues. La modélisation de projections spatiales explicitement floues sert donc de référence topologique commune de différentes approximations spatiales plutôt qu'une détermination géométrique absolue. Par exemple, cela permet d'associer les limites spatiales externes ou internes à leurs volumes spatio-temporels respectifs. La projection spatiale est unique par rapport à son système de référence. Par exemple, il n'y a qu'une seule projection spatiale du décès de Lord Nelson par rapport au HMS Victory, c.-à-d. la localisation de son corps par rapport au navire à ce moment. Dans le cas où le domaine de P161_a_pour_projection_spatiale est une instance de E4_Période, la projection spatiale décrit toutes les régions associées à cette période tout au long de son déroulement, par exemple l'Empire romain. Cette propriété fait partie du chemin sémantique complètement développé E18_Chose_matérielle, P196_définit (est_défini_par), E92_Volume_spatio-temporel, P161_a_pour_projection_spatiale (est_la_projection_spatiale_de), qui peut être raccourci par l'utilisation de P156_occupe (est_occupé_par).
Exemples	The Roman Empire (E4) has spatial projection all areas ever claimed by Rome (E53). (Clare & Edwards, 1992)	L'Empire romain (E4_Période) a pour projection spatiale (P161_a_pour_projection_spatiale) toutes les régions revendiquées par Rome (E53_Lieu) (Clare & Edwards, 1992)
Logique	P161(x,y) ⇒ E92(x) P161(x,y) ⇒ E53(y) (∃y,z,u) [E92(x) ˄ E53(y) ˄ E53(z) ˄ E18(u) ˄ P157(y,u) ˄ P157(z,u) ˄ P161(x,y) ˄ P161(x,z) ] ⇒ (x = y) P161(x,y) ˄ E4(x) ⇒ P7(x,y)	P161(x,y) ⇒ E92(x) P161(x,y) ⇒ E53(y) (∃y,z,u) [E92(x) ˄ E53(y) ˄ E53(z) ˄ E18(u) ˄ P157(y,u) ˄ P157(z,u) ˄ P161(x,y) ˄ P161(x,z) ] ⇒ (x = y) P161(x,y) ˄ E4(x) ⇒ P7(x,y)
Propriétés
Note de traduction
Références