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

Agent State Type: 
An Agent State Type is a temporal slice type of an Agent Type related to its lifefcyle.Examples:. The lifecycle phases of a person, such as childhood, adulthood, eldery stage.. The lifecyle phases of a hospital such as construction phase, operation and maintenance phase, renovation and expansion phase, decommissioning phase.
 - ============================== -}

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

module c80ac8f367841131 where -- ========== Agent State Type

open import Agda.Primitive
open import Relation.Binary.PropositionalEquality
open import Data.Product renaming (_×_ to _⊗_)
open import e13ce269678f11ed public -- Asset State Type
open import 79368381561716a6 public -- Agent Type

postulate
  AgentStateType : ClassOfClassOfBoundedIndividual

postulate --  AgentStateType is subTypeOf AssetStateType
  st-c80ac938678411b1 : AgentStateType ⊏⋆ₑ AssetStateType

postulate --  AgentStateType is subTypeOf AgentType
  st-c80ac90c67841179 : AgentStateType ⊏⋆ₑ AgentType

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