DEFINITION STRUCTURAL PARTITION RELATIONSHIPS SEMANTIC TAXONOMY LOGICAL FORMULATION CONTENT MANAGEMENT

ENTITY - Linkage


SynonymEdge
Description
Abstract Concept
An  Linkage is a member of a Kuratowski's ordered pair, and represents an elementary constituent of a model, used to reference an Element. It is a basic construct to form Kuratowski's ordered pairs.
An  Linkage is either a Reference Adjacency or a Nesting Adjacency .

Functional DomainElementary Graph


The Elementary Graph domain defines the basic constructs for relating and classifying Elements in a directed graph.


Dictionary  SysFEAT Upper Ontology
Lexical Scope  Element 

STRUCTURAL PARTITION


RELATIONSHIPS


Simple Graph Graph & Inheritance Table
Simple Graph

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

LOGICAL FORMULATION


LOGIC-AGDA RDF

File: 0eb93b276855b2c1.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.