First Order Class

BUILDING BLOCK - First Order Class

Description

Abstract Concept

First Order Class is the Meta-Class of all subclasses of First Order Entity.

Each instance of First Order Class is a Class of Entity, each of whose instances is necessarily a First Order Entity.

First Order Classes are the most common type of classes.

Examples:

. Buildings
. Mountains

. Deliveries

. Organizations

. Persons

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 - First-Order Class

Multi-level conceptual modeling: Theory, language and application

W3C - OWL - Class

Power Type

Second Order Class

Power Type of

First Order Entity

Dictionary

SysFEAT Upper Ontology

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 Second Order Class	[1..1]	Second Order Class	First Order Class
Class of Holonymy	[*..0]	First Order Class	First Order Class	Class of Holonymy is the powertype of Holonymy Relation.
Class of Meronymy	[*..0]	First Order Class	First Order Class	Class of Meronymy is the powerType of Meronymy Relation.

LOGICAL FORMULATION

LOGIC-AGDA RDF

File: c463c6106aa23c35.agda

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