traceability
IRI: https://spec.industrialontologies.org/ontology/construct/Traceability
Defined In: https://spec.industrialontologies.org/ontology/supplychain/SupplyChain/
SubClass Of: system capability
Class Hierarchy
owl:Thing › bfo:entity › bfo:continuant › bfo:specifically dependent continuant › bfo:realizable entity › bfo:disposition › capability › system capability › traceability
Definition
capability of a system to trace the history, application or location of an object
Examples
- the ability of Land O’Lakes ERP system to identify the milk suppliers for specific batches of butter
Direct Source
- ISO 9001:2015
Primitive Class
This class is declared primitive and it does not have necessary and sufficient condiftions defined.
Primitive Rationale
The required constructs for providing necessary and sufficient conditions are not available in this release. Namely, trace and track processes are not formailized yet.
Formal Axioms
First-Order Logic Axioms
Traceability(x) → SystemCapability(x)
Semi-Formal Natural Language Axioms
if x is a ‘traceability’ then x is a ‘system capability’