contains occurence of

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

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

Type: Object Property

Range: bfo.BFO_0000015 | bfo.BFO_0000202

Inverse Of: occurs during

Definition

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

Examples

• The grinding of metal contains occurrence of sparking; a storm contains occurrences of lightning.

Adapted From

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

Formal Axioms

First-Order Logic Axioms

containsOccurrenceOf(x,y) ↔ occursDuring(y,x)

Semi-Formal Natural Language Axioms

‘contains occurrence of’ and ‘occurs during’ are inverse relations

Description Logic

constr:containsOccurrenceOf ⊑ _:topObjectProperty

domain: bfo:process ⊔ bfo:temporal_interval

range: bfo:process ⊔ bfo:temporal_interval

inverse: constr:occursDuring

Transitive

SubPropertyOf: _:topObjectProperty

domain: bfo:process or bfo:temporal_interval

range: bfo:process or bfo:temporal_interval

inverse: constr:occursDuring

Transitive