Mixed-Order Entity

ENTITY - Mixed-Order Entity

Description

Abstract Concept

Mixed-Order Entity is a class of Entitys that is transversal to order levels, defined polymorphically over the universe hierarchy (for every level u).

It is a polymorphic subtype of Entity (declaration: MixedOrderEntity u ⊏⋆ₑ Entity v) and a power instance of Class of Mixed-Order Entity (declaration: ∷ₚₑ), which means that its subtypes may classify entities belonging to any universe level, whereas an Ordered Entity and its subtypes are anchored to a fixed level.

Example:

1) Lexical Scope (an Aspect of Entity )

2) N-Plus Order Entity

Structural Partition of Mixed-Order Entity: a Mixed-Order Entity is either a N-Plus Order Entity or an Aspect of Entity

Functional Domain: Reflexive Knowledge Graph

The Reflexive Knowledge Graph domain defines the top level constructs of Entitys, Relations, their multi-level classification and mereological relationships.

External references

BORO Research - Unification of Types and Multi-Level Modeling

Multi-level conceptual modeling: Theory, language and application - Orderless Type

Survey of Classification Modeling in Software & Systems Modeling

SysFEAT-TheoraticalFoundations-MultiLevelModeling.pdf

Super Types

Entity

Power Type

Class of Mixed-Order Entity

Dictionary

SysFEAT Upper Ontology

Lexical Scope

RELATIONSHIPS

Simple Graph Graph & Inheritance Table

Simple Graph

Composition: ➝ Classification: ➝ Specialization: ➝ Instance Of: --> Enumerated definition: ➝ Syntax: ➝

Graph & Hierarchy

Composition: ➝ Classification: ➝ Specialization: ➝ Instance Of: --> Enumerated definition: ➝ Syntax: ➝

Relationship Table

Relationship	Cardinality	Target Entity	Source Entity	Description
PowerTyped by Class of Mixed-Order Entity	[1..1]	Class of Mixed-Order Entity	Mixed-Order Entity
Typology	[*..0]	Class of Entity	Entity	Abstract Relationship A Typology is a Relation between an Entity and its categorical nature - the intrinsic properties or criteria that determine the Entity membership within a Class of Entity. Typology governs two distinct categorization mechanisms:- instance of Entity: assigning a Ordered Entity to a predefined Class of Entity based on shared characteristics (e.g., grouping by common traits).- SubTypeOfEntity: refining a Class of Entity into a subclass with narrower criteria (e.g., inheritance hierarchies or subtype relationships).While instance of Entity focuses on grouping Ordered Entitys into Class of Entitys, SubTypeOfEntity emphasizes hierarchical refinement of Class of Entityes themselves. Both mechanisms operate under the umbrella of typology, which formalizes how Ordered Entitys are systematically categorized.
Relation	[*..0]	Entity	Entity	Abstract Relationship A Relation is the reification of a Linkage of the Predication Substrate, as an Element that represents a directed connection between a source Entity and a target Entity.Relations are nested within their source Entity. (principle of locality).
Reference Relation	[*..0]	Entity	Entity	Abstract Relationship A Reference Relation is a Relation that points at a target Entity which is not in the Lexical Scope of its source Entity.
Existential Dependency	[1..1]	Entity	Entity	Abstract Relationship An Existential Dependency relationship is a Relation where the source Entitys existence depends on the existence of the target Entity.The cardinality of the set of targetted Entity is [1..1].
Existential Independence	[*..0]	Entity	Entity	Abstract Relationship An Existential Independence relation is a Relation that specifies that the existence of the source Entity doesnt depend on the existence of its target Entity.The cardinality of set of targetted Entity is [0..*].
instance of Entity	[*..0]	Class of Entity	Entity	Abstract Relationship instance of Entity is a Typology relationship that relates an Entity to a Class of Entity, as instance of this Class of Entity.

LOGICAL FORMULATION

LOGIC-AGDA RDF

File: 6ef572f868f1366f.agda

File: 6ef572f868f1366f.rdf

SEMANTIC TAXONOMY

Sub-Types Super-Types

SUB-TYPES

Click node rectangle to collapse/expand one level. Click triangle for full recursive collapse/expand. Double-click on a node to open its URL. Hover for description.