Class of Mixed Order Element

CLASS OF ENTITY - Class of Mixed Order Element

Description

Abstract Concept
A Class of Mixed Order Element is a Class of Element that can span accross multiple metalevels.

Functional Domain: Predication Substrate

The Predication Substrate defines the compositional system of Element, Class of Element, and local predicates (Linkage) from which SysFEAT's ontological structures are grown. It provides the internal structure of predication - classification, specialization, powertyping, and Compositionality - as a single, universe-stratified, mechanically verified engine that every higher layer inherits.

Super Types

Class of Element

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: 62a271056ace0f5c.agda

File: 62a271056ace0f5c.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.