About: P58 has section definition     Goto   Sponge   Distinct   Permalink

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

Scope note: This property links an area (section) named by a E46 Section Definition to the instance of E18 Physical Thing upon which it is found. The CRM handles sections as locations (instances of E53 Place) within or on E18 Physical Thing that are identified by E46 Section Definitions. Sections need not be discrete and separable components or parts of an object. This is part of a more developed path from E18 Physical Thing through P58, E46 Section Definition, P87 is identified by (identifies) that allows a more precise definition of a location found on an object than the shortcut P59 has section (is located on or within). A particular instance of a Section Definition only applies to one instance of Physical Thing. Examples: - HMS Victory (E22) has section definition "poop deck of HMS Victory" (E46) In First Order Logic: P58(x,y) ⊃ E18(x) P58(x,y) ⊃ E46(y)

AttributesValues
type
inverseOf
label
  • P58 has section definition (en)
domain
range
comment
  • Scope note: This property links an area (section) named by a E46 Section Definition to the instance of E18 Physical Thing upon which it is found. The CRM handles sections as locations (instances of E53 Place) within or on E18 Physical Thing that are identified by E46 Section Definitions. Sections need not be discrete and separable components or parts of an object. This is part of a more developed path from E18 Physical Thing through P58, E46 Section Definition, P87 is identified by (identifies) that allows a more precise definition of a location found on an object than the shortcut P59 has section (is located on or within). A particular instance of a Section Definition only applies to one instance of Physical Thing. Examples: - HMS Victory (E22) has section definition "poop deck of HMS Victory" (E46) In First Order Logic: P58(x,y) ⊃ E18(x) P58(x,y) ⊃ E46(y) (en)
notation
  • P58
is inverseOf of
Faceted Search & Find service v1.16.118 as of Aug 04 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3240 as of Aug 4 2024, on Linux (x86_64-pc-linux-musl), Single-Server Edition (126 GB total memory, 2 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software