P156 occupe (est occupé par)

Date de création : 2020-05-03

Dernière mise à jour : 2023-05-25

Domaine	E18 Physical Thing	E18_Chose_matérielle
Portée	E53 Place	E53_Lieu
Sous-propriété de	E18 Physical Thing. P53 has former or current location (is former or current location of): E53 Place E18 Physical Thing. P157i provides reference space for : E53 Place	E18_Chose_matérielle. P53_a_pour_localisation_actuelle_ou_antérieure (est_la_localisation_actuelle_ou_antérieure_de) : E53_Lieu E18_Chose_matérielle. P157i_procure_l’espace_de_référence_pour : E53_Lieu
Super-propriété de
Quantification	many to one (0,1:0,n)	plusieurs à un (0,1:0,n)
Note d’application	This property describes the largest volume in space, an instance of E53 Place, that an instance of E18 Physical Thing has occupied at any time during its existence, with respect to the reference space relative to the physical thing itself. This allows for describing the thing itself as a place that may contain other things, such as a box that may contain coins. In other words, it is the volume that contains all the points which the thing has covered at some time during its existence. The reference space for the associated place must be the one that is permanently at rest (P157 is at rest relative to) relative to the physical thing. For instances of E19 Physical Objects it is the one which is at rest relative to the object itself, i.e., which moves together with the object. For instances of E26 Physical Feature it is one which is at rest relative to the physical feature itself and the surrounding matter immediately connected to it. Therefore, there is a 1:1 relation between the instance E18 Physical Thing and the instance of E53 Place it occupies. We include in the occupied space the space filled by the matter of the physical thing and all its inner spaces. This property implies the fully developed path from E18 Physical Thing through P196 defines, E92 Spacetime Volume, P161 has spatial projection, E53 Place. However, in contrast to P156 occupies, the property P161 has spatial projection does not constrain the reference space of the referred instance of E53 Place. In contrast to P156 occupies, for the property P53 has former or current location the following holds: It does not constrain the reference space of the referred instance of E53 Place. It identifies a possibly wider instance of E53 Place at which a thing is or has been for some unspecified time span. If the reference space of the referred instance of E53 Place is not at rest with respect to the physical thing found there, the physical thing may move away after some time to another place and/or may have been at some other place before. The same holds for the fully developed path from E18 Physical Thing through P196 defines, E92 Spacetime Volume, P161 has spatial projection, E53 Place.	Cette propriété décrit l'espace le plus volumineux (une instance de E53_Lieu) qu'une instance de E18_Chose_matérielle a occupé durant son existence, ce volume étant déterminé par rapport à l'espace relatif de la chose elle-même. Cette manière de faire permet de décrire la chose comme un lieu pouvant lui-même contenir d'autres choses, par exemple une boîte contenant des pièces de monnaie. En d'autres termes, cette propriété décrit le volume que forment tous les points qu'une chose a recouvert durant son existence. L'espace de référence du lieu associé à une chose physique doit être à l'arrêt par rapport à celle-ci (P157_est_à_l’arrêt_par_rapport_à). Dans le cas des instances de E19_Objet_matériel, cet espace de référence est celui qui est à l'arrêt par rapport à l'objet lui-même, c.-à-d. l'espace qui se déplace de concert avec l'objet. Dans le cas des instances de E26_Caractéristique_physique, cet espace de référence est celui qui est à l'arrêt par rapport à la caractéristique physique elle-même ainsi qu'à la matière qui y est immédiatement connectée. Il y a donc une relation 1:1 entre une instance de E18_Chose_matérielle et l'instance de E53_Lieu qu'elle occupe, lequel comprend à la fois l'espace compris par la matière de la chose ainsi que ses interstices internes. Cette propriété est un raccourci du chemin sémantique suivant : E18_Chose_matérielle, P196_définit, E92_Volume_spatio-temporel, P161_a_pour_projection_spatiale, E53_Lieu. Contrairement à la propriété P156_occupe, la propriété P161_a_pour_projection_spatiale n'impose pas de contraintes quant à l'espace par rapport auquel est établie l'instance de E53_Lieu. Contrairement à la propriété P156_occupe, la propriété P53_a_pour_localisation_actuelle_ou_antérieure : n'impose pas de contraintes quant à l'espace par rapport auquel est établie l'instance de E53_Lieu; identifie une instance possiblement plus large de E53_Lieu à laquelle est ou s'est trouvée la chose pour une période indéterminée. Si l'espace par rapport auquel est établie l'instance de E53_Lieu n'est pas à l'arrêt au regard de la chose physique qui s'y trouve, il est possible que cette chose physique s'éloigne vers un autre lieu après un moment (ou qu'elle se soit trouvée dans un autre lieu auparavant). Ceci s'applique en outre pour le chemin sémantique complet mentionné ci-haut : E18_Chose_matérielle, P196_définit, E92_Volume_spatio-temporel, P161_a_pour_projection_spatiale, E53_Lieu.
Exemples	The Saint Titus reliquary occupies the space of the Saint Titus reliquary [the reliquary is currently kept in the Saint Titus Church in Heraklion, Crete since 1966 and contains the skull of Saint Titus] (Fisher&Garvey, 2010) Burg Eltz near Koblenz, Germany occupies the space within the 1661AD outer walls of Burg Eltz (E53) [the castle (English name: Eltz Castle) underwent a series of expansions starting in the 12th century until it reached its current extent in 1661AD and contains buildings from various periods]	Le reliquaire de Saint-Tite (E18_Chose_matérielle) occupe (P156_occupe) l'espace du reliquaire de Saint-Tite (E53_Lieu) [le reliquaire se trouve dans l'église Saint-Tite d'Héraklion, en Crète, depuis 1966 et il contient la relique de saint Tite] (Fisher et Garvey, 2010) Le château d'Eltz (E18_Chose_matérielle) près de Coblence, en Allemagne, occupe (P156_occupe) l'espace se trouvant à l'intérieur des remparts du château d'Eltz (E53_Lieu) datant de 1661 EC [une série de travaux d'expansion du château ayant débuté au XIIe siècle et culminé en 1661 EC a eu pour résultat le château actuel qui comprend des bâtiments de diverses périodes]
Logique	P156(x,y) ⇒ E53(y) P156(x,y) ⇒ E18(x) P156(x,y) ⇔ (∃z) [E18(x) ∧ E53(y) ∧ P196(x,z) ∧ P161(z,y) ∧ P157(y,x)]	P156(x,y) ⇒ E53(y) P156(x,y) ⇒ E18(x) P156(x,y) ⇔ (∃z) [E18(x) ∧ E53(y) ∧ P196(x,z) ∧ P161(z,y) ∧ P157(y,x)]
Propriétés
Note de traduction
Références