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

Individual Software System: 
v
 - ============================== -}

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

module 3b1b8ceb68cd7ed3 where -- ========== Individual Software System

open import Agda.Primitive
open import Relation.Binary.PropositionalEquality
open import Data.Product renaming (_×_ to _⊗_)
open import 3b1b91ea68cd8733 public -- Individual Artifact
open import 3b1bb6eb68cd9da2 public -- Individual Intangible Resource Agent

postulate
  IndividualSOftwareSystem : ClassOfBoundedIndividual

postulate --  IndividualSOftwareSystem is subTypeOf IndividualArtifact
  st-3b1b907168cd82b0 : IndividualSOftwareSystem ⊏⋆ₑ IndividualArtifact

postulate --  IndividualSOftwareSystem is subTypeOf IndividualIntangibleResourceAgent
  st-3b1bb79e68cd9ed2 : IndividualSOftwareSystem ⊏⋆ₑ IndividualIntangibleResourceAgent

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