is part of (has part) – P5
P5 is part of (has part)
Domain:
Range:
Quantification:
0,n:0,n
Superproperty of:
Scope note:
This property indicates that the domain temporal phenomenon is a part of the range temporal phenomenon, e.g. a simple event (domain) can be a component of a complex one (range), like a process.The two phenomena need not share the same substance, i.e. they need not belong to the same class. For example, the holding of a plan by a group (quality) may be part of a larger event or activity (perdurant). However, the temporal extent of the domain phenomenon must be within the temporal extent of the range phenomenon, or at least partially overlap. This property does not imply a notion of causality but simply of composition, in the broader sense, and can be specialized if necessary by more precise properties.
Examples:
A fight (domain) is a component of a battle (range). The place of the fight can be the same as the one of the battle, or a more specific one.
In First Order Logic:
- P5(x,y) ⇒ E2(x)
- P5(x,y) ⇒ E2(y)
Scope notes
| Show | Scope note | Language | Namespace | View details | Comments |
|---|---|---|---|---|---|
| This property indicates that the domain temporal phenomenon is a part of the range temporal phenomenon, e.g. a simple event (domain) can be a component of a complex one (range), like a process.The two phenomena need not share the same substance, i.e. they need not belong to the same class. For example, the holding of a plan by a group (quality) may be part of a larger event or activity (perdurant). However, the temporal extent of the domain phenomenon must be within the temporal extent of the range phenomenon, or at least partially overlap. This property does not imply a notion of causality but simply of composition, in the broader sense, and can be specialized if necessary by more precise properties. | en | SDHSS Core v1.0 | 0 |
Examples
| Show | Example | Language | Namespace | View details | Comments |
|---|---|---|---|---|---|
| A fight (domain) is a component of a battle (range). The place of the fight can be the same as the one of the battle, or a more specific one. | en | SDHSS Core v1.0 | 0 |
Additional notes
| Show | Notes | Type | Language | Namespace | View details | Comments |
|---|
Identifier: P5
Official URI: https://sdhss.org/ontology/core/1.0/P5
OntoME URI: https://ontome.net/ontology/p1357
Domain and range
crm:E2 Temporal Entity → P5 is part of (has part) → crm:E2 Temporal Entity (Quantifiers 0,n:0,n)
Labels
| Label | Language | Last updated | View details | Comments |
|---|---|---|---|---|
| is part of (has part) * | en | 2025-06-19 | 0 |
: Standard label for this language
Namespace
| Namespace | Last updated |
|---|---|
| SDHSS Core v1.2 | 2025-06-20 |
| SDHSS Core v1.1 | 2025-06-20 |
| SDHSS Core v1.0 | 2025-06-19 |
| SDHSS Core ongoing | 2021-04-21 |
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 | ||
|---|---|---|---|---|---|---|
| crm:E4 Period | (0,n) | P9 consists of (forms part of) | (0,n) | crm:E4 Period | 1 | CIDOC CRM version 7.1.3 |
| crm:E4 Period | (0,n) | P9 consists of (forms part of) | (0,n) | crm:E4 Period | 1 | CIDOC CRM version 7.1.3 |
| crm:E4 Period | (0,1) | P9 consists of (forms part of) | (0,n) | crm:E4 Period | 1 | CIDOC CRM version 6.2 |
| crm:E4 Period | (0,1) | P9 consists of (forms part of) | (0,n) | crm:E4 Period | 1 | CIDOC CRM version 6.2 |
| crm:E4 Period | (0,n) | P9 consists of (forms part of) | (0,n) | crm:E4 Period | 1 | CIDOC CRM version 7.1.3 |
| crm:E4 Period | (0,n) | P9 consists of (forms part of) | (0,n) | crm:E4 Period | 1 | CIDOC CRM version 7.1.3 |
| crm:E4 Period | (0,1) | P9 consists of (forms part of) | (0,n) | crm:E4 Period | 1 | CIDOC CRM version 6.2 |
| crm:E4 Period | (0,1) | P9 consists of (forms part of) | (0,n) | crm:E4 Period | 1 | CIDOC CRM version 6.2 |
Related properties
| Relation | Property | Property namespace | Relation defined in | Justification | View details | Edit | Delete | Comments |
|---|
Profiles using this property
| Label | Version | Status | Last updated |
|---|---|---|---|
| Displacements, movements and journeys ongoing | 1 | Ongoing | 2023-10-25 |
| Geovistory Generic Historical Information Profile | 1 | Ongoing | 2023-10-25 |

Comments
No comment found.