first-order class
(Q104086571)
class containing as instances all classes whose instances are individuals and not classes
class containing as instances all classes whose instances are individuals and not classes
Language:
Current Data About
first-order class
| (P31) |
(Q24017414)
|
||||
| (P279) |
(Q23959932)
(Q16889133) |
||||
| (P2559) |
"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." (language: en)
|
||||
| (P6104) |
(Q60005226)
|
other details
| aliases |
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 |
| description | class containing as instances all classes whose instances are individuals and not classes |