material trade item role

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

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

SubClass Of: bfo:role

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:specifically dependent continuant › bfo:realizable entity › bfo:role › material trade item role

Definition

role of a material product, package of, or group of material products when it is intended to be offered for sale in a selling business process and is identified for trade.

Semi-Formal Definition:

if x is a ‘trade item role’ then x is a ‘role’ that is a ‘role of’ some ‘material product’ or some ‘package’ that ‘participates in at some time’ some ‘selling business process’ and that is ‘identified by’ some ‘ Identifier’.

Examples

• role of a bottle of detergent, identified by a GTIN for retail , role of a box containing 6 bottles of the detergent available for sale, role of a corrugated carton containing 4 inner packs available for salem role of a full pallet holding 20 cases of the detergent available for sale.

Primitive Class

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

Primitive Rationale

Formal Axioms

First-Order Logic Axioms

TradeItemRole(x) →
    ( Role(x) ∧
      ∃y ∃p ∃i (
          RoleOf(x, y) ∧
          (MaterialProduct(y) ∨ Package(y) ∨ CommercialServiceAgreement(y)) ∧
          SellingBusinessProcess(p) ∧
          ParticipatesInAtSomeTime(y, p) ∧
          Identifier(i) ∧
          designatedBy(y, i)
      )
    )

Description Logic

constr:MaterialTradeItemRole ⊑ bfo:role

constr:MaterialTradeItemRole ⊑ ∃ constr:roleOf .(constr:MaterialProduct ⊓ ∃ bfo:participates_in_at_some_time .constr:SellingBusinessProcess ⊓ ∃ constr:designatedBy .constr:Identifier)

SubClassOf: bfo:role

SubClassOf: constr:roleOf some (constr:MaterialProduct and bfo:participates_in_at_some_time some constr:SellingBusinessProcess and constr:designatedBy some constr:Identifier)