CLASS OF ENTITY - Class of Element
| Description |
Abstract Concept
A Class of Element is an Element whose inhabitants are themselves Elements: a type one universe level above its members. Formally, ClassOfElement u = Element (lsuc u), so a class at level u is a type whose instances are Element u things. This universe gap is what separates a class from its members and prevents the self-reference paradoxes of naive set theory - while still allowing, through cross-level reasoning (metaInstanceOf), the class of all classes to be an instance of itself. A Class of Element is the Predication Substrate's answer to the question "what is a category of things?" - not a predicate that returns true or false, but a type that collects its instances as inhabitants.
Element Nature of Class of Element: a Class of Element is either a Class of Entity or a Class of Relation
|
||
|---|---|---|---|
| External references |
 CycProject- Instances of_instances modeled via higher-order-classes ISO 15926 - Class OMG - KerML - Type OpenGroup - ArchiMate - Specialization-Relationship SysFEAT -Semantic.pdf SysFEAT-TheoraticalFoundations-LocalityPrinciple.pdf Wikipedia - Class (knowledge representation) Wikipedia - Class (set theory) WordNet - Class | ||
| Super Types | 
Element | ||
| Power Type of |
Element | ||
| 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: 20702b2568e9694d.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.