SysFEAT - Test

PROPERTY TYPE - Category

Description

Abstract Concept
A Category is a used to classify Class of Bounded Individual.

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

Elementary Block

Meta Family of Class

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
PowerTyping	[1..0]	Power Class	Class of Entity	A PowerTyping relationship is a Classification relationship between a Class of Entity and its Power Class.
Class of Relationship	[*..0]	Class of Entity	Class of Entity	Abstract Relationship The Class of Relationship is the powertype of Relationship.
Specialization	[*..0]	Class of Entity	Class of Entity	Abstract Relationship A Specialization is a Typology relationship between two Class of Entitys. It relates a more concrete Class of Entity, called the sub-class, to a more abstract Class of Entity, called the super-class. It indicates that all instances of the sub Class of Entity are instances of the super Class of Entity, the extent of the sub Class of Entity is a subset of the extent of the super Class of Entity, which might be the same set.
Referencing Relationship	[*..0]	Entity	Entity	Abstract Relationship A Referencing Relationship is a Relationship that points at its target Entity through Reference Adjacency.
Existential Independence	[*..0]	Entity	Entity	Abstract Relationship An Existential Independence relationship is a Relationship that specifies that the existence the source Entity doesnt depend on the existence of its target Entity.The cardinality of set set of targetted Entity is [0..*].

LOGICAL FORMULATION

LOGIC-AGDA RDF

File: 328b3a4266e33d0c.agda

File: 328b3a4266e33d0c.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.

PROPERTY TYPE - Category

RELATIONSHIPS

Simple Graph

Graph & Hierarchy

Relationship Table

LOGICAL FORMULATION

SEMANTIC TAXONOMY

SUB-TYPES

SUPER-TYPES

CHARTER

Missing Content

Governance

Provide Feedback