DEFINITION RELATIONSHIPS TAXONOMY LOGICAL FORMULATION CONTENT MANAGEMENT

ENTITY - First Order Entity


SynonymParticular
Description
Abstract Concept
First Order Entity is a kind of Ordered Entity that is not itself a class (Class of Entity): it cannot have instances. The " First Order Entity" class is the powerinstance of First Order Class
 First Order Entitys are the most common type of entities.
The word "Individual" is sometimes used to designate particulars. In  SysFEAT, the term Individual is reserved for particulars that have a spatio-temporal extent.
Examples:
. The set of numbers {1,2,3,4}.
. The mathematical constant π (pi).
. The English word "Tree" (as a specific string of characters in a specific language).
. The Eiffel tower (31st March 1889 - ...).
. Mount Vesuvius eruption (Aug. 24-25, A.D. 79).

Functional DomainReflexive Knowledge Graph


The Reflexive Knowledge Graph domain defines the top level constructs of Entitys, Relations, their multi-level classification and mereological relationships.


Super Types  Ordered Entity  
Power Type  First Order Class  
Dictionary  SysFEAT Upper Ontology
Lexical Scope  Lexical Scope 
Framework Mapping UFO - A - Endurant : Particular

RELATIONSHIPS


Simple Graph Graph & Inheritance Table
Simple Graph

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

LOGICAL FORMULATION


LOGIC-AGDA RDF

File: f41700e868ee0f29.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.