FAMILY OF CONCEPTS - Class Ordering of Entity
| Categorized Class | 
EntityAn Entity is a distinct, identifiable Element that has a proper existence (living or non living). It is accessible by some referencing mechanism and can have Relations to other Entitys. The Entity class is the powerinstance of Class of Entity: all subtypes of Entity are instances of Class of Entity. |
|---|
DISJOINT SUBTYPES of 'Entity'
| Name | Description |
|---|---|
|
Mixed-Order Entity |
Mixed-Order Entity is a class of Entitys that is transversal to order levels, defined polymorphically over the universe hierarchy (for every level u). It is a polymorphic subtype of Entity (declaration: MixedOrderEntity u ⊏⋆ₑ Entity v) and a power instance of Class of Mixed-Order Entity (declaration: ∷ₚₑ), which means that its subtypes may classify entities belonging to any universe level, whereas an Ordered Entity and its subtypes are anchored to a fixed level. Example: 1) Lexical Scope (an Aspect of Entity ) |
|
Ordered Entity |
Ordered Entity is a class whose sub-types are classifed by a Class of Ordered Entity: It is the power instance of Class of Ordered Entity. Examples: |