DEFINITION RELATIONSHIPS TAXONOMY LOGICAL FORMULATION CONTENT MANAGEMENT

ENTITY - Element

SynonymNode, Thing
Description
Abstract Concept
 Element is the most primitive concept in the Predication Substrate: anything that can be the subject or object of predication.
Formally, Element u = Set u - a type at universe level u. An  Element makes no ontological commitment: it is neither an Entity nor a Relation, neither concrete nor abstract. It is simply something that can be talked about - classified, linked, composed. Every concept in  SysFEAT is an  Element at some universe level; what distinguishes concepts is the level at which they live and the Linkages they participate in.
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.

External references  ISO 15926 - Thing
 OMG - KerML - Element
 OpenGroup - ArchiMate - Concept
 SysFEAT-TheoraticalFoundations-LocalityPrinciple.pdf
 W3C - RDF Schema - Resource
Power Type  Class of Element  
Dictionary  SysFEAT Upper Ontology
Framework Mapping ArchiMate - Top-Level Language Structure : Concept

RELATIONSHIPS

Simple Graph Graph & Inheritance Table
Simple Graph

Composition: ➝  Classification: ➝  Specialization: ➝  Instance Of: -->  Enumerated definition: ➝  Syntax: ➝  

LOGICAL FORMULATION

LOGIC-AGDA RDF

File: 23d5249e68510ff9.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