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
- 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_at_some_time .constr:MaterialProduct ⊔ ∃ bfo:occurrent_part_of .constr:CommercialService
constr:SupplyingBusinessProcess ⊑ ∃ bfo:has_participant_at_some_time .constr:Supplier
SubClassOf: constr:BusinessProcess
SubClassOf: bfo:has_participant_at_some_time some constr:MaterialProduct or bfo:occurrent_part_of some constr:CommercialService
SubClassOf: bfo:has_participant_at_some_time some constr:Supplier