Taimako:P2738

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:

1. the union one states that and instance of C is an instance of at least one of the class listed in L.
2. 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 ?)

⟨ broadcasting program (Q11578774)    ⟩ union of (P2737) ⟨ list of values as qualifiers (Q23766486)    ⟩
list item (P11260) ⟨ television program (Q15416)    ⟩
list item (P11260) ⟨ radio program (Q1555508)    ⟩

disjoint union of

Dauki barbashin da aka yi atomic nucleus (Q37147) da su. Wadannan barbashi ana kiran su nucleon (Q102165)   . Akwai daidai nau'ikan nucleons guda biyu: proton (Q2294)    da neutron (Q2348)   . Bugu da ƙari, ɗaya takamaiman nucleon (Q102165)    na iya zama proton ko neutron, amma ba proton da neutron ba. Nucleons, protons da neutrons duk nau'o'in abubuwa ne na duniya, saboda akwai misalan nucleons da yawa a cikin yanayi (duba Taimako:Classification da Taimako: Kayayyakin zama membobin don ƙarin bayani)

Sai wannan magana

⟨ nucleon (Q102165)    ⟩ haɗin kai na Search ⟨ Q23766486 ⟩
na Search ⟨ Q2294 ⟩
na Search ⟨ Q2348 ⟩

yana nufin daidai da haka.

Dalilin dalili da umarnin amfani

Ya zama ruwan dare mu tattara abubuwa ko ra'ayoyi zuwa nau'ikan nau'ikan abu ko ra'ayi a cikin manyan azuzuwan, sannan mu ƙara rarraba wannan fa'ida zuwa ƙananan azuzuwan waɗanda ba su zo ba kuma irin wannan misali na babban aji misali ne na daidai. daya daga cikin karami. Misali zamu iya ayyana mutanen da ke cikin kulob din wasanni zuwa nau'ikan shekaru (junior, babba, ...)

Amma a cikin wasanni, kuma yana da yawa a raba mutane zuwa nau'ikan tushen jima'i marasa alaƙa, ko nau'ikan tushen nauyi.

Gabaɗaya, galibi ana samun hanyoyi masu amfani da yawa zuwa partition of a set (Q381060) ajin misali. Don yin la'akari da haka a kan Wikidata muna buƙatar hanyar da za a sake tattara azuzuwan da ke raba ajin ta hanya ɗaya, don sake tattara azuzuwan da suka rabu zuwa wata hanya, ba don haɗa abubuwa ba.

Wannan shine yadda muke cimma wannan: muna amfani da bayani guda ɗaya don rarraba babban ajin mu. Kowane ɗayan waɗannan bayanan yana amfani da ƙima mai ƙima (list of values as qualifiers (Q23766486)) azaman babban ƙimar bayanin, saboda abin da ke da ma'ana da amfani shine ƙimar cancanta. Saitin azuzuwan da ke raba saitin ana nuna su ta hanyar tsarin cancantar da aka gina tare da of (P642) .

Constraints

Ana iya bincika tare da tambayar sparql cewa babu wani misali na batun ajin iyaye da ya zama misalin babu ɗayan ajujuwa a cikin ƙungiyar sanarwa. Module Lua Module: Buƙatun/Union_of yana da ayyuka don samar da irin waɗannan tambayoyin waɗanda ke nemo abubuwan da ba su dace ba kuma ana iya amfani da su a cikin wani nau'in rahoton ƙuntatawa. An haɗa su cikin Template:Rahoton Class.