group of suppliers
IRI: https://spec.industrialontologies.org/ontology/construct/GroupOfSuppliers
Defined In: https://spec.industrialontologies.org/ontology/supplychain/SupplyChain/
SubClass Of: organized group of agents
Class Hierarchy
owl:Thing › bfo:entity › bfo:continuant › bfo:independent continuant › bfo:material entity › bfo:object aggregate › group of agents › organized group of agents › group of suppliers
Definition
group of agents involved in trading and other business relationships with one another during the operation of specific supply chains
Explanatory Notes
There exist a supply chain link between two interacting agents who are members of the same supplier group related to a specific supply chain system.
Examples
- The companies that are involved in manufacturing of iPhone and its parts
Synonyms
- Supply Network
Adapted From
- GS1
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.
Formal Axioms
First-Order Logic Axioms
GroupOfSuppliers(x) → OrganizedGroupOfAgents(x) ∧ ∀y∃r∃s(BusinessOrganization(y) ∧ (SupplierRole(r) ∧ SupplyRelationship(s) ∧ specificallyDependedOnBy(r,s) ∧ ∃p(SupplyChainPlanSpecification(p) ∧ prescribes(p,s)) ∧ hasRole(y,r) ∧ hasMemberPartAtAllTimes(x,y)))
Semi-Formal Natural Language Axioms
if x is a ‘group of suppliers’ then x is an ‘organized group of agents’ that only ‘has member parts at all times’ some ‘business organization’ y that ‘has role’ some ‘supplier role’ r such that r is ‘specifically depended on by’ some ‘supply relationship’ s and s is ‘prescribed by’ some ‘supply chain plan specification’ p
Description Logic
constr:GroupOfSuppliers ⊑ constr:OrganizedGroupOfAgents
constr:GroupOfSuppliers ⊑ ∀ bfo:has_member_part_at_all_times .(constr:BusinessOrganization ⊓ ∃ constr:hasRole .(constr:SupplierRole ⊓ ∃ bfo:specifically_depended_on_by .(constr:SupplyRelationship ⊓ ∃ constr:prescribedBy .constr:SupplyChainPlanSpecification)))
SubClassOf: constr:OrganizedGroupOfAgents
SubClassOf: bfo:has_member_part_at_all_times only (constr:BusinessOrganization and constr:hasRole some (constr:SupplierRole and bfo:specifically_depended_on_by some (constr:SupplyRelationship and constr:prescribedBy some constr:SupplyChainPlanSpecification)))