@prefix rdf: . @prefix ecrm: . @prefix owl: . ecrm:P46_is_composed_of rdf:type owl:TransitiveProperty , owl:ObjectProperty . @prefix rdfs: . ecrm:P46_is_composed_of rdfs:subPropertyOf ecrm:P132_overlaps_with ; owl:inverseOf ecrm:P46i_forms_part_of ; rdfs:label "P46 is composed of"@en ; rdfs:domain ecrm:E18_Physical_Thing ; rdfs:range ecrm:E18_Physical_Thing ; rdfs:comment "Scope note:\nThis property allows instances of E18 Physical Thing to be analysed into component elements.\n\nComponent 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.\n\nThis 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.\n\nThe instances of E57 Material of which an item of E18 Physical Thing is composed should be documented using P45 consists of (is incorporated in).\n\nExamples:\n- the Royal carriage (E22) forms part of the Royal train (E22)\n- the \"Hog's Back\" (E24) forms part of the \"Fosseway\" (E24)\n\nIn First Order Logic:\nP46(x,y) \u2283 E18(x)\nP46(x,y) \u2283 E18(y)\nP46(x,y) \u2283 P132(x,y)\nP46(x,y) \u2283 (\uF024uzw)[E93(u) \u2227 P166 (x,u) \u2227 E52(z) \u2227 P164(u,z) \u2227 E93(w) \u2227 P166 (y,w) \u2227\nP164(w,z) \u2227 P10(w,u)]"@en . @prefix xsd: . @prefix skos: . ecrm:P46_is_composed_of skos:notation "P46"^^xsd:string .