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

Conceptual Individual: 
A Conceptual Individual is the representation of any actual tangible or intanglible resource, or its respective state, that is critical for comprehending an enterprise, including its data, resources, and activities.
 - ============================== -}

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

module 346a3677655b5325 where -- ========== Conceptual Individual

open import Agda.Primitive
open import Relation.Binary.PropositionalEquality
open import Data.Product renaming (_×_ to _⊗_)
open import 6bf190796859b4ff public -- Dictionary Block
open import ebcfaeac5ad76ed7 public -- Individual Asset
open import 190c2cd368965534 public -- Concept Property v

postulate
  ConceptualIndividual : ClassOfBoundedIndividual

postulate --  ConceptualIndividual is subTypeOf DictionaryBlock
  st-346a36d2655b53aa : ConceptualIndividual ⊏ₐₑ DictionaryBlock {lzero}

postulate --  ConceptualIndividual is subTypeOf IndividualAsset
  st-1d51ae9e635326b5 : ConceptualIndividual ⊏⋆ₑ IndividualAsset

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

{- Qualifying Concept Property:  -}
postulate -- Relation: Qualifying Concept Property
  qualifyingConceptProperty : classOfMixedOrderRelation  ConceptualIndividual ConceptPropertyv