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
-
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].
-
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.
-
Note that βmaterial trade itemβ class is disjoint from βservice trade itemβ class.
-
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