Help:Propietats bàsiques de pertinença

From Wikidata
Jump to navigation Jump to search
This page is a translated version of the page Help:Basic membership properties and the translation is 29% complete.

Outdated translations are marked like this.
Other languages:
Afrikaans • ‎Bahasa Melayu • ‎British English • ‎Cymraeg • ‎Deutsch • ‎English • ‎Esperanto • ‎Frysk • ‎Lëtzebuergesch • ‎Nederlands • ‎Ripoarisch • ‎Scots • ‎Türkçe • ‎bosanski • ‎català • ‎dansk • ‎español • ‎euskara • ‎français • ‎galego • ‎italiano • ‎latviešu • ‎lietuvių • ‎norsk bokmål • ‎occitan • ‎polski • ‎português • ‎português do Brasil • ‎shqip • ‎svenska • ‎čeština • ‎македонски • ‎русский • ‎тоҷикӣ • ‎українська • ‎հայերեն • ‎العربية • ‎فارسی • ‎پښتو • ‎हिन्दी • ‎தமிழ் • ‎తెలుగు • ‎ไทย • ‎中文 • ‎日本語 • ‎한국어

Introduction

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.

Definitions

instance:

  • an individual or a single thing

class:

  • 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[1]

Examples:

Practical aspects

  • 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.

instance of (P31)

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.[2]

For example, Atlantic Ocean (Q97) and Pacific Ocean (Q98) are both instances of ocean (Q9430). We write therefore on Wikidata:

subclass of (P279)

  • is used to state that all the instances of one class are instances of another[3]
  • more specifically, it is a rdfs:subClassOf[4]

Several examples:

Another example:

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:

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).

part of (P361)

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).

Like subclass of (P279), part of (P361) is a transitive property.

Inverse relations of part of (P361)

  1. has part (P527) - is used to say that an instance is composed of other instances or a class is composed of other classes
  2. has parts of the class (P2670) - denotes that an instance is made out of classes

For example,

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.

Examples

Diferències entre instance of (P31), subclass of (P279) and part of (P361)
Property X Y que vol dir exemple explicació per què no s'ha de fer servir
<X> instance of <Y> instància classe
  • X es un individu (una sola persona o cosa) que pertany a la classe Y
  • X és un exemple concret de la classe Y
  • totes les instàncies de la classe Y comparteixen algunes característiques
  • Y és el conjunt de les seves instàncies (incloent-hi X)
<USS Nimitz> instance of <supercarrier>

<USS Nimitz> és un portaavions concret, <classe Nimitz> es una classe de portaavions que té diverses instàncies (portaavions)

  • subclass of no s'utilitza perquè <USS Nimitz> no és una classe
  • part of no s'utilitza perquè <USS Nimitz> és una instància i la <classe Nimitz> és una classe; les instàncies no poden formar part de les classes
<People's Republic of China> instance of <sovereign state> <estat sobirà> és un concepte definit per algunes característiques, <Xina> és un objecte que compleix aquestes característiques
  • subclass of no s'utilitza perquè <Xina> és un estat concret
  • part of no s'utilitza perquè les instàncies no poden formar part de les classes
<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
  • part of not used because non-classes cannot be parts of classes
<hatter> instance of <profession> <hatter> és un exemple concret de professió
  • subclass of no s'utilitza perquè <hatter> no és una classe de professions sinó una única professió (instància)
  • part of no s'utilitza perquè les instàncies no poden formar parts de les classes
<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)
  • part of not used because instances cannot be parts of classes
<X> subclass of <Y> classe classe
  • totes les instàncies de la classe X pertanyen a la classe Y
  • les instàncies d'X també son instàncies d'Y
<supercarrier> subclass of <aircraft carrier>

tant <classe Nimitz> com <portaavions> són classes i la primera inclou la darrera

  • instance of no s'utilitza perquè <classe Nimitz> no és un objecte concret
  • part of no s'utilitza perquè una instància de <classe Nimitz> (p. ex. <USS Nimitz>) no pot formar part d'una instància de portaavions (p. ex. <USS Enterprise>)
<sovereign state> subclass of <state> tots dos són classes, la primera té totes les característiques de la darrera i algunes característiques addicionals, i per tant és una subclasse de la darrera
  • instance of no s'utilitza perquè <estat sobirà> no és un estat concret, sinó una classe que inclou tots els estats sobirans
  • part of no s'utilitza perquè una instància d'estat sobirà (p. ex. <Xina>) no pot formar part d'una instància d'estat (p. ex. <Xina>)
<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>
  • part of not used because the relationship is not one of composition, i.e. individual <G-class star> instances do not join together to make an instance of a <star>.
<X> part of <Y> instància instància
  • la instància X forma part de la instància Y
  • diferents parts d'Y (incloent X) s'agrupen per a formar Y
<USS Nimitz> part of <Carrier Strike Group Eleven> <USS Nimitz> és un portaavions concret, <CSG-11> és un carrier strike group concret, <USS Nimitz> és un dels components del <CSG-11> (el seu vaixell insígnia)
  • instance of no s'utilitza perquè <CSG-11> no és una classe
  • subclass of no s'utilitza perquè cap d'ells no és una classe
<People's Republic of China> part of <Asia> tant <Xina> com <Àsia> són elements geogràfics concrets, <Xina> forma part del continent <Àsia>
  • instance of no s'utilitza perquè <Àsia> és una instància (mentre que <país asiàtic> és una classe, i per tant es pot dir que <Xina> és una instància de <país asiàtic>)
  • subclass of no s'utilitza perquè cap d'ells no és una classe
<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
  • subclass of not used because neither of them is a class
classe classe
  • una instància de la classe X forma part d'una instància de la classe Y
<flight deck> part of <aircraft carrier> cada portaavions (instància de <portaavions>) té el seu propi pont de vol (instància de <pont de vol>)
  • instance of no s'utilitza perquè <pont de vol> és una classe, no una instància (només un pont de vol concret, com ara <pont de vol de l'USS Nimitz>, és una instància)
  • subclass of no s'utilitza perquè una instància del primer (p. ex. <pont de vol de l'USS Nimitz>) no pot ser el mateix que una instància del darrer (p. ex. <USS Nimitz>)
<member state> part of <international organization> una instància de <estat membre> és un component d'una instància de <organització internacional>
  • instance of no s'utilitza perquè el primer és un concepte, no indica cap estat concret (p.ex. <Xina>)
  • subclass of no s'utilitza perquè una instància de <estat membre> no pertany a la classe <organització internacional> (p. ex. Xina no és una organització internacional)
<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
  • instance of not used because <star> is not an example of a <galaxy>
  • subclass of not used because instances of class <star> are not instances of the class <galaxy>
  • Nota: alguns dels exemples anteriors hi són solament com a demostració, i no s'han d'utilitzar a Wikidata perquè (1) alguns dels elements no existeixen, ni han d'existir (p. ex. un quark individual), o bé (2) hi ha propietats més concretes que cal utilitzar (p. ex., utilitzeu "<Xina> continent <Àsia>" en comptes de "<Xina> part de <Àsia>")
Differences among has part (P527) and has parts of the class (P2670)
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
  • has parts of the class not used because <United States Congress> and <United States Senate> are concrete objects
<Solar System> has part <Mars> <Mars> is one of the planets in the <Solar System>
  • has parts of the class not used because <Solar System> and <Mars> are concrete objects
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
  • has parts of the class not used because <body> and <head> are both classes
<galaxy> has part <star> a <galaxy> has <stars> as one of its parts
  • has parts of the class not used because <galaxy> and <star> are both classes
<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
  • has part not used because <University of Cambridge> is a concrete object but <college of the University of Cambridge> is a class
<Solar System> has parts of the class <inner planet> our <Solar System> has <inner planets> as one of its parts
  • has part not used because <Solar System> is a concrete object but <inner planets> is a class


References

  1. https://www.w3.org/TR/rdf-schema/#ch_classes
  2. https://www.w3.org/TR/rdf-schema/#ch_type
  3. https://www.w3.org/TR/rdf-schema/#ch_subclassof
  4. https://www.w3.org/TR/rdf-schema/#ch_subclassof

External links