second-order class
(Q24017414)
metaclass containing as instances all classes of individuals
metaclass containing as instances all classes of individuals
Language:
Current Data About
second-order class
| (P31) |
(Q24017465)
|
||||||
| (P279) |
(Q23959932)
(Q19478619) |
||||||
| (P1709) |
http://sw.opencyc.org/2012/05/10/concept/en/FirstOrderCollection
|
||||||
| (P1889) |
(Q21146257)
(Q19478619) (Q16889133) (Q23958852) |
||||||
| (P1963) |
(P1963)
(P6104) (P8225) (P2737) |
||||||
| (P2559) |
"Wikidata:WikiProject Ontology/Modelling" (language: mul)
"A second-order class in Wikidata, e.g., watercraft type (Q16335899), bridge by structural type (Q17644823), or first-order class (Q104086571), is a class all of whose instances are implicitly or explicitly an instance of (P31) first-order class (Q104086571). A class is implicitly a second-order classes if it is a subclass of (P279) another class that is a second-order class, e.g., submarine type (Q121289744) is implicitly a second order class because it is a subclass of (P279) watercraft type (Q16335899). These implicit instance of instance of (P31) statements are not all observable in Wikidata. Before stating that a class is an instance of (P31) second-order class (Q24017414) check that it is actually a second-order class, i.e., that all its instances are classes of individuals." (language: en) |
||||||
| (P5869) |
(Q189118)
|
||||||
| (P6104) |
(Q60005226)
|
||||||
| (P8225) |
(Q104086571)
|
other details
| aliases |
metaclass of the 2nd order 2nd-order metaclass metaclass (2nd order) second-order metaclass metaclass (second order) metaclass of the second order metaclass of the first order 1-order metaclass 2nd-order class |
| description | metaclass containing as instances all classes of individuals |
External Links
| (P8408) |
ObjectOrientedProgrammingLanguage
|