About: P46 is composed of   Goto Sponge  NotDistinct  Permalink

An Entity of Type : owl:ObjectProperty, within Data Space : data.silknow.org associated with source document(s)

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)]

AttributesValues
rdf:type
rdfs:subPropertyOf
inverseOf
rdfs:label
  • P46 is composed of (en)
rdfs:domain
rdfs:range
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)
notation
  • P46
is rdfs:subPropertyOf of
is inverseOf of
Faceted Search & Find service v1.16.103 as of Jun 21 2021


Alternative Linked Data Documents: ODE     Content Formats:       RDF       ODATA       Microdata      About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3232 as of Jun 21 2021, on Linux (x86_64-pc-linux-musl), Single-Server Edition (125 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2022 OpenLink Software