is specified output of

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

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

Type: Object Property

SubProperty Of: is output of

Domain: bfo:continuant

Range: planned process

Inverse Of: has specified output

Definition

relation from someone or something physical or digital (continuant) to a planned process in which it is produced or modified as prescribed by some objective

Examples

• antibody solution of 99.999% purity is the specified output of a biopharmaceutical production process; prediction of part porosity is a specified output of a simulation execution; temperature measurement result is the specified output of a temperature measurement process; a car is the specified output of a car manufacturing process

Synonyms

• is intended output of

Formal Axioms

First-Order Logic Axioms

isSpecifiedOutputOf(y,x) → PlannedProcess(x) ∧ Continuant(y) ∧ ∃o(ObjectiveSpecification(o) ∧ prescribes(o,y) ∧ achievesAtSomeTime(x,o) ∧ hasOutput(x,y))

Semi-Formal Natural Language Axioms

y ‘has specified output’ x holds when x is a ‘planned process’ and y is a ‘continuant’ and x ‘has output’ y and y is ‘prescribed by’ some ‘objective specification’ which x ‘achieves at some time’

Description Logic

constr:isSpecifiedOutputOf ⊑ constr:isOutputOf

domain: bfo:continuant

range: constr:PlannedProcess

inverse: constr:hasSpecifiedOutput

SubPropertyOf: constr:isOutputOf

domain: bfo:continuant

range: constr:PlannedProcess

inverse: constr:hasSpecifiedOutput