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

Governance Property Type: 
A Governance Property Type is a classification of Governance Propertys.

Documentation : https://framework.sysfeat.com/pages/83f8933a67407206.htm

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

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

module SysFEAT.SOF.83f8933a67407206 where -- ========== Governance Property Type

open import Agda.Primitive
open import SysFEAT.SOF.6662916b68dd5f84 public -- Governance Instrument
open import SysFEAT.UpperOntology.87d3062666e33965 public -- Property Type

GovernancePropertyType : ThirdOrderClass
GovernancePropertyType = SecondOrderClass

--  GovernancePropertyType withAspect GovernanceInstrument
st-83f8933a67407206-6662916b68dd5f84 : GovernancePropertyType ⊏ₐₑ (GovernanceInstrument (lsuc(lsuc(lzero))))
st-83f8933a67407206-6662916b68dd5f84 = polySubTypeOf-identity

--  GovernancePropertyType is subTypeOf PropertyType
st-83f8933a67407206-87d3062666e33965 : GovernancePropertyType ⊏ₑ PropertyType
st-83f8933a67407206-87d3062666e33965 = polySubTypeOf-identity


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