is component of – histP29

histP29 is component of

Domain:

E2 Temporal Entity

Range:

E2 Temporal Entity

Superproperty of:

C7 Stopover → P5 is part of → C1 Ship voyage
C6 Transport → P9 is carried out in the context of → C1 Ship voyage

Quantification:

0,n:1,1

Scope note:

This property indicates that the domain temporal entity is a part of a more complex temporal entity, e.g. a simple event can be a component of a complex one, like a process

Examples:

No example yet.

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 temporal entity, e.g. a simple event can be a component of a complex one, like a process	en	WIP		0

Examples

Show	Example	Language	Namespace	View details	Comments

Additional notes

Show	Notes	Language	Namespace	View details	Comments

Identifier : histP29

Domain and range

E2 Temporal Entity → histP29 is component of → E2 Temporal Entity (Quantifiers 0,n:1,1)

Labels

Label	Language	Last updated	View details	Comments
is component of *	en	2019-06-13		0

: Standard label for this language

Namespace

Namespace	Last updated
Data for History ontology, v.0.1 ongoing	2019-05-14

Parent properties

Domain		Property		Range	Justification	Root namespace	View association

Ancestor properties

Domain		Property		Range	Depth	Root namespace

Childs and descendant properties

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