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_at_some_time .constr:LogisticUnit

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

SubClassOf: owl:Thing

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


Back to top

Copyright © 2024–2026 Open Applications Group / Industrial Ontology Foundry. Distributed under an MIT license.