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

Location Type: 
A Location Type is a type of Location that is a geopolitical location.Example:- Continent- Country- City- District- Street

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

External references:
  OMG - UAF - Location: https://www.omg.org/spec/UAF/1.2/Beta1/DMM/PDF#Location
  ISO 15926 - ClassOfRelativeLocation: https://15926.blog/topics/data-model/index.htm#ClassOfRelativeLocation
 - ============================== -}

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

module SysFEAT.SOF.ef5df90463212593 where -- ========== Location Type

open import Agda.Primitive
open import SysFEAT.UpperOntology.3492c53e619642ed public -- Class of Bounded Individual

LocationType : ClassOfClassOfBoundedIndividual
LocationType = ClassOfBoundedIndividual


--  LocationType is subTypeOf ClassOfBoundedIndividual
st-ef5df90463212593-3492c53e619642ed : LocationType ⊏ₑ ClassOfBoundedIndividual
st-ef5df90463212593-3492c53e619642ed = polySubTypeOf-identity


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