after

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

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

Type: Object Property

SubProperty Of: bfo:preceded by

Range: bfo.BFO_0000015 | bfo.BFO_0000202

Inverse Of: before

Definition

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

Examples

• A metal surface is polished after the surface is cleaned to make it free from dust or grease; a product is manufactured after it is designed; March comes after January.

Adapted From

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

Formal Axioms

First-Order Logic Axioms

after(x,y) ↔ before(y,x)

Semi-Formal Natural Language Axioms

‘before’ and ‘after’ are inverse relations

Description Logic

constr:after ⊑ bfo:preceded_by

domain: bfo:process ⊔ bfo:temporal_interval

range: bfo:process ⊔ bfo:temporal_interval

inverse: constr:before

Transitive

SubPropertyOf: bfo:preceded_by

domain: bfo:process or bfo:temporal_interval

range: bfo:process or bfo:temporal_interval

inverse: constr:before

Transitive