hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Síndrome de Lesch-Nyhan
A síndrome de Lesch-Nyhan (SLN) é uma síndrome metabólica rara, hereditária, causada pela deficiência da enzima hipoxantina guanina fosforiboxiltransferase (HGPRT), causada por uma mutação no gene HPRT1 (Xq26) localizado no braço longo do cromossomo X. É um  erro inato do metabolismo das purinas no qual a alteração de comportamento é a manifestação mais marcante. Afeta aproximadamente um em cada 380.000 nascidos vivos. Foi descrita pela primeira vez, em 1964, pelo estudante de medicina Michael Lesch e seu mentor, o pediatra Bill Nyhan, o relato de uma síndrome que consistia em hiperuricemia, retardo mental, coreoatetose e mordidas automutilantes em dois irmãos de dois e cinco anos. O nível de ácido úrico desses pacientes era similar ao de adultos com gota.

Ácido úrico
O ácido úrico é um  composto orgânico de carbono, hidrogênio, nitrogênio e oxigênio, cuja fórmula química é C5H4N4O3.

O ácido úrico é encontrado na urina em pequenas quantidades (o produto de excreção principal é a ureia). Em alguns animais, como aves e répteis é o principal produto de eliminação, e é expulso com as fezes. O alto teor de nitrogênio no ácido úrico é a razão pelo qual o guano é tão valioso como fertilizante na agricultura.

No sangue humano, a concentração de ácido úrico entre 3,5 e 7,2 mg/dL é considerada normal pela Associação Médica Americana, podendo ser encontrado em níveis mais baixos nos vegetarianos.

A gota é uma denominação associada a níveis anormais de ácido úrico no organismo. A saturação de ácido úrico no sangue humano pode dar lugar a um tipo de cálculo renal quando o ácido cristaliza nos rins. Uma considerável percentagem de enfermos com gota chegam a ter cálculos renais do tipo úrico.
Cílix
Cílix, na mitologia grega, foi o herói epônimo da Cilícia.

Cílix era filho de Agenor e Teléfassa; ele tinha uma irmã, Europa, e dois irmãos, Cadmo e Fênix. Pseudo-Apolodoro menciona que existem versões nas quais Europa é filha de Fênix.

Agenor era irmão gêmeo de Belo, filhos de Posidão e Líbia, filha de Épafo e Mênfis. Agenor moveu-se do Egito para a Fenícia e lá tornou-se rei.

Quando Zeus raptou Europa, Agenor mandou seus filhos recuperarem Europa, e não voltarem sem ela. Como eles não conseguiram achar Europa, se fixaram em outros lugares. Cílix se instalou na Cilícia.

Sarpedão se aliou a Cílix, rei da Cilicia quando este estava em guerra com os lícios e ganhou, como prêmio da aliança, o reino da Lícia.

Segundo Evêmero, autor do século IV a.C. que propôs que os deuses eram reis mortais, divinizados após a morte (evemerismo),[carece de fontes?] Zeus havia conquistado a Cilícia de Cílix, seu governador.

Árvore genealógica baseada em Pseudo-Apolodoro:

Líbia (mitologia)
Nildeina epónima da Líbia, era filha de Zeus e Lâmia ou Efesios e de Midian. Da união com poseidon teve três filhos chamados: Luize, Amador e Carios, sendo os dois últimos gêmeos.

Na versão de LAtcinios, Líbia é filha de Épafo com Lulita.
Posição de anotar
No beisebol, é dito que um corredor está em posição de anotar (scoring position) quando ele se encontra na segunda ou terceira base. A distinção entre estar na primeira base e segunda ou terceira base é que um corredor na primeira normalmente só anota se o rebatedor acertar uma rebatida extrabase, enquanto um corredor na segunda ou terceira pode anotar com uma simples.

Corredores deixados em posição de anotar (Runners left in scoring position) refere-se ao número de corredores na segunda e/ou terceira base ao fim de uma entrada; é uma medida inversa da eficiência ofensiva de um time.

Muitas das táticas de “bola pequena” baseiam-se em tentar mover um corredor na primeira base à posição de anotar. Tais táticas foram dominantes nos anos 1890 e na Era da Bola Morta, onde rebatidas extrabase eram relativamente raras.

Rebatida extrabase
No beisebol, uma rebatida extrabase (extra base hit; EB, EBH ou XBH) é qualquer rebatida na qual o rebatedor é capaz de avançar pela primeira base sem o benefício de um defensor ou cometendo um erro ou optando por fazer um lançamento para retirar outro corredor de base (ver escolha do defensor). As rebatidas extrabase não costumam ser enumeradas separadamente em tabelas de estatísticas do beisebol, mas são facilmente determinadas calculando o total cumulativo de duplas, triplas e home runs de um batedor.
San Ramón (cantão)
San Ramón é um cantão da Costa Rica, situado na província de Alajuela. Limita ao norte com San Carlos e Zarcero, ao sul com San Mateo, ao leste com Atenas, Palmares e Naranjo, e ao oeste com Tilarán, Abangares, Montes de Oro, Puntarenas e Esparza. Sua capital é a cidade de San Ramón. Possui uma área de 1 018,64 km² e sua população está estimada em 80.566 habitantes.

Abangares (cantão)
Abangares é um cantão da Costa Rica, situado na província de Guanacaste. Limita ao norte com Cañas e Tilarán, ao leste e sul com Puntarenas e oeste com o Golfo de Nicoya. Sua capital é a cidade de Las Juntas. Possui uma área de 675,75 km² e sua população está estimada em 18.039 habitantes.
Seigo Tsuzuki
Seigo Tsuzuki (em japonês:  続 正剛 Tsuzuki Seigo; Promissão, 22 de setembro de 1932) é um médico e político brasileiro.

Filho de imigrantes japoneses, Seigo Tsuzuki formou-se em medicina pela Universidade de São Paulo em 1958. Especializado em cirurgia cardiovascular, fez parte parte da equipe de Euryclides de Jesus Zerbini no Hospital das Clínicas da Faculdade de Medicina da Universidade de São Paulo, que realizava transplantes de coração.

Foi o primeiro presidente da Fundação Zerbini, entidade que mantém o Instituto do Coração do Hospital das Clínicas da FMUSP.

Foi ministro da Saúde no governo José Sarney, de 16 de janeiro de 1989 a 15 de março de 1990.

Euryclides de Jesus Zerbini
Euryclides de Jesus Zerbini (Guaratinguetá, 10 de maio de 1912 – São Paulo, 23 de outubro de 1993) foi um médico cardiologista e cirurgião brasileiro.

Foi o quinto cirurgião do mundo e o primeiro da América Latina e do Brasil a realizar um transplante de coração.

Em 1985, Euryclides voltou a ser pioneiro, ao realizar o primeiro transplante de coração do Brasil em paciente com o mal de Chagas. Ao todo, em sua carreira, Euryclides Zerbini realizou mais de 40 mil cirurgias cardíacas, pessoalmente ou através de sua equipe. Zerbini foi o primeiro brasileiro a receber o Título de "Honored Guest of American Association of Thoracic Surgery (AATS).
L'Heptaméron
L'Heptamerón (em português, Heptamerão ou Heptameron) é uma coleção de 72 novelas breves escritas em língua francesa pela rainha Margarida de Angoulême, consorte de Henrique II de Navarra, e publicada de forma póstuma em 1558. Recebe seu nome do grego, que quer dizer sete dias, estando o oitavo incompleto. Segue, pelo menos em parte, o modelo do Decamerão de Boccaccio. O quadro narrativo em que se inscrevem as histórias é o de alguns nobres que estão descansando em Cauterets, em Midi-Pyrénées, e que contam histórias para se entreterem uns aos outros enquanto estão isolados por tempestades. A temática da obra oscila entre o romance amoroso, as infidelidades, a lascívia, etc. Margarita toma suas histórias de diversas fontes, dos fabliaux, de Boccaccio, da fontes clássicas, da literatura oral, da literatura medieval, de histórias de sua época, etc.

Giovanni Boccaccio
Giovanni Boccaccio (pronúncia italiana: [d͡ʒoˈvanni bokˈkatt͡ʃo]) (Florença ou Certaldo, 16 de junho de 1313 – Certaldo, 21 de dezembro de 1375) foi um escritor, biógrafo e crítico literário italiano, considerado um dos principais escritores do Trecento. Sua magnum opus, o livro Decamerão, é creditada por criar o conto enquanto gênero literário e reintroduzir a prosa no Ocidente. Também sua biografia e seus trabalhos sobre Dante Aligheri são de fundamental importância para o estudo desse autor.
Carlos Volante
Carlos Martín Volante, mais conhecido apenas como Carlos Volante (Lanús, 11 de novembro de 1910 — Milão, 9 de outubro de 1987) foi um treinador e ex-futebolista argentino, que atuava como volante.

No Brasil, fez sucesso defendendo o Flamengo e comandando Internacional, Vitória e Bahia. Também ganhou notoriedade em sua época de jogador, por dar origem à expressão "volante" no futebol brasileiro.

Como jogava no meio de campo, a expressão "volante" se tornou popular definindo a sua posição, e a expressão é utilizada para os jogadores que atuam na mesma posição até os dias atuais, em todo o Brasil.

Campeonato Baiano de Futebol
O Campeonato Baiano de Futebol é uma competição esportiva disputada no estado da Bahia tendo como organizadora a Federação Bahiana de Futebol (FBF). Ele é o segundo campeonato estadual mais antigo do Brasil e o campeonato estadual mais antigo da Região Nordeste do Brasil, sendo disputado desde 1905.

A competição é a mais antiga desse esporte da região Nordeste e a segunda do Brasil, ficando atrás apenas do Campeonato Paulista (criado em 1902), sendo realizada ininterruptamente desde 1905. O maior vencedor da competição é o Esporte Clube Bahia, com 51 títulos conquistados.
Miguel Servet
Miguel Servet (em latim: Michaelis Servetus) (Villanueva de Sigena, Espanha, 29 de setembro de 1511 – Genebra, 27 de outubro de 1553), foi um teólogo, médico e filósofo aragonês, humanista, interessando-se por assuntos como astronomia, meteorologia, geografia, jurisprudência, matemática, anatomia, estudos bíblicos e medicina. Servet foi o primeiro europeu a descrever a circulação pulmonar. Ele fora um apreciador da teologia, onde, posteriormente, desenvolveu uma cristologia não trinitária. Condenado por católicos e protestantes, ele foi preso em Genebra e queimado na fogueira como um herege por ordem do Conselho de Genebra, sob influência de algumas cidades vizinhas, onde a que mais se destacava era Berna. Miguel fora denunciado pelos residentes de Genebra, pois esta era uma escolha exclusiva do Conselho da cidade.

Johannes Oekolampad
Johannes Oekolampad, ou Oekolampadius, (Weinsberg, 1482 - Basileia, 24 de novembro de 1531) foi um teólogo suíço, um humanista e reformador em Basileia.

Seu nome de nascença era Johannes Heussgen (ou Husschyn, Hussgen, Huszgen, e por vezes Hausschein) um nome que ele traduziu para o grego, como era costume nesta altura entre humanistas: (oikos = casa  e lampas = lâmpada)
Darkovce
Darkovce (em cirílico: Дарковце) é uma vila da Sérvia localizada no município de Crna Trava, pertencente ao distrito de Jablanica, na região de Vlasina. A sua população era de 91 habitantes segundo o censo de 2002.

Crna Trava
Crna Trava (em cirílico: Црна Трава) é uma vila da Sérvia localizada no município de Crna Trava, pertencente ao distrito de Jablanica, na região de Vlasina. A sua população era de 452 habitantes segundo o censo de 2002.
Copa da Liga Escocesa 1964–65
A Copa da Liga Escocesa de 1964-65 foi a 19º edição do segundo mais importante torneio eliminatório do futebol da Escócia. O campeão foi o Rangers F.C., que conquistou seu 6º título na história da competição ao vencer a final contra o Celtic F.C., pelo placar de 2 a 1.

Copa da Liga Escocesa
A Scottish Football League Cup (em português:  Copa da Liga Escocesa), atualmente Betfred Cup por motivos de patrocínio, é uma competição do futebol escocês aberta a todos os times da Scottish Football League. O Rangers é o recordista de títulos da competição com 28 conquistas, seguido da equipe do Celtic com 22 taças da competição.
Danse Macabre (álbum)
Danse Macabre é o décimo sexto álbum de estúdio da banda de Rock New Wave inglesa Duran Duran. Foi lançado em 27 de outubro de 2023 pela BMG e Tape Modern. Um álbum com tema de Halloween, o disco inclui três novas faixas, covers e versões reimaginadas de materiais antigos do Duran Duran. Os ex-guitarristas Andy Taylor e Warren Cuccurullo aparecem, fazendo suas primeiras aparições em um LP do Duran Duran desde Astronaut de 2004 e Pop Trash de 2000, respectivamente. Nile Rodgers e Victoria De Angelis do Måneskin também aparecem como artistas convidados.

Nick Rhodes
Nick Rhodes, nascido Nicholas James Bates (Moseley, 8 de junho de 1962) é um músico britânico. Mais conhecido como o membro fundador e tecladista da banda de new romantic Duran Duran.

Nick é o único membro da banda que esteve com ela desde a sua fundação em 1978. Nick se divorciou de Julie Anne Friedman em 1993, após nove anos de casamento. Os dois tiveram uma filha, Tatjana, nascida em 1986.

Ele também lançou álbuns com Arcadia em 1985 (um projeto paralelo Duran Duran), bem como The Devils em 2002 com Stephen Duffy o vocalista original do Duran Duran. Em março de 2013, ele lançou o projeto paralelo Mania TV há muito aguardado com ex-Duran Duran guitarrista Warren Cuccurullo.
Esgrima nos Jogos Olímpicos de Verão de 2024 - Sabre por equipes feminino
A competição do sabre por equipes feminino da esgrima nos Jogos Olímpicos de Verão de 2024 ocorreu em 3 de agosto de 2024 no Grand Palais, em Paris, na França. Um total de 32 esgrimistas de 8 Comitês Olímpicos Nacionais (CON) participaram do evento.

Esgrima nos Jogos Olímpicos de Verão de 2024
As competições de esgrima nos Jogos Olímpicos de Verão de 2024 em Paris aconteceram entre 27 de julho a 4 de agosto no Grand Palais. Um total de 212 esgrimistas, com distribuição igualitária entre homens e mulheres, competiram em doze eventos de medalhas. Pela segunda edição consecutiva, tanto a esgrima masculina quanto a feminina tiveram os eventos individuais e por equipes disputados nas três armas (florete, espada e sabre).
Polanos
Os polanos (em polonês/polaco: polanie), também polianos ou polanos ocidentais, eram uma tribo que habitava as margens do rio Varta no século VIII. No final do século IX, conseguiram subjugar a maior parte das tribos eslavas entre os rios Óder e Bug e entre os Cárpatos e o Mar Báltico. No século X, também conseguiram integrar as terras da Mazóvia, Cujávia e Grande Polônia.

Os achados arqueológicos mais recentes mostra quatro fortalezas principais no antigo estado polano:

Giecz - local de onde os piastas controlaram outros grupos de polanos

Posnânia - o maior gród no estado, provavelmente a principal fortaleza

Gnesna - provavelmente o centro religioso do estado, mas não há achados arqueológicos para provar essa teoria

Ostrów Lednicki - pequena fortaleza a meio caminho entre Posnânia e Gnesna

A união tribal liderada pela Dinastia Piasta em breve se transformaria no que hoje é a Polônia.

Dinastia piasta
A Dinastia Piasta ou Dinastia dos Piastas é uma linhagem de reis e duques que governaram a Polônia desde a sua aparição como Estado independente até 1370. Os descendentes dos Piastas continuaram a reinar em diferentes ducados provenientes da fragmentação do território polaco, na Mazóvia até 1526 e na Silésia até 1675.
NGC 7418
NGC 7418 é uma galáxia espiral barrada (SBc) localizada na direcção da constelação de Grus. Possui uma declinação de -37° 01' 44" e uma ascensão recta de 22 horas, 56 minutos e 35,9 segundos.

A galáxia NGC 7418 foi descoberta em 30 de Agosto de 1834 por John Herschel.

Grus
Grus (Gru), o Grou, é uma constelação do hemisfério celestial sul. O genitivo, usado para formar nomes de estrelas, é Gruis.

As constelações vizinhas são Sculptor, Piscis Austrinus, Microscopium, Indus, Tucana e Phoenix.
São Miguel Arcanjo na Igreja Católica
São Miguel o Arcanjo aparece tanto no Antigo Testamento em Daniel 10:13, 10:21, 12:1, Josué 5:13-15, 2 Reis 19:35 e Êxodo 23:20-23 também no novo testamento na epistola de Judas 1:9 e Apocalipse de João 4:5, 8:6, 12:7 e 16:1 e faz parte dos ensinamentos dos cristãos desde dos primeiros anos da igreja. Nos escritos de teólogos,Angeologos e Pais (Padres) da igreja e nas tradições católicas, ele sempre atua como o defensor da Igreja Católica Apostólica Romana e sempre sendo o oponente direto de Satanás. Como Apocalipse 12:7, Judas 1:9 e outras passagens fica claro a sua briga eterna com o mau. Ele também segundo a tradição leva as almas das pessoas para o céus quando morrem, e pesa as almas.

A Famosa oração " Oração de São Miguel o Arcanjo " muito rezada pelos devotos e quem procura auxílio foi criada pelo Papa Leão XIII em 1886 e foi muito recomendada pelo Papa João Paulo II em 1994.

Oração de São Miguel Arcanjo
A Oração de São Miguel Arcanjo geralmente se refere a uma oração católica específica ao arcanjo Miguel, dentre as várias orações existentes que lhe são dirigidas. Isso se enquadra no âmbito das orações sobre guerra espiritual. De 1886 a 1964, esta oração foi recitada após a missa baixa na Igreja Católica, embora não tenha sido incorporada ao texto ou às rubricas da missa. Outras orações a São Miguel também foram oficialmente aprovadas e impressas em cartões de oração. Oração a São Miguel Arcanjo do papa Leão XIII:

São Miguel Arcanjo, defendei-nos no combate; sede o nosso refúgio contra as maldades e ciladas do demônio. Que Deus manifeste o seu poder sobre ele, eis a nossa humilde súplica. E vós, Príncipe da Milícia Celeste, com o poder que Deus vos conferiu, precipitai no inferno Satanás e os outros espíritos malignos, que andam pelo mundo tentando as almas. Amém.
Eta Boötis
Eta Boötis (Muphrid, Ramih al Ramih, Lancea Lanceator, 8 Boötis) é uma estrela na direção da constelação de Boötes. Possui uma ascensão reta de 13h 54m 41.12s e uma declinação de +18° 23′ 54.9″. Sua magnitude aparente é igual a 2.68. Considerando sua distância de 37 anos-luz em relação à Terra, sua magnitude absoluta é igual a 2.41. Pertence à classe espectral G0IV.

Boötes
Boötes, o Boieiro, é uma constelação do hemisfério celestial norte. O genitivo, usado para formar nomes de estrelas, é Bootis.

Arcturo, sua estrela mais famosa, é a mais brilhante da constelação.

As constelações vizinhas, segundo a padronização atual, são o Dragão, a Ursa Maior, os Pegureiros, a Cabeleira de Berenice, a Virgem, a Serpente, a Coroa Boreal e o Hércules.
NGC 6609
NGC 6609 é uma galáxia espiral (S?) localizada na direcção da constelação de Draco. Possui uma declinação de +61° 19' 56" e uma ascensão recta de 18 horas, 12 minutos e 33,6 segundos.

A galáxia NGC 6609 foi descoberta em 4 de Agosto de 1883 por Lewis A. Swift.

Draco
Draco (Dra), o Dragão, é uma constelação do hemisfério celestial norte próxima do polo celeste norte. O genitivo, usado para formar nomes de estrelas, é Draconis.

As constelações vizinhas, segundo as delineações contemporâneas, são a Ursa Menor, a Girafa, a Ursa Maior, o Boieiro, Hércules, a Lira, o Cisne e Cefeu.
Oligossacarídeo
Oligossacarídeos, ou oligossacáridos, são hidratos de carbono que resultam da ligação glicosídica de dois a dez monossacarídeos.

Dissacarídeos: Quando, por hidrólise (hidrólise é quando um dissacarídeo reage com uma molécula de água, e faz com que os dois monossacarídeos fiquem hidratados e se separem), produzem dois monossacarídeos. Por exemplo:

Sacarose + H2O  →  glicose + frutose

Trissacarídeos: Quando, por hidrólise, produzem três monossacarídeos. Por exemplo:

Rafinose + 2 H2O  →  glicose  + frutose + galactose

No Glicocálix existem inúmeros oligossacarídeos associados a proteínas (glicoproteínas) e lipídios (glicolipídios) que participam do reconhecimento celular, funcionando como centro receptor e sítio de reconhecimento sendo também importante para o sistema de defesa e realizando a adesão entre células.

Sacarose
A sacarose, também conhecida como açúcar de mesa, é um tipo de glicídio formado por uma molécula de glicose (C6H12O6), produzida pela planta ao realizar o processo de fotossíntese, e uma de frutose. Encontra-se em abundância na cana-de-açúcar, frutas e na beterraba.
Narcotráfico
Narcotráfico ou tráfico de drogas é um mercado ilegal global dedicado ao cultivo, fabricação, distribuição e venda de substâncias proibidas. A maioria das jurisdições proíbe o comércio, exceto sob licença, de muitos tipos de drogas por meio do uso de leis de proibição. O relatório Transnational Crime and the Developing World, do think tank Global Financial Integrity, estima o tamanho do mercado global de substâncias ilícitas entre US$ 426 e US$ 652 bilhões somente em 2014. Com um PIB mundial de US$ 78 trilhões no mesmo ano, o tráfico de drogas pode ser estimado em quase 1% do comércio global total. O consumo de drogas ilícitas é generalizado no mundo todo, e continua sendo muito difícil para as autoridades locais reduzir as taxas de consumo de drogas; em particular na América Latina.

Cannabis sativa
Cannabis sativa é uma planta herbácea da família das Canabiáceas (Cannabaceae), amplamente cultivada em muitas partes do mundo. As folhas são finamente recortadas em segmentos lineares; as flores, unissexuais e inconspícuas, têm pêlos granulosos que, nas femininas, segregam uma resina; o caule possui fibras industrialmente importantes, conhecidas como cânhamo; e a resina tem propriedades psicoativas bem documentadas podendo actuar como analgésico, anódino, antiemético, antiespasmódico, calmante do sistema nervoso, embriagador, estomático, narcótico, sedativo, tônico.
Seleção Niueana de Futebol
A Seleção Niueana de Futebol é o time que representa a ilha de Niue em competições oficiais.

Niue foi um membro associado da OFC, até que sua filiação foi revogada em 2021 por inatividade. Niue também não faz parte da FIFA. Foi fundada em 1960 e afiliada à OFC em 1986.

A ilha, que é um Estado Livre Associado à Nova Zelândia, jogou apenas 2 jogos em sua história contra Papua Nova Guiné e Taiti, pelos Jogos do Pacífico de 1983, e perdendo sempre por goleadas (14 a 0 para o Taiti e 19 a 0 para Papua Nova Guiné).

Seleção Papuásia de Futebol
A Seleção Papuásia de Futebol representa a Papua-Nova Guiné nas competições oficiais da FIFA. Chegou a ser a pior seleção do mundo, ao lado de Monserrate, Samoa Americana e San Marino. Hoje é uma das principais seleções da Oceania.

Jamais disputou uma Copa do Mundo em sua história, tendo participado de 5 edições da Copa das Nações da OFC, em 1980, 2002, 2012, 2016 (quando foi sede nesta última e amargou o vice-campeonato após perder nos pênaltis para a Nova Zelândia) e 2024.
Paragomphus genei
Paragomphus genei é uma espécie de libelinha da família Gomphidae.

Pode ser encontrada nos seguintes países: Argélia, Botswana, Camarões, República Centro-Africana, República Democrática do Congo, Costa do Marfim, Egipto, Etiópia, Gana, Guiné, Quénia, Libéria, Malawi, Marrocos, Moçambique, Namíbia, Nigéria, Serra Leoa, Somália, África do Sul, Sudão, Tanzânia, Togo, Uganda, Zâmbia, Zimbabwe e possivelmente em Burundi.

Os seus habitats naturais são: florestas subtropicais ou tropicais húmidas de baixa altitude, savanas áridas, savanas húmidas, matagal árido tropical ou subtropical, matagal húmido tropical ou subtropical, rios, rios intermitentes, lagos de água doce e marismas de água doce.

Matagal
Matagal, mato, mata ou arbustal é o termo genérico que se dá à formação vegetal composta majoritariamente de arbustos (ou mato), com algumas árvores esparsas, mas uma vegetação mais fechada que a da savana.
Cláusula básica
Considere uma cláusula (disjunção de literais) obtida de uma fórmula sentencial do cálculo de predicados de primeira ordem  na forma skolemizada:

então uma cláusula obtida a partir de  substituindo todas variáveis por elementos do universo de Herbrand  de  é chamada de cláusula básica.

Disjunção lógica
Disjunção, operador ou (em inglês:  OR), é uma operação lógica utilizada em lógicas digitais e lógicas matemáticas. Seu operador é o símbolo ∨. Em algumas linguagens de programação, o operador normalmente é uma barra vertical (|), e em outras a disjunção é representada por duas barras verticais (||).
Pode ainda ser representada pelo símbolo da soma.
A disjunção está intimamente relacionada com a operação de união de conjuntos.

A disjunção pode também ser exclusiva, o que não se relaciona com este artigo (ver disjunção exclusiva, XOR).