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)))