First Order Entity

DEFINITION RELATIONSHIPS TAXONOMY LOGICAL FORMULATION CONTENT MANAGEMENT

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 itself the powerinstance of First Order Class.

The Individual term is sometimes used to designate First Order Entity. In SysFEAT, as in BORO and OpenCyc, the Individual term is reserved for First Order Entitys that have a spatio-temporal extent.

First Order Entitys are the most common type of entities.

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 Domain: Reflexive Knowledge Graph

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

External references

CycProject 2005 - Individual

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: ➝

Graph & Hierarchy

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

Relationship Table

Relationship	Cardinality	Target Entity	Source Entity	Description
PowerTyped by First Order Class	[1..1]	First Order Class	First Order Entity
Holonymy Relation	[*..0]	First Order Entity	First Order Entity	Abstract Relationship Holonymy Relation is a directional whole-to-part Relation (often called Composition) between First Order Entitys, where the source First Order Entity (the whole) incorporates the target First Order Entity as one of its constituent parts.In accordance with principles of Compositionality, Holonymy Relation is not simply the inverse of Meronymy Relation. In many cases, the target part is an independant First Order Entity which exists conceptually and often physically without requiring knowledge of, or containing an inherent reference to, its parent whole.The embedding of a part within its whole involves a form of nesting (see Nesting Relation and Aggregate Block). It is important to note, however, that nesting does not inherently imply holonymy.Example:
Meronymy Relation	[*..0]	First Order Entity	First Order Entity	Abstract Relationship Meronymy Relation is a directional part-to-whole Meronymy Relation between First Order Entitys, where the source First Order Entity (the part) is defined has being part of a larger whole First Order Entity.In accordance with principles of Compositionality, Meronymy Relation is not simply the inverse of Holonymy Relation. In some cases, the whole First Order Entity is not inherently defined by some its parts. Location (Located at) and period relationships are such Meronymy Relations.Example:- William Shakespeare is born in Stratford-upon-Avon, but the Stratford-upon-Avon geo-location is not inherently defined by William Shakespeare. It is defined by its geophysical containers: Continent-Europe, Landmass-Great Britain.- William Shakespeare is born in 1564, but the year 1564 is not inherently defined by the birth of William Shakespeare. It is defined by its position in the Gregorian calendar and contains countless other global events.

LOGICAL FORMULATION

LOGIC-AGDA RDF

File: 5425a2df6aa225cf.agda

File: 5425a2df6aa225cf.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.