DEFINITION RELATIONSHIPS TAXONOMY LOGICAL FORMULATION CONTENT MANAGEMENT

ENTITY - Mixed-Order Element

Description
Abstract Concept
An  Mixed-Order Element is an Element that can belong to multiple metamodeling order (mixed universes in Agda).
Example:
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  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: 526b679569de63eb.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.

CHARTER
Missing Content
Governance
Provide Feedback