Fourth Order Class

BUILDING BLOCK - Fourth Order Class

Description

Abstract Concept

Fourth Order Class is the Ordered Meta-Class that is the powertype of Third Order Class.

Each instance of Fourth Order Class is a direct of indirect subtype of Third Order Class.

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

CycProject 2005 - Third-Order Class

Multi-level conceptual modeling: Theory, language and application

Survey of Classification Modeling in Software & Systems Modeling

SysFEAT-TheoraticalFoundations-MultiLevelModeling.pdf

Super Types

Ordered Meta-Class

Dictionary

SysFEAT Upper Ontology

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

LOGICAL FORMULATION

LOGIC-AGDA RDF

File: 003302806ae27b7c.agda

File: 003302806ae27b7c.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.