Class of Ordered Entity

CLASS OF ENTITY - Class of Ordered Entity

Synonym

Ordered Type

Description

Abstract Concept
Class of Ordered Entity is the Mixed-Order MetaClass (subtype of Class of Entity and instance of 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

CycProject 2005 - Fixed-Order Class

Multi-level conceptual modeling: Theory, language and application

SysFEAT-TheoraticalFoundations-MultiLevelModeling.pdf

Super Types

Class of Entity (from partition: Class Ordering of Class of Entity)

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
Classified by 'Mixed-Order MetaClass'	[1..1]	Mixed-Order MetaClass	Class of Ordered Entity
Aspect of Entity	[*..0]	Class of Mixed-Order Entity	Class of Ordered Entity	Abstract Relationship
Class of Relation	[*..0]	Class of Entity	Class of Entity	Abstract Relationship The Class of Relation is the powertype of Relation.

LOGICAL FORMULATION

LOGIC-AGDA RDF

File: 7d35645c68f37329.agda

File: 7d35645c68f37329.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.