has section definition – P58
P58 has section definition
Domain:
Range:
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)
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 |
|---|
Identifier : P58
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 |
: Standard label for this language
Namespace
| Namespace | Last updated |
|---|---|
| CIDOC CRM version 6.2 | 2019-12-04 |
Parent properties
| Domain | Property | Range | Justification | Defined in namespace | View association |
|---|
Ancestor properties
| Domain | Property | Range | Depth | Defined in namespace |
|---|
Childs and descendant properties
| Domain | Property | Range | Depth | Defined in namespace |
|---|
Related properties
| Relation | Property | Justification | Defined in namespace | View details |
|---|
Profiles using this class
| Label | Start date | End date | Last updated |
|---|---|---|---|
| Silknow working profile | 2019-09-23 |
Comments
No comment found.