second-order class

Summary

second-order class is a third-order class^[1].

Key Facts

• second-order class's instance of is recorded as third-order class^[2].
• second-order class's subclass of is recorded as fixed-order class^[3].
• second-order class's subclass of is recorded as metaclass^[4].
• second-order class's equivalent class is recorded as http://sw.opencyc.org/2012/05/10/concept/en/FirstOrderCollection^[5].
• second-order class's different from is recorded as type^[6].
• second-order class's different from is recorded as metaclass^[7].
• second-order class's different from is recorded as class^[8].
• second-order class's different from is recorded as variable-order class^[9].
• second-order class's properties for this type is recorded as P1963^[10].
• second-order class's properties for this type is recorded as P6104^[11].
• second-order class's properties for this type is recorded as P8225^[12].
• second-order class's properties for this type is recorded as P2737^[13].
• second-order class's Wikidata usage instructions is recorded as Wikidata:WikiProject Ontology/Modelling^[14].
• second-order class's Wikidata usage instructions is recorded as 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.^[15].
• second-order class's model item is recorded as cell type^[16].
• second-order class's maintained by WikiProject is recorded as WikiProject Ontology^[17].
• second-order class's is metaclass for is recorded as first-order class^[18].
• second-order class's KBpedia ID is recorded as ObjectOrientedProgrammingLanguage^[19].