manufacturer role

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

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

SubClass Of: agent role

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:specifically dependent continuant › bfo:realizable entity › bfo:role › agent role › manufacturer role

Definition

agent role held by an organization when it produces material products

Examples

• MiliporeSigma has a manufacturer role when it produces single-use bioreactors; Boeing has a manufacturer role when it produces airplanes; Dell has a manufacturer role when it produces lap-tops

Adapted From

• bizfluent.com

Primitive Class

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

Primitive Rationale

There are insufficient constructs to create necessary and sufficient conditions. Namely, constructs for linking the manufacturer to a product it produces are still lacking.

Formal Axioms

First-Order Logic Axioms

ManufacturerRole(x) → Role(x) ∧ ∃y∃p(Organization(y) ∧ ProductProductionProcess(p) ∧ participatesInAtSomeTime(y,p) ∧ roleOf(x,y))

Semi-Formal Natural Language Axioms

if x is a ‘manufacturer role’ x then x is an ‘agent role’ that is the ‘role of’ some ‘organization’ when it ‘participates in at some time’ some ‘product production process’

Description Logic

constr:ManufacturerRole ⊑ constr:AgentRole

constr:ManufacturerRole ⊑ ∃ constr:roleOf .(constr:Organization ⊓ ∃ bfo:participates_in_at_some_time .constr:ProductProductionProcess)

SubClassOf: constr:AgentRole

SubClassOf: constr:roleOf some (constr:Organization and bfo:participates_in_at_some_time some constr:ProductProductionProcess)