supply relationship

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

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

SubClass Of: bfo:specifically dependent continuant

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:specifically dependent continuant › supply relationship

Definition

relationship that exists between two agents when one agent supplies a product or service to another agent and that is prescribed by an agreement

Examples

• the relationship between Continental and Ford Motor Company based on which Continental agrees to sell powertrain assemblies to Ford in certain volumes per year

Primitive Class

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

Primitive Rationale

The required constructs for creation of a formal definition are not available in this release.

Formal Axioms

First-Order Logic Axioms

SupplyRelationship(x) → SpecificallyDependentContinuant(x) ∧ ∃r1∃r2∃c(CustomerRole(r1) ∧ SupplierRole(r2) ∧ Agreement(c) ∧ specificallyDependsOn(x,r1) ∧ specificallyDependsOn(x,r2) ∧ prescribedBy(x,c))

Semi-Formal Natural Language Axioms

if x is a ‘supply relationship’ then x is a ‘specifically dependant continuant’ and x ‘specifically depends on’ some ‘supplier role’ and some ‘customer role’ and x is ‘prescribed by’ some ‘agreement’

Description Logic

constr:SupplyRelationship ⊑ bfo:specifically_dependent_continuant

constr:SupplyRelationship ⊑ ∃ bfo:specifically_depends_on .constr:CustomerRole ⊓ ∃ bfo:specifically_depends_on .constr:SupplierRole ⊓ ∃ constr:prescribedBy .constr:Agreement

SubClassOf: bfo:specifically_dependent_continuant

SubClassOf: bfo:specifically_depends_on some constr:CustomerRole and bfo:specifically_depends_on some constr:SupplierRole and constr:prescribedBy some constr:Agreement