is component of (has component) – P5

P5 is component of (has component)

Domain:

E2 Temporal Entity

Range:

E2 Temporal Entity

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
HistDMI top-level ontology – ongoing 2020-12-09

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