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

Container Package: 
A Container Package is a Container which sole purpose is model management.Examples:  Library, Information DictionaryConterexamples: Enterprises or Infrastructure Landscapes are Containers but are not Container Packages because they have functional purposes that go beyond model management.

Documentation : https://framework.sysfeat.com/pages/542599db6aa21e06.htm

 - ============================== -}

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

module SysFEAT.UpperOntology.542599db6aa21e06 where -- ========== Container Package

open import Agda.Primitive
open import SysFEAT.UpperOntology.3aca52346aa6418d public -- Abstract Entity
open import SysFEAT.UpperOntology.0eb93b4268549a66 public -- Container

ContainerPackage : ClassOfAbstractEntity
ContainerPackage = AbstractEntity


--  ContainerPackage is subTypeOf AbstractEntity
st-542599db6aa21e06-3aca52346aa6418d : ContainerPackage ⊏ₑ AbstractEntity
st-542599db6aa21e06-3aca52346aa6418d = polySubTypeOf-identity

--  ContainerPackage withAspect Container
st-542599db6aa21e06-0eb93b4268549a66 : ContainerPackage ⊏ₐₑ (Container lzero)
st-542599db6aa21e06-0eb93b4268549a66 = polySubTypeOf-identity


-- == Relations =======================

-- -------------------------------------------------------------------------------------------- 
{- Parent Package: 
Existential Dependency that asserts the existence of a Container Package in a Parent Package.
-}
parentPackage :  Linkage ContainerPackage ContainerPackage
parentPackage = make_Relation "Container Basing" "Parent Package"

postulate -- parentPackage is subTypeOf referenceRelation
  st-e7cbfde76a965b64-23d5398f68511bc1  : parentPackage  ⊏⋆ᵣ  referenceRelation {lzero} {lzero}
postulate -- parentPackage is subTypeOf existentialDependency
  st-e7cbfde76a965b64-cbfce7da685358e9  : parentPackage  ⊏⋆ᵣ  existentialDependency {lzero} {lzero}