is component of (has component) – P5
P5 is component of (has component)
Domain:
Range:
Superproperty of:
Quantification:
0,n:1,1
Scope note:
This property indicates that the domain temporal entity is a part of a more complex range temporal entity, e.g. a simple event (domain) can be a component of a complex one (range), like a process. If the component or child instance belongs to the same class as the parent one, and if some instances of properties are not explicitely provided in the child instance, this means they are identical (i.e. 'inherited') from the parent instance.
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 entity is a part of a more complex range temporal entity, e.g. a simple event (domain) can be a component of a complex one (range), like a process. If the component or child instance belongs to the same class as the parent one, and if some instances of properties are not explicitely provided in the child instance, this means they are identical (i.e. 'inherited') from the parent instance. | en | WIP | 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 | WIP | 0 |
Additional notes
| Show | Notes | Language | Namespace | View details | Comments |
|---|
Identifier : P5
Domain and range
E2 Temporal Entity → P5 is component of (has component) → E2 Temporal Entity (Quantifiers 0,n:1,1)
Labels
| Label | Language | Last updated | View details | Comments |
|---|---|---|---|---|
| is component of (has component) * | en | 2020-01-04 | 0 | |
| is part of (has part) | en | 2020-01-04 | 0 |
: Standard label for this language
Namespace
| Namespace | Last updated |
|---|---|
| CIDOC CRM extension for humanities and social sciences (SDHSS) – ongoing | 2021-04-16 |
Parent properties
| Domain | Property | Range | Justification | Relation namespace | View details | Comments |
|---|
Ancestor properties
| Domain | Property | Range | Depth | Property namespace |
|---|
Child and descendant properties
| Domain | Property | Range | Depth | Property namespace |
|---|
Related properties
| Relation | Property | Justification | Relation namespace | View details | Comments |
|---|
Profiles using this class
| Label | Start date | End date | Last updated |
|---|---|---|---|
| Geovistory Generic Historical Information Profile | 2019-11-20 |
Comments
No comment found.