meets in time with – P119

P119 meets in time with

Quantification:

No quantifiers yet.

Scope note:

This property indicates that one E2 Temporal Entity immediately follows another. It implies a particular order between the two entities: if A meets in time with B, then A must precede B. This property is only necessary if the relevant time spans are unknown (otherwise the relationship can be calculated). This property is the same as the "meets / met-by" relationships of Allen’s temporal logic (Allen, 1983, pp. 832-843).

Examples:

No example yet.

In First Order Logic:

  • P119(x,y) ⊃ E2(x)
  • P119(x,y) ⊃ E2(y)
  • P119(x,y) ⊃ topObjectProperty(x,y)

Scope Notes

Show Scope note Language Namespace
This property indicates that one E2 Temporal Entity immediately follows another. It implies a particular order between the two entities: if A meets in time with B, then A must precede B. This property is only necessary if the relevant time spans are unknown (otherwise the relationship can be calculated). This property is the same as the "meets / met-by" relationships of Allen’s temporal logic (Allen, 1983, pp. 832-843). en WIP

Examples

Show Example Language Namespace

Additional notes

Show Notes Language Namespace

Domain and range

E2 Temporal Entity → P119 meets in time with → E2 Temporal Entity

Labels

Label Language Last updated
trifft zeitlich auf de 2018-09-14
προηγείται el 2018-09-14
meets in time with en 2018-09-14
est temporellement contiguë avec fr 2018-09-14
é temporalmente contíguo com pt 2018-09-14
следует во времени за ru 2018-09-14
紧接续了 zh 2018-09-14

Namespace

Namespace URI Last updated
http://dataforhistory.org/imported_ontology/cidoc-crm/base/6/2/ 2019-03-22

Parent properties

Property identifier Justification Root namespace View association
topObjectProperty http://www.w3.org/2002/07/owl#

Ancestor properties

Property identifier Depth Root namespace

Childs and descendant properties

Property identifier Depth Root namespace

Equivalent properties

Profiles using this class

Label Start date End date Last updated

Comments