met by

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

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: meets

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 first instant of the temporal extent of i

Examples

• When an item is placed on a moving conveyor by a robotic arm, the process of moving of the item is met by the process of placing the item; fall is met by summer; February is met by January; the New Year’s holiday period is met by the Christmas holiday period.

Adapted From

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

Formal Axioms

First-Order Logic Axioms

metBy(x,y) ↔ meets(y,x)

Semi-Formal Natural Language Axioms

‘met by’ and ‘meets’ are inverse relations

Description Logic

constr:metBy ⊑ bfo:preceded_by

domain: bfo:process ⊔ bfo:temporal_interval

range: bfo:process ⊔ bfo:temporal_interval

inverse: constr:meets

SubPropertyOf: bfo:preceded_by

domain: bfo:process or bfo:temporal_interval

range: bfo:process or bfo:temporal_interval

inverse: constr:meets