manufacturing service provider role

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

Defined In: https://spec.industrialontologies.org/ontology/supplychain/SupplyChain/

SubClass Of: service provider role

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:specifically dependent continuant › bfo:realizable entity › bfo:role › agent role › supplier role › service provider role › manufacturing service provider role

Definition

service provider role that is held by a person or business organization when it provides a manufacturing service

Examples

• a contract machinist who machines parts owned by another company

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.

Formal Axioms

First-Order Logic Axioms

ManufacturingServiceProviderRole(x) → ServiceProviderRole(x) ∧ ∃y∃p((BusinessOrganization(y) ∨ Person(y)) ∧ ManufacturingService(p) ∧ agentIn(y,p) ∧ roleOf(x,y))

Semi-Formal Natural Language Axioms

Manufacturing Service Provider Role x implies that x is a Service Provider Role that is ‘role of’ some Business Organization or Person when it is ‘agent in’ some Manufacturing Service

Description Logic

constr:ManufacturingServiceProviderRole ⊑ constr:ServiceProviderRole

constr:ManufacturingServiceProviderRole ⊑ ∃ constr:roleOf .((constr:BusinessOrganization ⊔ constr:Person) ⊓ ∃ constr:agentIn .constr:ManufacturingService)

SubClassOf: constr:ServiceProviderRole

SubClassOf: constr:roleOf some ((constr:BusinessOrganization or constr:Person) and constr:agentIn some constr:ManufacturingService)