functioning process

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

Defined In: https://spec.industrialontologies.org/ontology/maintenance/Maintenance/

SubClass Of: bfo:process

Class Hierarchy

owl:Thing › bfo:entity › bfo:occurrent › bfo:process › functioning process

Definition

process in which an item performs its function

Semi-Formal Definition:

every instance of ‘functioning process’ is defined as exactly an instance of ‘process’ that ‘realizes’ some ‘function’

Examples

• sensing process, controlling process, transforming process

Adapted From

• The natural language definition is adapted from EN:13306

Formal Axioms

First-Order Logic Definition

FunctioningProcess(x) ↔ Process(x) ∧ ∃y(Function(y) ∧ realizes(x,y))

Description Logic

constr:FunctioningProcess ≡ bfo:process ⊓ ∃ bfo:realizes .bfo:function

constr:FunctioningProcess ⊑ bfo:process

EquivalentTo: bfo:process and bfo:realizes some bfo:function

SubClassOf: bfo:process