purchase order

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

Defined In: https://spec.industrialontologies.org/ontology/supplychain/SupplyChain/

SubClass Of: agreement

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:generically dependent continuant › information content entity › agreement › purchase order

Definition

agreement between a buyer and a seller that contains a set of commitments undertaken by the buyer and the seller

Explanatory Notes

A PO becomes a legally binding document (contract) between a buyer and a seller once it is approved by the seller.

Examples

• A PO issued by Discount Tire (buyer) regarding purchasing 500 tires from Bridgestone company (supplier)

Primitive Class

This class is declared primitive and it does not have necessary and sufficient condiftions defined.

Primitive Rationale

See the general discussion and rationale provided for informational entities under ‘information content entity’.

Formal Axioms

First-Order Logic Axioms

Agreement (x) ∧ ∃p(BuyingBusinessProcess (p) ∧ isAbout(x,p)) ∧ ∃b∃s(BuyerRole(b) ∧ SupplierRole(s) ∧ prescribes(x,b) ∧ prescribes(x,s)) → PurchaseOrder(x)

Semi-Formal Natural Language Axioms

if x is an ‘agreement’ that ‘is about’ some ‘buying business process’ and ‘prescribes’ some ‘buyer role’ and some ‘supplier role’ then x is a ‘purchase order’

Description Logic

constr:PurchaseOrder ⊑ constr:Agreement

constr:Agreement ⊓ ∃ constr:isAbout .constr:BuyingBusinessProcess ⊓ ∃ constr:prescribes .constr:BuyerRole ⊓ ∃ constr:prescribes .constr:SupplierRole ⊑ constr:PurchaseOrder

SubClassOf: constr:Agreement

constr:Agreement and constr:isAbout some constr:BuyingBusinessProcess and constr:prescribes some constr:BuyerRole and constr:prescribes some constr:SupplierRole SubClassOf: constr:PurchaseOrder