occupies (is occupied by) – P156

P156 occupies (is occupied by)

Quantification:

0,n:0,1

Scope note:

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 to 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 to E53 Place.

Examples:

The Saint Titus reliquary (E22) occupies the space of the Saint Titus reliquary (E53). [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 (E24) 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.]

In First Order Logic:

  • P156(x,y) ⇒ E18(x)
  • P156(x,y) ⇒ E53(y)
  • P156(x,y) ⇒ P53(x,y)
  • P156(x,y) ⇒ P157(x,y)

Scope notes

Show Scope note Language Namespace View details Comments
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 to 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 to E53 Place. en CIDOC CRM version 7.1.2 0

Examples

Show Example Language Namespace View details Comments
The Saint Titus reliquary (E22) occupies the space of the Saint Titus reliquary (E53). [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) en CIDOC CRM version 7.1.2 0
Burg Eltz near Koblenz, Germany (E24) 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.] en CIDOC CRM version 7.1.2 0

Additional notes

Show Notes Type Language Namespace View details Comments

Identifier: P156

Official URI: http://www.cidoc-crm.org/cidoc-crm/P156_occupies
OntoME URI: https://ontome.net/ontology/p141

Domain and range

crm:E18 Physical Thing → P156 occupies (is occupied by) → crm:E53 Place  (Quantifiers 0,n:0,1)

Labels

Label Language Last updated View details Comments
occupies (is occupied by) * en 2022-06-13 0

: Standard label for this language

Namespace

Namespace Last updated
CIDOC CRM version 7.1.2 2022-06-13
CIDOC CRM version 6.2 2021-06-10

Parent properties

Domain Property Range Property namespace Relation defined in Justification View details Edit Delete Comments
crm:E18 Physical Thing (0,n) P53 has former or current location (is former or current location of) (1,n) crm:E53 Place CIDOC CRM version 7.1.2 CIDOC CRM version 7.1.2 0
crm:E53 Place (0,n) P157 is at rest relative to (provides reference space for) (1,n) crm:E18 Physical Thing CIDOC CRM version 7.1.2 CIDOC CRM version 7.1.2 0

Ancestor properties

Domain Property Range Depth Property namespace

Child and descendant properties

Domain Property Range Depth Property namespace

Related properties

Relation Property Property namespace Relation defined in Justification View details Edit Delete Comments

Profiles using this property

Label Version Status Last updated

Comments