temporally started by

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

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

Type: Object Property

Range: bfo.BFO_0000015 | bfo.BFO_0000202

Inverse Of: temporally starts

Definition

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

Examples

• An internal combustion engine is temporally started (running) by the process of cranking; some machine is temporally started (running) by pressing a switch; every year is temporally started by the New Year’s Day.

Adapted From

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

Formal Axioms

First-Order Logic Axioms

temporallyStartedBy(x,y) ↔ temporallyStarts(y,x)

Semi-Formal Natural Language Axioms

‘temporally started by’ and ‘temporally starts’ are inverse relations

Description Logic

constr:temporallyStartedBy ⊑ _:topObjectProperty

domain: bfo:process ⊔ bfo:temporal_interval

range: bfo:process ⊔ bfo:temporal_interval

inverse: constr:temporallyStarts

Transitive

SubPropertyOf: _:topObjectProperty

domain: bfo:process or bfo:temporal_interval

range: bfo:process or bfo:temporal_interval

inverse: constr:temporallyStarts

Transitive