Ontify

⌘S

First-Order Class

Token-Class

Class whose instances are individuals and not classes.

Wikipedia | First-Order Class

Statements about First-Order Class

Instance Of

Second-Order Class

Subclass Of

Powered by

Fixed-Order Class

:1

:

Second-Order Class