Block Lexical Scope

ENTITY - Block Lexical Scope

Description

Abstract Concept

A Block Lexical Scope is a Block Collection that is also a Lexical Scope for the Building Blocks it groups.

A Block Lexical Scope defines the existence of its grouped Building Blocks through nesting.

Lexical Scoping of Block Lexical Scope: a Block Lexical Scope is either

Functional Domain: Packaging

The Packaging domain defines the core elements of Building Block and Container which provide the basis for building modules.

External references

Blog - Explain lexical scope in plain English

Super Types

Block Collection

Lexical Scope

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
Scoped Building Block	[*..0]	Building Block	Block Lexical Scope	Abstract Relationship Nesting Relation that asserts the existence of a set of Building Blocks in the context of a given Block Lexical Scope.A Building Block belongs to one and one one Block Lexical Scope.
Typology	[*..0]	Class of Entity	Entity	Abstract Relationship A Typology is a Relation between an Entity and its categorical nature - the intrinsic properties or criteria that determine the Entity membership within a Class of Entity. Typology governs two distinct categorization mechanisms:- instance of Entity: assigning a Ordered Entity to a predefined Class of Entity based on shared characteristics (e.g., grouping by common traits).- SubTypeOfEntity: refining a Class of Entity into a subclass with narrower criteria (e.g., inheritance hierarchies or subtype relationships).While instance of Entity focuses on grouping Ordered Entitys into Class of Entitys, SubTypeOfEntity emphasizes hierarchical refinement of Class of Entityes themselves. Both mechanisms operate under the umbrella of typology, which formalizes how Ordered Entitys are systematically categorized.
Reference Relation	[*..0]	Entity	Entity	Abstract Relationship A Reference Relation is a Relation that points at a target Entity which is not in the Lexical Scope of its source Entity.
Existential Dependency	[1..1]	Entity	Entity	Abstract Relationship An Existential Dependency relationship is a Relation where the source Entitys existence depends on the existence of the target Entity.The cardinality of the set of targetted Entity is [1..1].
instance of Entity	[*..0]	Class of Entity	Entity	Abstract Relationship instance of Entity is a Typology relationship that relates an Entity to a Class of Entity, as instance of this Class of Entity.

LOGICAL FORMULATION

LOGIC-AGDA RDF

File: 23d5c494685141b5.agda

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