offering for sale business process
IRI: https://spec.industrialontologies.org/ontology/construct/SellingBusinessProcess
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 › offering for sale business process
Definition
business process wherein a product or commercial service is offered by an agent (seller) for another agent (buyer) to acquire ownership via a financial instrument
Explanatory Notes
It should be noted that we consciously exclude the person-to-person transactions, but person-to-business is not excluded.
Examples
- Good Year offers tires for sale, Boeing offers 737 planes for along with service agreements for the maintenance of the planes
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
OfferingForSaleBusinessProcess(x) → BusinessProcess(x) ∧ ∃y∃z((MaterialProduct(y) ∨ CommercialServiceAgreement(y)) ∧ Supplier(z) ∧ hasParticipantAtSomeTIme(x,y) ∧ hasParticipantAtSomeTime(x,z))
Semi-Formal Natural Language Axioms
if x is an ‘offering for sale business process’ then x is a ‘business proces’ that ‘has participant at some time’ some ‘supplier’ and x ‘has participant at some time’ some ‘material product’ or ‘commercial service agreement’
Description Logic
constr:SellingBusinessProcess ⊑ constr:BusinessProcess
constr:SellingBusinessProcess ⊑ ∃ bfo:has_participant_at_some_time .constr:Supplier
constr:SellingBusinessProcess ⊑ ∃ bfo:has_participant_at_some_time .(constr:CommercialServiceAgreement ⊔ constr:MaterialProduct)
SubClassOf: constr:BusinessProcess
SubClassOf: bfo:has_participant_at_some_time some constr:Supplier
SubClassOf: bfo:has_participant_at_some_time some (constr:CommercialServiceAgreement or constr:MaterialProduct)