material trade item

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

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

SubClass Of: bfo:material entity

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:independent continuant › bfo:material entity › material trade item

Definition

material entity that is uniquely identified and is intended to be offered for sale in a selling business process.

Semi-Formal Definition:

every instance of ‘material trade item’ is defined as exactly an instance of ‘material entity’ that ‘has role’ some ‘material trade item role’

Explanatory Notes

  1. Any item upon which there is a need to retrieve pre-defined information and that may be priced, ordered, or invoiced at any point in the supply chain [GS1].

  2. Any item (product or service) that is traded between a supplier and a buyer, which can be ordered and invoiced based on a trading agreement.

  3. Note that ‘material trade item’ class is disjoint from ‘service trade item’ class.

  4. Logistic unit is a composition of one or more trade items, which are to be delivered by transport and/or stored to fulfill a trade agreement.

Logistic unit is a composition of one or more trade items, which are to be delivered by transport and/or stored to fulfill a trade agreement.

Examples

  • Case of 24 soda cans, Box of 100 surgical masks, Office chair, one ceramic capacitor in a antistatic tape, reel of 5000 capacitor units, a surface mount precision kit with 50 capacitors, 50 resistors and 25 inductors.

Formal Axioms

First-Order Logic Definition 

MaterialTradeItem(x) ↔ MaterialEntity(x) ∧ ∃r(MaterialTradeItemRole(r) ∧ hasRole(x,r))

First-Order Logic Axioms 

MaterialTradeItem(x) → MaterialEntity(x) ∧ ∃y(LogisticUnit(y) ∧ isContinuantPartOfAtSomeTime (x,y))

Semi-Formal Natural Language Axioms

if x is a ‘material trade item’ then x is part of some ‘logistic unit’ at some time.

Description Logic

constr:MaterialTradeItem ≡ bfo:material_entity ⊓ ∃ constr:hasRole .constr:MaterialTradeItemRole

constr:MaterialTradeItem ⊑ ⊤

constr:MaterialTradeItem ⊑ bfo:material_entity ⊓ ∃ bfo:continuant_part_of .constr:LogisticUnit

EquivalentTo: bfo:material_entity and constr:hasRole some constr:MaterialTradeItemRole

SubClassOf: owl:Thing

SubClassOf: bfo:material_entity and bfo:continuant_part_of some constr:LogisticUnit