DEFINITION RELATIONSHIPS TAXONOMY LOGICAL FORMULATION CONTENT MANAGEMENT

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 instancessuch as GreyWolf and Dodo), Occupation, and 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  CycProject- Instances of_instances modeled via higher-order-classes
 Multi-level conceptual modeling: Theory, language and application
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: ➝  

LOGICAL FORMULATION

LOGIC-AGDA RDF

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