Help:Basic membership properties
|This page in a nutshell:
This page explains the differences between the properties instance of (P31), subclass of (P279) and part of (P361). To understand the differences, it is important to be familiar with the terms instance and class.
- an individual or a single thing
- an abstract object that abstracts instances;
- each class is characterized by some feature that all of its instances share;
- can share instances with other class but be distinct from other class
- class human (Q5) with instances Abraham Lincoln (Q91), Mahatma Gandhi (Q1001), Isaac Newton (Q935), etc.
- class lighthouse (Q39715) with instances Amrum Lighthouse (Q20669), Lighthouse of Alexandria (Q43244), etc.
- class ocean (Q9430) with instances Atlantic Ocean (Q97), Pacific Ocean (Q98), etc.
- class house cat (Q146) with instance Grumpy Cat (Q7714263), etc.
- class election (Q40231) with instance Taiwan presidential election, 2016 (Q20683626), etc.
- An item can be an instance and/or a class, depending on the relations it has to other items.
- Multiple instances can be abstracted into a class A.
- The specific instances of a class might or might not exist as items at Wikidata.
- If a class A can be abstracted into another class B, the relation between A and B is called subclass of.
The relation between instances with a common feature and a class characterized by this feature is produced with the property instance of (P31). We use instance of (P31) instead of subclass of (P279) when we cannot say anything about instances with such relation. More specifically, it is a rdf:type.
- is used to state that all the instances of one class are instances of another
- more specifically, it is a rdfs:subClassOf
- human brain (Q492038) subclass of (P279) brain (Q1073)
- brain (Q1073) subclass of (P279) animal organ (Q24060765)
- animal organ (Q24060765) subclass of (P279) organ (Q712378)
- class lake (Q23397) with instances Lake Baikal (Q5513) and Lake Erie (Q5492);
- class ocean (Q9430) with instances Atlantic Ocean (Q97) and Pacific Ocean (Q98).
A lake and an ocean is not the same but all their instances share the common feature of being a body of water. Therefore we can use the class body of water (Q15324) to state that:
- lake (Q23397) subclass of (P279) body of water (Q15324);
- ocean (Q9430) subclass of (P279) body of water (Q15324).
Now Lake Baikal (Q5513), Lake Erie (Q5492), Atlantic Ocean (Q97) and Pacific Ocean (Q98) will all be transitive (indirect) instances of body of water (Q15324). In general we can use more abstract objects (like body of water (Q15324)) instead of enumerations (lake (Q23397) and ocean (Q9430)) both: 1. in our statements and 2. in our questions (not covered at this help page).
subclass of (P279) is transitive property (Q18647515), that means if an item A is an instance of class B, and class B is a subclass of class C, item A is implicitly also an instance of class C. There is no general need to add a statement for the relation A→C to Wikidata.
For example, Lighthouse of Alexandria (Q43244) is an instance of lighthouse (Q39715) and lighthouse (Q39715) is a subclass of tower (Q12518). Lighthouse of Alexandria (Q43244) is thus an instance of tower (Q12518).
Items can not be instance of another non-class but they can be part of another non-class. For example, Albert Einstein's brain (Q2464312) is a part of Albert Einstein (Q937). On Wikidata we use part of (P361) for this relation.
Classes can also be part of another class. For example,
The use of instance of (P31) instead of part of (P361) would be wrong here because human brain (Q492038) is not a person. Using subclass of (P279) would also be wrong because an instance of human brain (Q492038) (e.g. Albert Einstein's brain (Q2464312)) is not an instance of the class Homo sapiens (Q15978631).
Inverse relations of part of (P361)Edit
- has part (P527) - is used to say that an instance is composed of other instances or a class is composed of other classes
- has parts of the class (P2670) - denotes that an instance is made out of classes
- Greek alphabet (Q8216) has part (P527) Α (Q9887) (instance-instance)
- alphabet (Q9779) has part (P527) letter (Q9788) (class-class)
- Greek alphabet (Q8216) has parts of the class (P2670) Greek letter (Q19793459) (instance-class)
In the first example, has part (P527) is used because Greek alphabet (Q8216) and Α (Q9887) are instances. has part (P527) is also used in the second example because alphabet (Q9779) and letter (Q9788) are classes. In the last example, we take has parts of the class (P2670) since it is a relation between an instance and a class.
|Property||X||Y||what it denotes||example||explanation||why not use ...|
|<X> instance of <Y>||instance||class||
||<USS Nimitz> instance of <supercarrier>||<USS Nimitz> is a single concrete aircraft carrier, <supercarrier> is an aircraft carrier class which has many instances (aircraft carriers)||
|<People's Republic of China> instance of <sovereign state>||<sovereign state> is a concept defined by some features, <China> is an object which meet these features||
|<Sun> instance of <G-type main-sequence star>||The <Sun> is a specific star with the spectral characteristics of a G-type main-sequence star, and so is an instance of that class||* subclass of not used because the <Sun> is not a class but a single astronomical object
|<hatter> instance of <profession>||<hatter> is a specific example of a profession||
|<Douglas Adams> instance of <human>||<Douglas Adams> is a specific human person (this is one of the most common cases for instance of)||* subclass of not used because <Douglas Adams> is not a class of people but a single person (instance)
|<X> subclass of <Y>||class||class||
||<supercarrier> subclass of <aircraft carrier>||both <supercarrier> and <aircraft carrier> are classes and the latter contains the former||
|<sovereign state> subclass of <state>||both of them are classes, the former has all features of the latter and some additional features, so it is a subclass of the latter||
|<G-type star> subclass of <star>||every individual G-class star (instances of <G-class star>) is also a star - i.e. belongs to the class <star>||* instance of not used because <G-class star> is not a single star, but a type of <star>
|<X> part of <Y>||instance||instance||
||<USS Nimitz> part of <Carrier Strike Group Eleven>||<USS Nimitz> is a concrete aircraft carrier, <CSG-11> is a concrete carrier strike group, <USS Nimitz> is one of <CSG-11>'s components (its flagship)||
|<People's Republic of China> part of <Asia>||both <China> and <Asia> are specific geographic features, <China> is part of the continent <Asia>||
|<Sun> part of <Solar System>||both of them are individual astronomical objects; the solar system is composed of the Sun, planets, and other objects in the Sun's vicinity||* instance of not used because the latter is an individual astronomical object, not a generic concept
an instance of class X is part of an instance of class Y
|<flight deck> part of <aircraft carrier>||every aircraft carrier (instance of <aircraft carrier>) has its own flight deck (instance of <flight deck>)||
|<member state> part of <international organization>||an instance of <member state> is a component of an instance of <international organization>||
|<star> part of <galaxy>||a star typically is born and lives within a single galaxy which is made up of many stars and other astronomical objects||
|Property||X||Y||what it denotes||example||explanation||why not use ...|
|<X> has part <Y>||instance||instance||instance X has instance Y among its parts or components||<United States Congress> has part <United States Senate>||the US Congress has two parts, the House of Representatives and the Senate||
|<Solar System> has part <Mars>||<Mars> is one of the planets in the <Solar System>||
|class||class||an instance of X has an instance of Y among its parts or components||<body> has part <head>||in general a <body> (anatomical feature) has a <head> as one of its parts||
|<galaxy> has part <star>||a <galaxy> has <stars> as one of its parts||
|<X> has parts of the class <Y>||instance||class||the specific item X includes every instance of class Y among its parts or components||<University of Cambridge> has parts of the class <college of the University of Cambridge>||the <University of Cambridge> is formed out of colleges||
|<Solar System> has parts of the class <inner planet>||our <Solar System> has <inner planets> as one of its parts||