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

Human Resource: 
A Human Resource is a Person Type or an Org-Unit Type (type of group of people) capable of purposeful action, decision-making, and problem-solving within an enterprise or organization. As Business Agent Types, Human Resources possess autonomy, adaptability, and the ability to influence outcomes, distinguishing them from unpurposeful entities like Business Systems (software and hardware) or natural resources.
 - ============================== -}

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

module 2c93337b67644a6a where -- ========== Human Resource

open import Agda.Primitive
open import Relation.Binary.PropositionalEquality
open import Data.Product renaming (_×_ to _⊗_)
open import bcebd31f5491302c public -- Business Agent Type
open import ffdf61506860875a public -- Human Agent Category

postulate
  HumanResource : ClassOfClassOfBoundedIndividual

postulate --  HumanResource is subTypeOf BusinessAgentType
  st-2c93351a67644b2e : HumanResource ⊏⋆ₑ BusinessAgentType

postulate --  HumanResource is subTypeOf HumanAgentCategory
  st-ad2cb9ba68cb61bf : HumanResource ⊏⋆ₑ HumanAgentCategory

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