CLASS OF CLASS OF ENTITY - Meta-Class
| Synonym | Class of Classes of Entity | ||
|---|---|---|---|
| Description |
Abstract Concept
Meta-Class (also called Class of Classes of Entity) is the Class of Entity of all Class of Entitys each of whose instances is necessarily a Class of Entity. Meta-Class is equivalent to “at least second-order class.” Being the powertype of Class of Entity, all sub-classes of Class of Entitys are instances of Meta-Class. Since Meta-Class is itself a sub-type of Class of Entity, Meta-Class is an instance of itself.
|
||
| External references |
 BORO Research - Unification of Types and Multi-Level Modeling CycProject 2005 - At Least Nth-Order Class ISO 15926 - ClassOfClass Multi-level conceptual modeling: Theory, language and application Stanford Encyclopedia of Philosophy - Non-wellfounded set theory Survey of Classification Modeling in Software & Systems Modeling SysFEAT-TheoraticalFoundations-MultiLevelModeling.pdf | ||
| Power Type of | 
Class of Entity | ||
| Dictionary | 
SysFEAT Upper Ontology | ||
| Framework Mapping | Meta-Model Legend : Meta-Class |
RELATIONSHIPS
Simple Graph Graph & Inheritance Table
Simple Graph
Composition: ➝ Classification: ➝ Specialization: ➝ Instance Of: --> Enumerated definition: ➝ Syntax: ➝
LOGICAL FORMULATION
LOGIC-AGDA RDF
File: e27801e868f17024.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.