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 .constr:Supplier

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

SubClassOf: constr:BusinessProcess

SubClassOf: bfo:has_participant some constr:Supplier

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