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)
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
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
Comments
No comment found.