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

4D Composite Knowledge Graph: 
The purpose of the 4D Composite Knowledge Graph is to layer structured spatio-temporal concepts onto the Reflexive Knowledge Graph,The 4D Composite Knowledge Graph integrates the capabilities of Reflexive Knowledge Graphs (entities, relationships,  Holonymy Relation and multi-level instance of Entity) with those of Compositionality (composite structures) resulting in the addition of the following key features:1) Mereological  Aggregate Holonymy relationships, providing dynamic locality to composition.2) Individual-Property distinction: a clear ontological separation between Bounded Individuals (entities that exist in space and time) and their properties (Property Value). A dedicated Typology characterizes how individuals relate to and instantiate these properties.3) Temporal Framing: the introduction of temporal connections (Temporal Bounding) that define the temporal boundaries of Bounded Individuals, enabling the explicit modeling of state changes, events, and persistence over time.

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

External references:
  Russell Ackoff - Choice & Communication - Signification of a Sign: ../resources/external-references/Ackoff-1967-Choice-Communication-and-Conflict.pdf#SignificationOfASign
  SysFEAT -Semantic.pdf: ../resources/framework/SysFEAT-ModelingFramework-02-Semantic.pdf
  Wordnet - Semantics: https://en-word.net/ili/i67948
  Stanford Encyclopedia - Temporal-parts: https://plato.stanford.edu/entries/temporal-parts
 - ============================== -}

{-# OPTIONS --cubical --guardedness #-}
module SysFEAT.UpperOntology.sysfeat-domain-fb342c5665561f29 where -- ========== 4D Composite Knowledge Graph

open import SysFEAT.UpperOntology.sysfeat-domain-f0fd779f65a18c5d public -- Packaging
open import SysFEAT.UpperOntology.sysfeat-domain-e278fa2568f06541 public -- Reflexive Knowledge Graph
open import SysFEAT.UpperOntology.sysfeat-domain-36166b8c6157b6b4 public -- Compositionality

open import SysFEAT.UpperOntology.87d3062666e33965 public -- Property Type
open import SysFEAT.UpperOntology.746ac18368905aa2 public -- Property
open import SysFEAT.UpperOntology.3492c53e619642ed public -- Class of Bounded Individual
open import SysFEAT.UpperOntology.b85efd0868df48b1 public -- Property Value
open import SysFEAT.UpperOntology.28f07b2354be0d69 public -- Bounded Individual
open import SysFEAT.UpperOntology.29cd2db0661546c4 public -- Individual State
open import SysFEAT.UpperOntology.342f43ae66156429 public -- State Class
open import SysFEAT.UpperOntology.4df9512266826e23 public -- Individual
open import SysFEAT.UpperOntology.3e525e406ab05b0d public -- Composite Property
open import SysFEAT.UpperOntology.00ae5d3b667038fc public -- Whole Life Class
open import SysFEAT.UpperOntology.267b6a126675a0b9 public -- Temporal Bounding
open import SysFEAT.UpperOntology.608767a668de7fb6 public -- Class of Class of Individual
open import SysFEAT.UpperOntology.60876d5c68de82f2 public -- Class of Class of Bounded Individual
open import SysFEAT.UpperOntology.342f74b166156e02 public -- Whole Life Individual
open import SysFEAT.UpperOntology.9429979a66823f90 public -- Temporal Bounding Type
open import SysFEAT.UpperOntology.6aa8cbcb65b32971 public -- Class of Individual