has section definition – P58

P58 has section definition

Quantification:

No quantifiers yet.

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:

No example yet.

In First Order Logic:

  • P58(x,y) ⊃ E18(x)
  • P58(x,y) ⊃ E46(y)
  • P58(x,y) ⊃ topObjectProperty(x,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 WIP 0

Examples

Show Example Language Namespace View details Comments

Additional notes

Show Notes Language Namespace View details Comments

Domain and range

E18 Physical Thing → P58 has section definition → E46 Section Definition

Labels

Label Language Last updated View details Comments
hat Abschittsdefinition de 2018-09-14 0
έχει ορισμό τμήματος el 2018-09-14 0
has section definition en 2018-09-14 0
a pour désignation de section fr 2018-09-14 0
tem designação de seção pt 2018-09-14 0
имеет определение района ru 2018-09-14 0
有区域定义 zh 2018-09-14 0

Namespace

Namespace Last updated
CIDOC CRM version 6.2 2019-03-28

Parent properties

Property identifier Justification Root namespace View association
topObjectProperty The OWL 2 Schema vocabulary

Ancestor properties

Property identifier Depth Root namespace

Childs and descendant properties

Property identifier Depth Root namespace

Equivalent properties

Profiles using this class

Label Start date End date Last updated

Comments