DEFINITION RELATIONSHIPS TAXONOMY LOGICAL FORMULATION CONTENT MANAGEMENT

ENTITY - Ordered Element

Description
Abstract Concept
An  Ordered Element is an Element that can belong to only to a single metamodeling order (fixed universe 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: 526b6bd869de64e4.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