Help:P2738kiy9 koti joko kouxj kou kois jiyojo koib
Help page for disjoint union of (P2738) 
. This help page will be included in Property talk:P2738. Please be careful editing it not to break the included page.
Disjoint union and union
As the cases are similar, this page documents both the properties union of (P2737) and disjoint union of (P2738). Both properties are properties for classes or metaclasses, see Classification and Basic membership properties. Disjoint union and union are relationships between a class (say C for example) and a list of its subclasses (say L for the list).
Their purpose is to represent two different but related things:
- the union one states that and instance of C is an instance of at least one of the class listed in L.
- the disjoint union has the first property but add the constraint that every instance of C is instance of exactly one class in L.
In both cases, all the values in L are listed in a single statement, as qualifiers, using the qualifier list item (P11260), and the main value statement list of values as qualifiers (Q23766486) as a placeholder.
Examples
union of
Radio and TV programs. Some media programs can be both TV programs and Radio programs, like Spelling Bee (Q7575891) 
is an example of on Wikidata. But it can be assumed that all broadcasting program (Q11578774) are at least one of them. (or on the web also ?)
⟩ union of (P2737) ⟨ list of values as qualifiers (Q23766486) ⟩list item (P11260)
⟨ television program (Q15416) ⟩list item (P11260)
⟨ radio program (Q1555508) ⟩disjoint union of
Ambillah partikel yang menyusun atomic nucleus (Q37147). Partikel tersebut disebut dengan nucleon (Q102165) . Ada dua jenis inti atom yang sama: proton (Q2294) dan neutron (Q2348) . Lebih banyak lagi, nucleon (Q102165) dapat berarti sebuah proton atau neutron, tetapi juga mungkin bukan sebuah proton atau neutron. Inti atom, proton dan neutron merupakan semua kelas dari objek dunia nyata, karena ada banyak hal inti atom di alam (lihat Help:Classification dan Help:Basic membership properties untuk penjelasan lebih lanjut)
- Kemudian, pernyataan berikut tepat bermakna tersebut.
Instruksi alasan dan penggunaan
Sangatlah umum bahwa kita mengelompokkan lagi objek atau konsep ke dalam kelas yang sama dari objek atau konsep dalam kelas yang lebih luas, kemudian kita membagikan lebih lanjut kelas yang luas ini ke dalam kelas yang lebih kecil yang tidak tertumpang tindih dan seperti itu setiap hal dari kelas yang luas tersebut merupakan sebuah hal yang merupakan satu kelas dari kelas yang lebih kecil. Contohnya, kita dapat mendefinisikan orang-orang yang termasuk ke dalam klub olahgara ke dalam usia menurut kategori (junior, senior, ...)
Tetapi dalam olahraga, juga umum membagikan orang-orang ke dalam jenis kelamin yang tidak berhubungan menurut kategori, atau kategori menurut beratnya.
Secara lebih umum, terdapat beberapa cara berguna untuk partition of a set (Q381060) sebuah kelas contoh. Untuk mencerminkan itu di Wikidata kita perlu cara untuk mengelompokkan kelas-kelas yang membagi kelas dalam satu cara, untuk mengelompokkan kelas yang dipartisi dalam cara lain, dan agar tidak bercampur-campur.
Ini cara kita melakukan ini: kita menggunakan satu pernyataan per cara mempartisi kelas utama kita. Setiap pernyataan ini menggunakan sebuah nilai dummy (list of values as qualifiers (Q23766486)) sebagai nilai pernyataan utama, karena apa yang bermakna dan berguna adalah nilai penjelasnya. Himpunan kelas yang mempartisi himpunan ditandai dengan himpunan penjelas yang dibangun dengan of (P642) .
Constraints
Bisa diperiksa dengan kueri sparql bahwa tidak ada contoh subjek kelas induk yang bukan merupakan contoh dari kelas di dalam gabungan pernyataan. Modul Lua Module:Requests/union_of memiliki fungsi untuk menghasilkan kueri yang menemukan butir yang tidak cocok dan dapat digunakan sebagai sejenis laporan pewatas. Mereka dimasukkan di Template:Class reports.