| Description |
Third Order Class is the Meta-Class that is the powertype of Second Order Class. Each instance of Third Order Class is a direct of indirect subtype of Second Order Class.
|
||
|---|---|---|---|
| Power Type of |
Second Order Class | ||
| Dictionary |
SysFEAT Upper Ontology |
Composition: ➝ Classification: ➝ Specialization: ➝ Instance Of: --> Enumerated definition: ➝ Syntax: ➝
File: 05e6065d6aa42f5f.agda
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.