is component of – histP29

histP29 is component of

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

Related properties

Relation Property Justification Defined in namespace View details

Profiles using this class

Label Start date End date Last updated

Comments