{- ============================== 
   Copyright (c) 2024 SysFEAT - Systemic Framework for Enterprise Architecture & Transformation
   This work is released under the MIT License.
   framework.sysfeat.com

Supplier: 
A Supplier is a Business Partner that supplies goods and services to the enterprise. This entity is part of the supply chain of a business which may provide the bulk of the value contained within its products. Some suppliers may even engage in drop shipping, where they ship goods directly to the customers of the buyer..
 - ============================== -}

{-# OPTIONS --cubical --guardedness #-}
{-# OPTIONS --cubical-compatible #-}

module 08d180d4678a2c8f where -- ========== Supplier

open import Agda.Primitive
open import Relation.Binary.PropositionalEquality
open import Data.Product renaming (_×_ to _⊗_)
open import 08d17cde678a2b47 public -- Business Partner
open import bcebd31f5491302c public -- Business Agent Type

postulate
  Supplier : ClassOfClassOfBoundedIndividual

postulate --  Supplier is subTypeOf BusinessPartner
  st-08d180ea678a2cb9 : Supplier ⊏⋆ₑ BusinessPartner

postulate --  Supplier is subTypeOf BusinessAgentType
  st-bcb7bd67678a62a1 : Supplier ⊏⋆ₑ BusinessAgentType

-- == Relationships =======================