DEFINITION RELATIONSHIPS TAXONOMY LOGICAL FORMULATION CONTENT MANAGEMENT

CLASS OF CLASS OF ENTITY - Ordered Meta-Class


Description
Ordered Class is the defined as the Meta-Class of all power-type based Class of Entitys that follow a strict ordering of metalevels.

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
 Survey of Classification Modeling in Software & Systems Modeling
 SysFEAT-TheoraticalFoundations-MultiLevelModeling.pdf
Super Types  Meta-Class  
Dictionary  SysFEAT Upper Ontology

RELATIONSHIPS


Simple Graph Graph & Inheritance Table
Simple Graph

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

LOGICAL FORMULATION


LOGIC-AGDA RDF

File: d9cce4e96937128c.agda

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.