DEFINITION RELATIONSHIPS TAXONOMY LOGICAL FORMULATION CONTENT MANAGEMENT

BUILDING BLOCK - Bounded Individual MetaClass


SynonymBounded Individual Type Type, Class of Class of Bounded Individual
Description
A  Bounded Individual MetaClass is a Class of Class of Individual which is the powertype of  Class of Bounded Individual . It means that all sub-types of Class of Bounded Individual are instances of  Bounded Individual MetaClass.

Functional Domain:  4D Composite Knowledge Graph


The purpose of the 4D Composite Knowledge Graph is to layer structured spatio-temporal concepts onto the Reflexive Knowledge Graph,


Super Types  Class of Class of Individual  
Power Type of  Class of Bounded Individual  
Dictionary  SysFEAT Upper Ontology

RELATIONSHIPS


Simple Graph Graph & Inheritance Table
Simple Graph

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

LOGICAL FORMULATION


LOGIC-AGDA RDF

File: 60876d5c68de82f2.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.