This HTML5 document contains 9 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
skoshttp://www.w3.org/2004/02/skos/core#
rdfshttp://www.w3.org/2000/01/rdf-schema#
ecrmhttp://erlangen-crm.org/current/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
xsdhhttp://www.w3.org/2001/XMLSchema#

Statements

Subject Item
ecrm:P46_is_composed_of
rdf:type
owl:ObjectProperty owl:TransitiveProperty
rdfs:subPropertyOf
ecrm:P132_overlaps_with
owl:inverseOf
ecrm:P46i_forms_part_of
rdfs:label
P46 is composed of
rdfs:domain
ecrm:E18_Physical_Thing
rdfs:range
ecrm:E18_Physical_Thing
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)]
skos:notation
P46