second-order class (Q3996894): Difference between revisions
Jump to navigation
Jump to search
(Changed label, description and/or aliases in en: The description in Wikidata changed) |
(Changed an Item: Adding these statements since they where added in Wikidata) |
||||||||||||||
| Property / equivalent class | |||||||||||||||
| Property / equivalent class: http://sw.opencyc.org/2012/05/10/concept/en/FirstOrderCollection / rank | |||||||||||||||
Normal rank | |||||||||||||||
| Property / subclass of | |||||||||||||||
| Property / subclass of: fixed-order class / rank | |||||||||||||||
Normal rank | |||||||||||||||
| Property / subclass of: fixed-order class / qualifier | |||||||||||||||
| Property / subclass of: fixed-order class / qualifier | |||||||||||||||
| Property / subclass of: fixed-order class / qualifier | |||||||||||||||
| Property / subclass of | |||||||||||||||
| Property / subclass of: metaclass / rank | |||||||||||||||
Normal rank | |||||||||||||||
| Property / instance of | |||||||||||||||
| Property / instance of: third-order class / rank | |||||||||||||||
Normal rank | |||||||||||||||
| Property / properties for this type | |||||||||||||||
| Property / properties for this type: properties for this type / rank | |||||||||||||||
Normal rank | |||||||||||||||
| Property / properties for this type | |||||||||||||||
| Property / properties for this type: maintained by WikiProject / rank | |||||||||||||||
Normal rank | |||||||||||||||
| Property / properties for this type | |||||||||||||||
| Property / properties for this type: is metaclass for / rank | |||||||||||||||
Normal rank | |||||||||||||||
| Property / properties for this type | |||||||||||||||
| Property / properties for this type: union of / rank | |||||||||||||||
Normal rank | |||||||||||||||
| Property / model item | |||||||||||||||
| Property / model item: cell type / rank | |||||||||||||||
Normal rank | |||||||||||||||
| Property / different from | |||||||||||||||
| Property / different from: type / rank | |||||||||||||||
Normal rank | |||||||||||||||
| Property / different from | |||||||||||||||
| Property / different from: metaclass / rank | |||||||||||||||
Normal rank | |||||||||||||||
| Property / different from | |||||||||||||||
| Property / different from: class / rank | |||||||||||||||
Normal rank | |||||||||||||||
| Property / different from | |||||||||||||||
| Property / different from: variable-order class / rank | |||||||||||||||
Normal rank | |||||||||||||||
| Property / maintained by WikiProject | |||||||||||||||
| Property / maintained by WikiProject: WikiProject Ontology / rank | |||||||||||||||
Normal rank | |||||||||||||||
| Property / Wikidata usage instructions | |||||||||||||||
Wikidata:WikiProject Ontology/Modelling (multiple languages) | |||||||||||||||
| Property / Wikidata usage instructions: Wikidata:WikiProject Ontology/Modelling (multiple languages) / rank | |||||||||||||||
Normal rank | |||||||||||||||
| Property / Wikidata usage instructions: Wikidata:WikiProject Ontology/Modelling (multiple languages) / qualifier | |||||||||||||||
| Property / Wikidata usage instructions | |||||||||||||||
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. (English) | |||||||||||||||
| Property / Wikidata usage instructions: 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. (English) / rank | |||||||||||||||
Normal rank | |||||||||||||||
| Property / KBpedia ID | |||||||||||||||
ObjectOrientedProgrammingLanguage | |||||||||||||||
| Property / KBpedia ID: ObjectOrientedProgrammingLanguage / rank | |||||||||||||||
Normal rank | |||||||||||||||
| Property / KBpedia ID: ObjectOrientedProgrammingLanguage / reference | |||||||||||||||
| Property / KBpedia ID: ObjectOrientedProgrammingLanguage / reference | |||||||||||||||
retrieved: 9 July 2020
| |||||||||||||||
| Property / is metaclass for | |||||||||||||||
| Property / is metaclass for: first-order class / rank | |||||||||||||||
Normal rank | |||||||||||||||
Revision as of 12:26, 20 September 2024
metaclass containing as instances all classes of individuals
- 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
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | second-order class |
metaclass containing as instances all classes of individuals |
|
Statements
0 references
Wikidata:WikiProject Ontology/Modelling (multiple languages)
0 references
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. (English)
0 references