BUILDING BLOCK - First Order Entity
| Synonym | Particular | ||
|---|---|---|---|
| Description |
Abstract Concept
A 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 First Order Entity. In SysFEAT, the term Individual is reserved for First Order Entitys 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).
|
||
| Power Type | 
First Order Class | ||
| Dictionary | 
SysFEAT Upper Ontology | ||
| Framework Mapping |
UFO - A - Endurant : 1stOT (Universal) 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: 5425a2df6aa225cf.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.