| 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.
|
||
|---|---|---|---|
| Super Types |
Meta-Class | ||
| Dictionary |
SysFEAT Upper Ontology |
Composition: ➝ Classification: ➝ Specialization: ➝ Instance Of: --> Enumerated definition: ➝ Syntax: ➝
File: b48ac0116a0d398b.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.