first-order class (Q104086571)
class whose instances are individuals and not classes
- token-class
- class of individuals
- first-order type
- 1stOT
- 0-order metaclass
- Wikidata instance class
- Wikidata simple class
- class
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | first-order class |
class 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. Classes that are a subclass of (P279) 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), double check that it cannot have any instances that are classes. (English)
0 references
Sitelinks
Wikipedia(1 entry)
- enwiki First-order class