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.
- 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_at_some_time .constr:Buyer
constr:BuyingBusinessProcess ⊑ ∃ bfo:has_participant_at_some_time .(constr:CommercialServiceAgreement ⊔ constr:MaterialProduct)
SubClassOf: constr:BusinessProcess
SubClassOf: bfo:has_participant_at_some_time some constr:Buyer
SubClassOf: bfo:has_participant_at_some_time some (constr:CommercialServiceAgreement or constr:MaterialProduct)