first-order class (Q104086571)
Jump to navigation
Jump to search
class containing as instances all classes whose instances are individuals and not classes
- token-class
- class of individuals
- first-order type
- 1stOT
- metaclass of the first order
- metaclass of the 1st order
- 1st-order metaclass
- metaclass (1st order)
- first-order metaclass
- metaclass (first order)
- 0-order metaclass
- Wikidata instance class
- Wikidata simple class
- class
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | first-order class |
class containing as instances all classes whose instances are individuals and not classes |
|
Statements
A first-order class in Wikidata, e.g., watercraft (Q1229765), bridge (Q12280), or human (Q5), is a class none of whose instances can be classes. Class that are a subclass of (P279) another class that is a first-order class are implicitly a first-order class, e.g., submarine (Q2811) is implicitly a first order class because it is a subclass of (P279) of (a subclass of) watercraft (Q1229765). There are many classes in Wikidata whose instances cannot be classes. It is only necessary to state that such a class is an instance of (P31) first-order class (Q104086571) to emphasize this point, particularly to distinguish it from a related second-order class such as to distinguish between watercraft (Q1229765) and watercraft type (Q16335899). Before stating that a class is an instance of (P31) first-order class (Q104086571) check that it is actually a first-order class, i.e., that it cannot have any instances that are classes. (English)
0 references
Sitelinks
Wikipedia(1 entry)
- enwiki First-order class