required function

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

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

SubClass Of: bfo:function

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:specifically dependent continuant › bfo:realizable entity › bfo:disposition › capability › bfo:function › required function

Definition

function of a maintainable material item which is considered necessary to fulfil a process requirement

Explanatory Notes

the function can be a combination of functions

Examples

• to sense, to store, to process information, to control

Synonyms

• primary function

Adapted From

• The natural language definition is adapted from EN:13306

Primitive Class

This class is declared primitive and it does not have necessary and sufficient condiftions defined.

Primitive Rationale

no sufficient conditions are defined for this class

Formal Axioms

First-Order Logic Axioms

RequiredFunction(x) ↔ Function(x) ∧ ∃y,z(MaintainableMaterialItem(y) ∧ FunctioningProcess(z) ∧ participatesInAtSomeTime(y,z) ∧ functionOf(x,y))

Semi-Formal Natural Language Axioms

every instance of ‘required function’ is defined as an instance of ‘function’ that is the ‘function of’ some ‘maintainable material item’ that ‘participates in at some time’ some ‘functioning process’

Description Logic

constr:RequiredFunction ⊑ bfo:function

constr:RequiredFunction ⊑ ∃ bfo:participates_in_at_some_time .constr:FunctioningProcess ⊓ ∃ constr:functionOf .constr:MaintainableMaterialItem

SubClassOf: bfo:function

SubClassOf: bfo:participates_in_at_some_time some constr:FunctioningProcess and constr:functionOf some constr:MaintainableMaterialItem