crm:P46_is_composed_of

@prefix crm: <http://www.cidoc-crm.org/cidoc-crm/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

crm:P46_is_composed_of a owl:ObjectProperty,
        owl:TransitiveProperty ;
    rdfs:label "P46 is composed of"@en ;
    rdfs:comment """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)
P46(x,y) ⊃ P132(x,y)
P46(x,y) ⊃ (uzw)[E93(u) ∧ P166 (x,u) ∧ E52(z) ∧ P164(u,z) ∧ E93(w) ∧ P166 (y,w) ∧
P164(w,z) ∧ P10(w,u)]"""@en ;
    rdfs:domain crm:E18_Physical_Thing ;
    rdfs:range crm:E18_Physical_Thing ;
    rdfs:subPropertyOf crm:P132_overlaps_with ;
    owl:inverseOf crm:P46i_forms_part_of ;
    skos:notation "P46"^^xsd:string .