Class of Mixed-Order Entity

CLASS OF ENTITY - Class of Mixed-Order Entity

Description

Abstract Concept

A Class of Mixed-Order Entity is a Class of Entity which instances can belong to different meta-modeling order.

This includes Class of Entitys that are instances of themselves, such as Meta-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 - Instances of instances modeled via higher-order-classes

Multi-level conceptual modeling: Theory, language and application

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

SysFEAT-TheoraticalFoundations-MultiLevelModeling.pdf

Super Types

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

Power Type

Mixed-Order MetaClass

Power Type of

Mixed-Order 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
PowerTyped by Mixed-Order MetaClass	[1..1]	Mixed-Order MetaClass	Class of Mixed-Order Entity
Class of Relation	[*..0]	Class of Entity	Class of Entity	Abstract Relationship The Class of Relation is the powertype of Relation.
SubTypeOfEntity	[*..0]	Class of Entity	Class of Entity	Abstract Relationship A SubTypeOfEntity is a Typology relationship between two Class of Entitys. It relates a more concrete Class of Entity, called the sub-class, to a more abstract Class of Entity, called the super-class. It indicates that all instances of the sub Class of Entity are instances of the super Class of Entity, the extent of the sub Class of Entity is a subset of the extent of the super Class of Entity, which might be the same set.

LOGICAL FORMULATION

LOGIC-AGDA RDF

File: 308c3b3868e9141e.agda

File: 308c3b3868e9141e.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.