Second Order Class

BUILDING BLOCK - Second Order Class

Description

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

Each instance of Second Order Class is a class, each of whose instances is a First Order Class.

First Order Class is an instance of Second Order Class since, by definition, all of its instances are First Order Classes.

Examples:

1) Car-Brand (with instances such as VolkswagenCar and HondaCar),

2) AnimalSpecies (with instances such as GreyWolf and Dodo),
3) USArmyRank.

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

BORO Research - Unification of Types and Multi-Level Modeling

CycProject 2005 - Second-Order Class

Multi-level conceptual modeling: Theory, language and application

Survey of Classification Modeling in Software & Systems Modeling

SysFEAT-TheoraticalFoundations-MultiLevelModeling.pdf

Super Types

Ordered Meta-Class

Power Type

Third Order Class

Power Type of

First Order Class

Dictionary

SysFEAT Upper Ontology

Framework Mapping

UFO - A - Endurant : 2ndOT

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 Third Order Class	[1..1]	Third Order Class	Second Order Class

LOGICAL FORMULATION

LOGIC-AGDA RDF

File: a599a7e46aa370fb.agda

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