hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Dilema destrutivo
Dilema destrutivo, é uma regra de inferência válida da lógica proposicional. É a inferência que diz, se P implica Q e R implica S, e Q ou S é falsa, então P ou R deve ser falsa. Em suma, se duas condicionais são verdade, e pelo menos um de seus consequentes for falso, então um dos antecedentes tem que ser falso. Dilema destrutivo é a versão disjuntiva de modus tollens, já o dilema construtivo é a versão disjuntiva de modus ponens.
Formalmente:

ou seja: sempre que instâncias de  "", "", e "" aparecerem em linhas de alguma prova,  pode ser colocado em uma linha subsequente.

Inferência
Em Lógica, inferência ou ilação  é operação intelectual mediante a qual se afirma a verdade de uma proposição em decorrência de sua ligação com outras proposições já reconhecidas como verdadeiras.  Consiste, portanto,  em derivar conclusões a partir de  premissas  conhecidas ou decididamente verdadeiras. A conclusão também é chamada de idiomática.
Babatunde Aiyegbusi
Babatunde Łukasz Aiyegbusi (nascido em 26 de maio de 1988) é um lutador profissional polonês-nigeriano e ex-jogador de futebol. Ele está atualmente assinado com a WWE, onde atua nao programa Smackdown sob o nome de Commander Azeez.

Anteriormente, ele jogou por vários times da Liga Polonesa de Futebol Americano e teve uma passagem pelo Minnesota Vikings durante a pré-temporada de 2015.

Nascido em Oleśnica em 26 de maio de 1988, filho de mãe polonesa e pai nigeriano, Babatunde Łukasz Aiyegbusi começou a jogar futebol americano em 2005 como atacante. Jogou na Liga Polonesa de Futebol Americano pelo The Crew Wrocław, Giants Wrocław e Warsaw Eagles e na Liga Alemã de Futebol pelo Dresden Monarchs. Em 2015, Ayegbusi foi contratado pelo Minnesota Vikings da National Football League e participou de seu programa de pré-temporada, jogando três jogos de pré-temporada antes de ser liberado como parte dos cortes de elenco antes da temporada 2015 da NFL.

Oleśnica
Oleśnica é um município da Polônia, na voivodia da Baixa Silésia e no condado de Oleśnica. Estende-se por uma área de 20,96 km², com 37 242 habitantes, segundo os censos de 2019, com uma densidade de 1777 hab/km².
Temporada da GP3 Series de 2014
A Temporada da GP3 Series de 2014 foi a quinta do campeonato da GP3 Series, série de acesso à GP2 Series. Teve início no Circuito da Catalunha, na Espanha, em 10 de maio, e encerrou-se no dia 22 de novembro, com a rodada dupla em Yas Marina.

Circuito de Yas Marina
O Circuito de Yas Marina (em árabe: حلبة مرسى ياس; halbat marsaa yas) é um autódromo localizado na Ilha de Yas, a cerca de 30 minutos da capital dos Emirados Árabes Unidos, Abu Dhabi. É conhecido por ser o circuito com as melhores infraestruturas, sendo um dos mais modernos. Abriga anualmente a Fórmula 1 desde 2009, sendo o segundo circuito do Médio Oriente a abrigar um Grande Prémio, após Barém.
Tim Kring
Tim Kring é o criador das séries de televisão americanas Heroes, Crossing Jordan, Strange World Touch e DIG. Ele também escreveu e produziu outros programas de televisão e filmes. Um dos projetos mais recentes foi Misfits of Science que, como Heroes, tratava de humanos superpoderosos como tema principal. Outro programa foi Teen Wolf Too, co-escrito por Jeph Loeb, que se juntou com Kring novamente mais tarde em Heroes.

Strange World
Strange World (bra: Mundo Estranho; prt: Estranho Mundo) é um filme de aventura de ação e ficção científica de animação digital produzido pela Walt Disney Animation Studios para a Walt Disney Pictures. O 61º filme de animação produzido pelo estúdio, o filme foi dirigido por Don Hall, escrito por Qui Nguyen e produzido por Roy Conli. O filme apresenta as vozes de Jake Gyllenhaal, Jaboukie Young-White, Gabrielle Union, Lucy Liu e Dennis Quaid.

Strange World foi lançado nos Estados Unidos em 23 de novembro de 2022, pela Walt Disney Studios Motion Pictures.
Contos da Penumbra e do Invisível
Contos da Penumbra e do Invisível é uma coletânea de contos de horror e ficção científica de Arthur Conan Doyle, que criou Sherlock Holmes e o Professor Challenger (de O Mundo Perdido).

As histórias reunidas tem temática semelhante à de Edgar Allan Poe.

Arthur Conan Doyle
Arthur Ignatius Conan Doyle KGStJ, DL (Edimburgo, 22 de maio de 1859 — Crowborough, 7 de julho de 1930) foi um escritor e médico escocês, mundialmente famoso por suas 60 histórias sobre o detetive Sherlock Holmes, consideradas uma grande inovação no campo da literatura criminal. Foi um renomado e prolífico escritor cujos trabalhos incluem histórias de ficção científica, novelas históricas, peças e romances, poesias e obras de não-ficção.

Arthur Conan Doyle viveu e escreveu parte de suas obras em Southsea, um bairro elegante de Portsmouth, Inglaterra.
Passo determinante de taxa
O passo determinante de taxa ou etapa determinante de taxa é um termo em química para o mais lento passo em uma reação química. O passo determinante de taxa é frequentemente comparado ao gargalo de um funil; a taxa na qual um líquido flui através do funil é determiando pelo diâmetro do gargalo, não pela velocidade é colocada nele. Similarmente, a taxa de reação depende da taxa do mais lento passo.

Por exemplo, a reação  +  →  +  pode ser pensada como ocorrendo em duas etapas elementares:

+  →  +  (passo lento)

+  →  +  (passo rápido)

Como a segunda etapa consome o  produzido na etapa mais lenta, esta é limitada pela taxa da segunda etapa. Por esta razão, o passo determinante da taxa é refletida na equação de taxa de uma reação.

Taxa de reação
Em química e mais especificamente na área de cinética química taxa de reação ou, um tanto impropriamente¹, velocidade de reação é uma medida da rapidez com que uma reação se efetua. De modo mais preciso, é a taxa de variação das concentrações dos reagentes e produtos, divididos pelos respectivos coeficientes estequiométricos, independentemente do sinal algébrico obtido.

A taxa de reação pode determinar o tempo que um produto é formado à medida que o reagente é consumido de modo proporcional a concentração de produto formado. Por exemplo se x de reagente é consumido então x de produto é formado, no caso de uma reação simples.

A taxa é medida experimentalmente, pela concentração de produto formado dividido pelo intervalo de tempo de consumo dos reagentes nesse intervalo até um desses reagentes venha a ser o limitante da reação.

É aplicado em processos industrialmente importantes, em bioquímica  e em química ambiental.
Rodrigo Conceição
Rodrigo Fernandes da Conceição, mais conhecido apenas como Rodrigo Conceição (Lisboa, 2 de janeiro de 2000) é um futebolista português que atua como lateral-direito. Atualmente, está sem clube.     É filho do treinador português Sérgio Conceição.

Taça da Liga
A Taça da Liga, também conhecida como Allianz Cup por razões de patrocínio, é uma competição de futebol organizada pela Federação Portuguesa De Futebol (FPF), tendo sido criada na temporada 2007–08. Todas as equipas dos dois primeiros escalões de futebol profissional, Primeira Liga e Segunda Liga, participam nesta competição (com exceção das equipas B).

A primeira edição teve como vencedor o Vitória de Setúbal, que derrotou o Sporting por 3–2 nas grandes penalidades, após um empate a zero no tempo regulamentar.

Com 8 troféus conquistados, o Benfica é o clube com mais títulos na Taça da Liga.

O atual detentor do troféu é o Vitória de Guimarães, que conquistou a sua primeira Taça da Liga na final realizada a 10 de janeiro de 2026, na qual venceu, com reviravolta, o Sporting de Braga por 2–1. Este foi um jogo inédito e ficará para a história por ter sido a primeira final disputada entre os dois rivais minhotos.
Milan Čuda
Milan Čuda (Praga, 22 de setembro de 1939 – 20 de novembro de 2025) foi um jogador de voleibol da República Tcheca que competiu pela Tchecoslováquia nos Jogos Olímpicos de 1964.

Em 1964, ele fez parte da equipe tchecoslovaca que conquistou a medalha de prata no torneio olímpico, no qual participou de duas partidas.

22 de setembro
22 de setembro é o 265.º dia do ano no calendário gregoriano (266.º em anos bissextos). Faltam 100 dias para acabar o ano. É o dia do equinócio de setembro, quando começa a primavera no hemisfério sul e o outono no hemisfério norte.
Cao Xueqin
Cao Xueqin (1710 - 1764 ou 1765) foi um escritor, poeta e novelista chinês durante a dinastia Qing e autor de O Sonho da Câmara Vermelha, o romance mais importante escrito na língua chinesa de todos os tempos.

Chineses
O povo chinês é formado pelos vários indivíduos e etnias associadas à China, normalmente através de sua ascendência, etnia, nacionalidade, cidadania ou outra afiliação. Os chineses de etnia han, o maior grupo étnico da China, formando cerca de 92% da população, costumam ser referidos apenas como "chineses" em outras línguas, porém existem dúzias de outros grupos étnicos dentro da China, relacionados, ou não, aos han.
Campeonato Asiático de Handebol Masculino de 1991
O Campeonato Asiático de Handebol Masculino de 1991 (1991 البطولة الآسيوية لكرة اليد للرجال (em árabe)) foi a sexta edição do principal campeonato de andebol (português europeu) ou handebol (português brasileiro) masculino do continente asiático. O Japão foi o país sede e os jogos ocorreram na cidade de Hiroshima.

A Coreia do Sul foi campeã pela quarta vez, com o Japão segundo e a China terceiro.

Hiroshima
Hiroshima ou Hiroxima  (em japonês: 広島市ⓘ; romaniz.: Hiroshima-shi) é a capital da prefeitura de Hiroshima, no Japão. É cortada pelo rio Ota (Ota-gawa), cujos seis canais dividem a cidade em ilhas. Cresceu em torno de um castelo feudal do século XVI. Recebeu o estatuto de cidade em 1589. Serviu de quartel-general durante a Primeira Guerra Sino-japonesa (1894–95).

Em 6 de agosto de 1945, foi a primeira cidade do mundo arrasada pela bomba atômica de fissão denominada Little Boy, lançada pelo governo dos Estados Unidos, resultando em 250 000 mortos e feridos.
Edu Ribeiro
Eduardo José Nunes Ribeiro, conhecido como Edu Ribeiro, (Florianópolis, 13 de janeiro de 1975) é um baterista brasileiro. Atua como compositor, professor e performer. Vencedor de dois Grammy Awards com o Trio Corrente e indicado ao Latin Grammy pelo seu álbum Folia de tReis, Edu detém quatro álbuns como líder e uma discografia ampla com seus diversos projetos musicais.

Paquito D'Rivera
Francisco de Jesús Rivera Figueras (Havana, 4 de junho de 1949), mais conhecido como Paquito D'Rivera, é um saxofonista, clarinetista e compositor cubano-americano. Integrou a banda cubana de songo, Irakere, e desde a década de 1980, consolidou-se como líder de banda nos Estados Unidos. Seu tom suave de saxofone e sua frequente combinação de jazz latino e música clássica tornaram-se sua marca registrada.
Open Dynamics Engine
Open Dynamics Engine (ODE) é um motor de física. Seus dois principais componentes são o motor de dinâmicas de corpo rígido e o motor de detecção de colisão. Ele é código aberto, licenciado sob a BSD e a LGPL.

Desenvolvido em C++, há bindings para C, Python (PyODE) e Ruby (Ruby-ODE), entre outras.

C++
C++ (em português:  Pronuncia-se "cê mais mais") é uma linguagem de programação compilada multi-paradigma (seu suporte inclui linguagem imperativa, orientada a objetos e genérica) e de uso geral. Desde os anos 1990 é uma das linguagens comerciais mais populares, sendo bastante usada também na academia por seu grande desempenho e base de utilizadores.

Bjarne Stroustrup desenvolveu o C++ (originalmente com o nome C with Classes, que significa C com classes em português) em 1983 no Bell Labs como um adicional à linguagem C. Novas características foram adicionadas com o tempo, como funções virtuais, sobrecarga de operadores, herança múltipla, gabaritos e tratamento de exceções. Após a padronização ISO realizada em 1998 e a posterior revisão realizada em 2003, uma nova versão da especificação da linguagem foi lançada em dezembro de 2014, conhecida informalmente como C++14.
Grande Prêmio da Alemanha de 1998
Resultados do Grande Prêmio da Alemanha de Fórmula 1 realizado em Hockenheim em 2 de agosto de 1998. Décima primeira etapa da temporada, teve como vencedor o finlandês Mika Häkkinen, que subiu ao pódio junto a David Coulthard numa dobradinha da McLaren-Mercedes, com Jacques Villeneuve em terceiro pela Williams-Mecachrome.

David Coulthard
David Marshall Coulthard, MBE (Twynholm, 27 de março de 1971) é um ex-automobilista escocês.

Em 2012, Coulthard entrou para o Guinness Book com o homem que percorreu a maior distância com um carro antes de capturar uma bola de golfe em pleno voo. Guiando uma Mercedes-Benz SLS AMG Roadster, manteve a velocidade de 200 km/h enquanto Jake Shepherd, um golfista profissional, deu a tacada, interceptada por Coulthard a 275 metros do ponto de partida.
Igreja de São Julião de Setúbal
A Igreja de São Julião fica situada em Setúbal, na Praça de Bocage, na freguesia de Setúbal (São Julião, Nossa Senhora da Anunciada e Santa Maria da Graça).

A Igreja de São Julião está classificada como Monumento Nacional desde 1910.

Setúbal
Setúbal é uma cidade portuguesa capital do Distrito de Setúbal estando englobada na Área Metropolitana de Lisboa. Tem aproximadamente uma área de 51,49 km2 e 90 396 habitantes (considerando a totalidade da área e população das freguesias de Setúbal (São Julião, Nossa Senhora da Anunciada e Santa Maria da Graça) e São Sebastião (Setúbal)) em 2021, e portanto uma densidade populacional de 1.755 habitantes por km2, sendo a 9ª maior cidade do país.

É sede do município de Setúbal, que tem uma extensão de 230,33 km2, 123 519 habitantes em 2021 e uma densidade populacional de 536 habitantes por km2, dividindo-se em cinco freguesias. O município é limitado a oeste pelo município de Sesimbra, a noroeste pelo município do Barreiro, a norte e leste pelo município de Palmela e a sul pelo Estuário do Sado.

A península de Troia, pertencente ao município de Grândola, situa-se em frente da cidade de Setúbal, entre o estuário do Sado e o litoral do Oceano Atlântico.
BET+
BET+ (pronunciado como BET Plus) é uma plataforma digital de streaming de vídeos sob demanda, operado pela Tyler Perry Studios e a BET Networks. O serviço foi anunciado em 24 de junho de 2019 e lançado em 19 de setembro de 2019.

A BET+ apresenta filmes e séries de televisão originais e produções exclusivas de Tyler Perry como parte do acordo entre as partes. Will Packer e Tracy Oliver também assinaram contrato para produzir programação original para o serviço. O serviço foi criado como parte de uma estratégia de investimento da Viacom em plataformas digitais no ano de 2017. Antes do anúncio da BET+, a Viacom adquiriu a plataforma de streaming gratuito Pluto TV em 4 de março de 2019 e lançou canais da marca BET. Ocasionalmente, a programação da BET+ é transmitida no canal premium Showtime para promover o serviço.

Vídeo sob demanda
Vídeo sob demanda (português brasileiro) ou vídeo a pedido (português europeu), também conhecido pelo termo inglês video on demand (VoD), é uma solução de vídeo sobre xDSL, ou outra tecnologia banda larga. Por meio de uma página web na tela da televisão, o assinante pode escolher diferentes tipos de filmes e programas de televisão que estejam disponíveis em VoD. A solução consiste em enviar conteúdos em formato de vídeo, karaokê, jogos, etc. — sob demanda ou continuamente — utilizando redes de banda larga de operadoras de comunicação. Assim, o usuário receberá conteúdos com qualidade de imagem semelhante ao DVD no momento que desejar e sem sair da sua casa. No caso do karaokê sob demanda, o usuário se beneficiará por não precisar adquirir ou atualizar cartuchos de música.
Women's International Champions Cup
A Women's International Champions Cup, ou Copa Internacional dos Campeões Femininos, é um torneio anual de clubes de futebol feminino realizado nos Estados Unidos.

Lançado pelo Relevent Sports Group em 2018, reúne equipes de futebol feminino estadunidenses e europeias para coroar o "melhor time de futebol feminino do mundo", uma vez que a Federação Internacional de Futebol organiza apenas campeonato mundial de clubes masculinos, a Copa do Mundo de Clubes da FIFA.

Copa do Mundo de Clubes da FIFA
A Copa do Mundo de Clubes (português brasileiro) ou Campeonato do Mundo de Clubes (português europeu), oficialmente FIFA Club World Cup (em inglês), também conhecida como Campeonato Mundial de Clubes ou simplesmente Mundial de Clubes, foi o antigo nome e formato da competição anual de futebol organizada pela FIFA e disputada entre os clubes campeões das seis confederações continentais, CONMEBOL (América do Sul), CONCACAF (América do Norte, Central e Caribe), UEFA (Europa), CAF (África), AFC (Ásia) e OFC (Oceania), além do representante do país-sede (o campeão do campeonato nacional do país organizador). Disputado em 2000 e de 2005 a 2023, foi renomeado e continuado como Copa Intercontinental da FIFA a partir de 2024.
Tape deck de rolo
Um tape deck de rolo, chamado simplesmente de deck de rolo, são equipamentos caseiros de áudio que permitiram a reprodução de gravações estereofônicas de música pré-gravada no ambiente doméstico, uma vez que muitas pessoas preferiam a fidelidade da fita magnética em detrimento dos long plays que começavam a despontar já no final da década de 1950. Dentre as principais fabricantes desses aparelhos, está a Akai.

Estereofonia
Em acústica e áudio profissional, estereofonia ou simplesmente estéreo (do grego, stereós: "sólido"; "tridimensional"), é um sistema de reprodução do áudio para enriquecer a sensação sonora nos ouvintes e criar um ambiente mais realista de áudio, utilizando dois canais de som monaurais independentes (o direito e esquerdo) sincronizados no tempo. É o padrão de reprodução encontrado nas mídias digitais, aparelhos de som de música de alta fidelidade e, com uso e recomendado nas mixers; porém vem sendo substituído nos cinema e em algumas gravações musicais pelo áudio multicanal (5.1/7.1), que melhora a sensação sonora em salas de grandes dimensões.

RESUMO GERAL
La Liga de 1997–98
A La Liga de 1997–98  da Primeira Divisão da Espanha foi a edição 67ª do campeonato. Começou o 30 de agosto de 1997 e terminou o 16 de maio de 1998.

O FC Barcelona conseguiu seu 15º título, depois de três anos de seca. Os azuis-grana, ademais, conseguiram o doblete ao conquistar também a Copa do Rei.

Como o Real Madri jogaria a Liga dos Campeões cinco dias depois, a última jornada teve que ser antecipada, pela primeira e última vez até agora, teve o horário unificado e jogado a última rodada na sexta-feira pela noite.

Dobradinha
A dobradinha é uma terminologia desportiva para designar que uma equipe/país chegou nas 2 primeiras posições, ou que um país conquistou a 1a posição de uma mesma modalidade desportiva num evento, tanto no masculino quanto no feminino. Pode significar que algo aconteceu de forma duplicada, ou seja, quando uma equipe vence dois títulos numa mesma temporada.

A dobradinha difere-se do pódio duplo, já que este designa que um país/equipe conquistou a 1a e a 3a posições.
Joana I de Auvérnia
Joana I de Auvérnia, também conhecida como Joana de Bolonha (em francês; Jeanne; 8 de maio de 1326 - Vadans, 29 de setembro de 1360) foi suo jure condessa de Auvérnia e de Bolonha e rainha consorte de França pelo seu segundo casamento com o rei João II.

Auvérnia
A Auvérnia, Alvérnia ou Arvénia (em francês: Auvergne) é uma antiga província - desde 2016 faz parte da Auvérnia-Ródano-Alpes - e uma das 26 regiões administrativas da França. Auvérnia tem quatro departamentos: Allier, Cantal, Haute-Loire e Puy-de-Dôme.
Odeon Records
A Odeon Records, nome fantasia da International Talking Machine Company, foi uma gravadora fundada por Frederick M. Prescott em Berlim, na Alemanha, no ano de 1903. Como selo fonográfico de propriedade da Universal Music Group, a marca sobrevive até hoje em diversos países, principalmente no Brasil e na própria Alemanha.

Selo fonográfico
Selo fonográfico é um tipo de marca utilizada no lançamento de fonogramas, tanto em mídias físicas como em digitais, no âmbito da indústria fonográfica. O termo também é utilizado como sinônimo de gravadora, devido ao fato de os fonogramas serem vendidos com selos que identificavam a gravadora que o produziu. Com este sentido, aplica-se especialmente às gravadoras independentes, que, normalmente, possuem, apenas, um único selo fonográfico homônimo pelo qual lançam seus fonogramas.
Um Dia a Gente Se Encontra
Um Dia A Gente Se Encontra é o segundo single de trabalho do álbum La Família 013, de Charlie Brown Jr.

A música ganhou notoriedade por ter sido um dos legados de Chorão deixou antes de morrer. Dois dias após sua morte, a musica vazou na net. Ela ainda não tinha um título definido, e por causa do refrão foi batizada dessa forma.

Foi considerada uma das melhores músicas nacionais de 2013 pela revista Rolling Stone Brasil.

Rolling Stone Brasil
Rolling Stone Brasil é um atual portal de notícias brasileiro e uma antiga revista publicada no mesmo país entre 2006 e 2018 pela editora Spring. É uma das diversas versões internacionais da Rolling Stone, publicada nos Estados Unidos desde 1967.

Esta é a segunda versão publicada no Brasil: em 1972 a revista havia sido editada de forma independente mas sem ser licenciada pela original, sendo considerada uma versão "pirata" da Rolling Stone.

Em maio de 2018, foi anunciado o fim da publicação mensal da Rolling Stone Brasil, mantendo somente as edições especiais impressas. A última edição mensal foi a de número 144, publicada em setembro de 2018 (2 meses após a penúltima, com a cantora Pitty), com a manchete "Presente & Futuro da Música", tendo ensaio de capa com a participação de Gloria Groove, MC Loma e as Gêmeas Lacração, Cynthia Luz, Hungria Hip-Hop, Gustavo Mioto e o empresário e produtor musical Emmanuel Zunz, fundador da ONErpm.
Tito Maximilian Huber
Tito Maximilian Huber (em polonês/polaco:  Tytus Maksymilian Huber; Krościenko nad Dunajcem, 4 de janeiro de 1872 — Cracóvia, 9 de dezembro de 1950) foi um engenheiro mecânico polonês.

Estudou na Faculdade de Engenharia da Universidade Nacional Politécnica de Lviv, formado em 1895. Fez estudos complementares na Universidade de Berlim, e ao retornar obteve o doutorado.

Foi professor da Universidade Nacional Politécnica de Lviv em 1908. Durante a Primeira Guerra Mundial serviu no exército austríaco, defendendo a fortaleza de Przemyśl. Depois da guerra voltou a trabalhar na Universidade Nacional Politécnica de Lviv, sendo duas vezes o seu reitor: ano letivo 1914/15 e 1921/22. Em 1928 foi para a Universidade Tecnológica de Varsóvia. Após a Segunda Guerra Mundial foi um dos organizadoes da Universidade Técnica de Gdańsk. Em 1949 estabeleceu-se em Cracóvia na Universidade de Ciência e Tecnologia AGH.

Universidade Humboldt de Berlim
A Universidade Humboldt de Berlim (em alemão: Humboldt-Universität zu Berlin) é a mais antiga universidade de Berlim, fundada em 1810 como Universidade de Berlim (Universität zu Berlin) pelo linguista e educador liberal prussiano Wilhelm von Humboldt, cujo modelo universitário influenciou fortemente outras universidades europeias e ocidentais. Desde 1828 era conhecida como Universidade de Frederico-Guilherme (Friedrich-Wilhelms-Universität), em homenagem ao rei da Prússia Frederico Guilherme III, mais tarde também como Universität Unter den Linden. Em 1949, trocou seu nome para Humboldt-Universität em homenagem a seu fundador.