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

Composite Property Type: 
A Composite Property Type is a Property Type that is composed of other Property Types.

Documentation : https://framework.sysfeat.com/pages/86b99fec6ac32863.htm

 - ============================== -}

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

module SysFEAT.UpperOntology.86b99fec6ac32863 where -- ========== CompositePropertyType

open import Agda.Primitive
open import SysFEAT.UpperOntology.87d3062666e33965 public -- PropertyType
open import SysFEAT.UpperOntology.23d56d9868525869 public -- AggregateEntityBlock

CompositePropertyType : ThirdOrderClass
CompositePropertyType = PropertyType


--  CompositePropertyType is subTypeOf PropertyType
st-86b99fec6ac32863-87d3062666e33965 : CompositePropertyType ⊏ₑ PropertyType
st-86b99fec6ac32863-87d3062666e33965 = polySubTypeOf-identity

--  CompositePropertyType withAspect AggregateEntityBlock
st-86b99fec6ac32863-23d56d9868525869 : CompositePropertyType ⊏ₐₑ (AggregateEntityBlock (lsuc(lsuc(lzero))))
st-86b99fec6ac32863-23d56d9868525869 = polySubTypeOf-identity


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