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

Examples

Additional notes

Identifier: P5

Official URI: https://sdhss.org/ontology/core/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

: Standard label for this language

Namespace

Parent properties

Ancestor properties

Child and descendant properties

Related properties

Profiles using this property

Comments