supplying business process

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

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

SubClass Of: business process

Class Hierarchy

owl:Thing › bfo:entity › bfo:occurrent › bfo:process › planned process › business process › supplying business process

Definition

business process wherein a product or service is supplied

Explanatory Notes

  1. To supply a product means to deliver the product to another agent. 2.To supply a service means to perform a process (e.g. commercial service) for another agent, typically involving a service agreement. 3.It should be noted that we consciously exclude the person-to-person transactions, but person-to-business is not excluded.

Examples

  • BMW dealer supplies a car to the Customer; US importer of steel from China supplies the steel to a US manufacturer; company (supplier) supplied (ship directly) a product to a buyer who bought the product on Amazon (seller)

Counter-Examples

  • A BMW dealer supplies a car to a Customer in the US, but the BMW Manufacturer in Germany does not supply the car to the Customer. The BMW Manufacturer supplies the car to the BMW dealer.

Adapted From

  • https://www.oberlo.com/ecommerce-wiki/supply

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 economic transactions, service or product provision and ownership are lacking

Formal Axioms

First-Order Logic Axioms 

SupplyingBusinessProcess(x) → BusinessProcess(x) ∧ ∃y(Supplier(y) ∧ hasParticipantAtSomeTime(x,y)) ∧ (∃p(MaterialProduct(p) ∧ hasParticipantAtSomeTime(x,p)) ∨ ∃c(CommercialService(c) ∧ occurrentPartOf(x,c)))

Semi-Formal Natural Language Axioms

if x is a ‘supplying business process’ then x is a ‘business process’ that ‘has participant at some time’ some ‘supplier’ and x ‘has participant at some time’ some ‘material product’ or is ‘occurent part of’ some ‘commercial service’

Description Logic

constr:SupplyingBusinessProcess ⊑ constr:BusinessProcess

constr:SupplyingBusinessProcess ⊑ ∃ bfo:has_participant .constr:MaterialProduct ⊔ ∃ bfo:occurrent_part_of .constr:CommercialService

constr:SupplyingBusinessProcess ⊑ ∃ bfo:has_participant .constr:Supplier

SubClassOf: constr:BusinessProcess

SubClassOf: bfo:has_participant some constr:MaterialProduct or bfo:occurrent_part_of some constr:CommercialService

SubClassOf: bfo:has_participant some constr:Supplier