is composed of (forms part of) – P46

P46 is composed of (forms part of)

Quantification:

0,n:0,n

Scope note:

This property allows instances of E18 Physical Thing to be analysed into component elements.

Component elements, since they are themselves instances of E18 Physical Thing, may be further analysed into sub-components, thereby creating a hierarchy of part decomposition. An instance of E18 Physical Thing may be shared between multiple wholes, for example two buildings may share a common wall. This property does not specify when and for how long a component element resided in the respective whole. If a component is not part of a whole from the beginning of existence or until the end of existence of the whole, the classes E79 Part Addition and E90 Part Removal can be used to document when a component became part of a particular whole and/or when it stopped being a part of it. For the time-span of being part of the respective whole, the component is completely contained in the place the whole occupies.

This property is intended to describe specific components that are individually documented, rather than general aspects. Overall descriptions of the structure of an instance of E18 Physical Thing are captured by the P3 has note property.

The instances of E57 Material of which an item of E18 Physical Thing is composed should be documented using P45 consists of (is incorporated in).

Examples:

the Royal carriage (E22) forms part of the Royal train (E22)

the “Hog’s Back” (E24) forms part of the “Fosseway” (E24)

In First Order Logic:

  • P46(x,y) ⇒ E18(x)
  • P46(x,y) ⇒ E18(y)

Scope notes

Show Scope note Language Namespace View details Comments
This property allows instances of E18 Physical Thing to be analysed into component elements. Component elements, since they are themselves instances of E18 Physical Thing, may be further analysed into sub-components, thereby creating a hierarchy of part decomposition. An instance of E18 Physical Thing may be shared between multiple wholes, for example two buildings may share a common wall. This property does not specify when and for how long a component element resided in the respective whole. If a component is not part of a whole from the beginning of existence or until the end of existence of the whole, the classes E79 Part Addition and E90 Part Removal can be used to document when a component became part of a particular whole and/or when it stopped being a part of it. For the time-span of being part of the respective whole, the component is completely contained in the place the whole occupies. This property is intended to describe specific components that are individually documented, rather than general aspects. Overall descriptions of the structure of an instance of E18 Physical Thing are captured by the P3 has note property. The instances of E57 Material of which an item of E18 Physical Thing is composed should be documented using P45 consists of (is incorporated in). en CIDOC CRM version 6.2 0

Examples

Show Example Language Namespace View details Comments
the Royal carriage (E22) forms part of the Royal train (E22) en CIDOC CRM version 6.2 0
the “Hog’s Back” (E24) forms part of the “Fosseway” (E24) en CIDOC CRM version 6.2 0

Additional notes

Show Notes Type Language Namespace View details Comments

Identifier: P46

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

Domain and range

crm:E18 Physical Thing → P46 is composed of (forms part of) → crm:E18 Physical Thing  (Quantifiers 0,n:0,n)

Labels

Label Language Last updated View details Comments
is composed of (forms part of) en 2022-06-13 0
est composée de * fr 2021-06-10 0
составлен из * ru 2021-06-10 0
有组件 * zh 2021-06-10 0
é composto de * pt 2021-06-10 0
αποτελείται από * el 2021-06-10 0
ist zusammengesetzt aus * de 2021-06-10 0

: Standard label for this language

Namespace

Namespace Last updated
CIDOC CRM version 7.1.2 2022-06-13
CIDOC CRM version 5.0.4 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

Ancestor properties

Domain Property Range Depth Property namespace

Child and descendant properties

Domain Property Range Depth Property namespace
crm:E19 Physical Object (1,1) P56 bears feature (is found on) (0,n) crm:E26 Physical Feature 1 CIDOC CRM version 6.2

Related properties

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

Profiles using this property

Label Version Status Last updated
READ-IT 1 Ongoing 2023-10-25
Artefacts – Characteristics 1 Ongoing 2023-10-25
Silknow working profile 1 Ongoing 2023-10-25
Physical human-made things and basic information about them 1 Ongoing 2023-11-30

Comments