is component of (has component)

is component of (has component) – histP29

histP29 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:

histP29(x,y) ⊃ E2(x)
histP29(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. histP29 - Example 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 : histP29

Domain and range

E2 Temporal Entity → histP29 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 Generic Extension for Historical Data Management and Interoperability, ongoing	2019-12-04

Parent properties

Domain		Property		Range	Justification	Relation namespace	View association

Ancestor properties

Domain		Property		Range	Depth	Property namespace

Childs and descendant properties

Domain		Property		Range	Depth	Property namespace
Stopover – C7	(0,n)	P5 is part of	(1,1)	Ship voyage – C1	1	Maritime history ongoing
Transport – C6	(0,n)	P9 is carried out in the context of	(0,n)	Ship voyage – C1	1	Maritime history ongoing