temporally finished by

IRI: https://spec.industrialontologies.org/ontology/construct/temporallyFinishedBy

Defined In: https://spec.industrialontologies.org/ontology/core/Core/

Type: Object Property

Range: bfo.BFO_0000015 | bfo.BFO_0000202

Inverse Of: temporally finishes

Definition

relation that holds between two intervals or processes i and j when the last instant of the temporal extent of j is the same as the last instant of the temporal extent of i and the first instant of i is precedes the first instant of j

Examples

• A delivery process is temporally finished by the generation of “proof of delivery”; a football match is temporally finished by the Referee’s final whistle; every week is temporally finished by a Sunday.

Adapted From

• https://dl.acm.org/doi/10.1145/182.358434

Formal Axioms

First-Order Logic Axioms

temporallyFinishedBy(x,y) ↔ temporallyFinishes(y,x)

Semi-Formal Natural Language Axioms

‘temporally finished by’ and ‘temporally finishes’ are inverse relations

Description Logic

constr:temporallyFinishedBy ⊑ _:topObjectProperty

domain: bfo:process ⊔ bfo:temporal_interval

range: bfo:process ⊔ bfo:temporal_interval

inverse: constr:temporallyFinishes

Transitive

SubPropertyOf: _:topObjectProperty

domain: bfo:process or bfo:temporal_interval

range: bfo:process or bfo:temporal_interval

inverse: constr:temporallyFinishes

Transitive