has section definition (defines section) – P58

P58 has section definition (defines section)

Quantification:

1,1:0,n

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)

Scope notes

Show Scope note Language Namespace View details Comments
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. en CIDOC CRM version 5.0.4 0

Examples

Show Example Language Namespace View details Comments
HMS Victory (E22) has section definition “poop deck of HMS Victory” (E46) en CIDOC CRM version 5.0.4 0

Additional notes

Show Notes Type Language Namespace View details Comments

Identifier: P58

Official URI: http://www.cidoc-crm.org/cidoc-crm/P58_has_section_definition
OntoME URI: https://ontome.net/ontology/p54

Domain and range

crm:E18 Physical Thing → P58 has section definition (defines section) → crm:E46 Section Definition  (Quantifiers 1,1:0,n)

Labels

Label Language Last updated View details Comments
has section definition (defines section) * en 2022-06-13 0
a pour désignation de section (définit une section de) fr 2024-11-21 0
имеет определение района (определяет район) ru 2024-11-21 0
tem designação de seção (define uma seção de) pt 2024-11-21 0
hat Abschittsdefinition (definiert Abschitt auf oder von) de 2024-11-21 0
έχει ορισμό τμήματος (ορίζει τμήμα σε) el 2024-11-21 0

: Standard label for this language

Namespace

Namespace Last updated
CIDOC CRM version 5.0.4 2022-06-13
CIDOC CRM version 6.2 2021-06-10

Parent properties

Domain Property Range Property namespace Relation defined in Justification View details Edit Delete Comments

Ancestor properties

Domain Property Range Depth Property namespace

Child and descendant properties

Domain Property Range Depth Property namespace

Related properties

Relation Property Property namespace Relation defined in Justification View details Edit Delete Comments

Profiles using this property

Label Version Status Last updated
Silknow working profile 1 Ongoing 2023-10-25

Comments