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

Annotation Block: 
An Annotation Block is a Building Block used to provide additional characteristics such as Documentations,Examples:. Description Note.. Tag.

Documentation : https://framework.sysfeat.com/pages/d745e6ea6aa386e5.htm

External references:
  OMG - KerML - AnnotatingElement: https://www.omg.org/spec/KerML/1.0/PDF#page=252
  WordNet - Annotation: https://en-word.net/ili/i72033
 - ============================== -}

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

module SysFEAT.SOF.d745e6ea6aa386e5 where -- ========== Annotation Block

open import Agda.Primitive
open import SysFEAT.UpperOntology.3aca52346aa6418d public -- Abstract Entity
open import SysFEAT.UpperOntology.23d5a9ea68513ced public -- Building Block
open import SysFEAT.UpperOntology.23d5249e68510ff9 public -- Element

AnnotationBlock : ClassOfAbstractEntity
AnnotationBlock = AbstractEntity


--  AnnotationBlock is subTypeOf AbstractEntity
st-d745e6ea6aa386e5-3aca52346aa6418d : AnnotationBlock ⊏ₑ AbstractEntity
st-d745e6ea6aa386e5-3aca52346aa6418d = polySubTypeOf-identity

--  AnnotationBlock withAspect BuildingBlock
st-d745e6ea6aa386e5-23d5a9ea68513ced : AnnotationBlock ⊏ₐₑ (BuildingBlock lzero)
st-d745e6ea6aa386e5-23d5a9ea68513ced = polySubTypeOf-identity


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

-- -------------------------------------------------------------------------------------------- 
{- Annoted Element: -}
annotedElement : ∀ {u} →  Linkage AnnotationBlock (Element u)
annotedElement = make_Relation "Annoted Element" "Annoted Element"

postulate -- annotedElement is subTypeOf referenceRelation
  st-3346b23668784855-23d5398f68511bc1  : annotedElement  ⊏⋆ᵣ  referenceRelation {lzero} {lzero}
postulate -- annotedElement is subTypeOf existentialDependency
  st-3346b23668784855-cbfce7da685358e9  : annotedElement  ⊏⋆ᵣ  existentialDependency {lzero} {lzero}