FAMILY OF CONCEPTS - Element Nature of Element
| Categorized Class | 
Element 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. |
|---|
DISJOINT SUBTYPES of 'Element'
| Name | Description |
|---|---|
|
Entity |
An 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. |
Relation |
A Relation is the reification of a Linkage of the Predication Substrate, as an Element that represents a directed connection between a source Entity and a target Entity. Relations are nested within their source Entity. (principle of locality). |