buying business process

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

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 › buying business process

Definition

business process wherein a financial instrument is used by an agent (buyer) to acquire ownership of a product or commercial service from another agent (seller) for the buyer itself or for another agent (customer)

Explanatory Notes

1.The agent who uses the finiancial instrument may not own the financial instrument and hence agent may not be the paying agent.

  1. It should be noted that we consciously exclude the person-to-person transactions, but person-to-business is not excluded.

Examples

  • GM buys tires from Good Year to be assembled into its cars; GE Conglomerate (buyer) buys steels for uses in productions by its GE aviation subsidiary (customer) and GE Transportation subsidiary (customer)

Adapted From

  • CCO:http://www.ontologyrepository.com/CommonCoreOntologies/ActOfBuying NL definition: OAGIS and CCO

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, ownership and economic transactions require formalization.

Formal Axioms

First-Order Logic Axioms 

BuyingBusinessProcess(x) → BusinessProcess(x) ∧ ∃y∃z((MaterialProduct(y) ∨ CommercialServiceAgreement(y)) ∧ Buyer(z) ∧ hasParticipantAtSomeTIme(x,y) ∧ hasParticipantAtSomeTime(x,z))

Semi-Formal Natural Language Axioms

if x is a ‘buying business process’ then x is a ‘business process’ that ‘has participant at some time’ some ‘buyer’ and x ‘has participant at some time’ some ‘material product’ or ‘commercial service agreement’

Description Logic

constr:BuyingBusinessProcess ⊑ constr:BusinessProcess

constr:BuyingBusinessProcess ⊑ ∃ bfo:has_participant .constr:Buyer

constr:BuyingBusinessProcess ⊑ ∃ bfo:has_participant .(constr:CommercialServiceAgreement ⊔ constr:MaterialProduct)

SubClassOf: constr:BusinessProcess

SubClassOf: bfo:has_participant some constr:Buyer

SubClassOf: bfo:has_participant some (constr:CommercialServiceAgreement or constr:MaterialProduct)