is part of (has part) – P5

This property does not yet have the minimum number of validated parts required for publication.

P5 is part of (has part)

Quantification:

0,n:0,n

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 Validation
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 Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing 0 Candidate

Examples

Show Example Language Namespace View details Comments Validation
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 Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing 0 Candidate

Additional notes

Show Notes Type Language Namespace View details Comments Validation

Identifier: P5

Official URI: https://ontome.net/ns/sdhss/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 Validation
is in relation to (has related component) en 2022-09-21 0 Candidate
is part of (has part) * en 2022-09-21 0 Candidate

: Standard label for this language

Parent properties

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

Ancestor properties

Domain Property Range Depth Property namespace

Child and descendant properties

Domain Property Range Depth Property namespace
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 Validation

Profiles using this property

Label Version Status Last updated
Geovistory Generic Historical Information Profile 1 Ongoing 2023-10-25
Displacements, movements and journeys ongoing 1 Ongoing 2023-10-25

Comments