hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Fecho dedutivo
Fecho dedutivo é uma propriedade de um conjunto de objetos (normalmente sentenças lógicas). Consideramos que um conjunto de objetos B possui fecho dedutivo ou é fechado sob uma determinada operação de consequência C se, para cada subconjunto B' de B, se B' se relaciona com um conjunto de objetos D através de C, então D é subconjunto de B. No contexto de lógica, o fecho lógico de um conjunto de sentenças B é o conjunto de todas as sentenças que podem ser deduzidas a partir de B.

Conjunto
Um conjunto é uma coleção bem definida de objetos, chamados de elementos, que compartilham uma característica comum. Esses elementos podem ser números, letras, pessoas ou qualquer outro objeto que se deseje agrupar. Por exemplo, o conjunto das vogais pode ser representado como .

A notação padrão utiliza letras maiúsculas para denotar conjuntos e chaves para listar seus elementos. Além disso, a teoria dos conjuntos introduz conceitos fundamentais como pertinência (quando um elemento pertence a um conjunto), inclusão (quando todos os elementos de um conjunto estão contidos em outro), e operações como união, interseção e diferença entre conjuntos.

Nos conjuntos, a ordem e a quantidade de vezes que os elementos estão listados na coleção não é relevante. Em contraste, uma coleção de elementos na qual a multiplicidade, mas não a ordem, é relevante, é chamada multiconjunto. Dizemos que dois conjuntos são iguais se, e somente se, cada elemento de um é também elemento do outro.
How to Build a Better Boy
How to Build a Better Boy (pt O Rapaz Ideal/br Como Criar o Garoto Perfeito)  é um filme original do Disney Channel,dos gêneros comédia, romance, fantasia e ficção científica, com direção de Paul Hoen e escrito por Jason Mayland. O filme é estrelado por China Anne McClain e Kelli Berglund.

O trailer do filme foi exibido no dia 27 de junho de 2014, durante a estreia do filme Zapped. O filme estreou no dia 15 de Agosto de 2014 nos Estados Unidos.

Trailer
Trailer (em português trilha) é um videoclipe criado para anunciar um filme, série, seriado, jogo eletrônico ou uma outra publicação.

O termo "trailer" foi cunhado pelo fato de terem sido originalmente exibidos no final da exibição de um longa-metragem (ou seja, a reboque do filme, já que a palavra "trailer", em inglês, também significa "Reboque automotivo"); esta prática, porém, não durou muito, já que espectadores tendiam a deixar o cinema logo após o término dos filmes, mas o termo se já havia popularizado. Por conta deste facto, as trilhas passaram a ser mostradas antes de o filme começar.

A primeira trilha, que se tem notícia, foi exibido em 1913, nos Estados Unidos, quando um trecho do filme The Adventures of Kathlyn foi exibido antes da estreia, em outra sessão, para atrair espectadores.
Grande Prêmio do Azerbaijão de 2023
O Grande Prêmio do Azerbaijão de 2023 (formalmente denominado Formula 1 Azerbaijan Grand Prix 2023) foi a quarta etapa da temporada de 2023 da Fórmula 1, disputada em 30 de Abril de 2023 no Circuito Urbano de Bacu, em Bacu, no Azerbaijão.

Pole position
Um piloto é considerado o pole position, em automobilismo, quando inicia a corrida na primeira posição do grid (ou grelha) de largada. O termo foi adaptado das corridas de cavalo. Normalmente a posição no grid de largada de uma corrida é determinada em uma sessão à parte de classificação, onde os pilotos tentam obter o melhor resultado. Pode haver várias diferenças na forma como se define o pole position de uma categoria para outra. Ou também pode ser feito pela marca, a melhor marca do carro/moto (seja qual for a categoria) tem a garantia da "Pole Position".
Vinje
Vinje é uma comuna da Noruega, com 3 117 km² de área e 3 756 habitantes (censo de 2004).

O município de Vinje (originalmente uma paróquia) foi nomeado a partir da antiga fazenda 'Vinje' (Nórdico Velho:  Vinjar ), uma vez que a primeira igreja foi construída lá. O nome é a forma plural de  vin  que significa "prado" ou "pastagem".

Plural
O plural é uma flexão gramatical de número (como o singular e o dual) da palavra que se refere a mais de uma coisa.

Exemplos de palavras no plural: troféus (de troféu), pastéis (de pastel), carros (de carro), andavam (de andava), andaram (de andou) etc. Seguem as regras formais para a formação do plural a partir do singular.
Amédée Gordini
Amédée Gordini, nascido Amedeo Gordini (Bazzano, 23 de junho de 1899 - Paris, 25 de maio de 1979), foi um piloto, construtor e preparador de carros esportivos franco-italiano. É notado por sua importante contribuição à indústria automobilística e por ter criado a empresa Gordini.

24 Horas de Le Mans
As 24 Horas de Le Mans é uma das mais tradicionais corridas automobilísticas do mundo e a principal prova do Campeonato Mundial de Endurance da FIA. É apontada como a maior corrida do planeta. A prova de resistência que dura 24 horas é disputada anualmente desde 1923, no Circuit de la Sarthe, em França.
Sonhos, Planos, Fantasias
Sonhos, Planos, Fantasias é o oitavo álbum de estúdio da dupla sertaneja Bruno & Marrone, lançado em 2002 pela Abril Music.

Desde que foram contratados pela BMG, após a falência da Abril Music, Bruno & Marrone não pararam de vender discos. A multinacional, então, relançou o último disco da dupla adicionando uma faixa, "Ligação Urbana", que tomou de assalto as rádios de todo o país, tornando-se uma das músicas mais executadas de 2003, e com isso, foi incluída no disco quando ele foi relançado. O hit "Ligação Urbana" vendeu sozinho cerca de 250 mil cópias. Recebeu o disco de ouro da ABPD.

Bertelsmann Music Group
Bertelsmann Music Group (abreviado como BMG) foi uma das seis divisões da empresa alemã Bertelsmann, formada em 1987 para englobar as atividades relacionadas às gravações musicais da empresa. Com o tempo, a mesma se expandiu com a aquisição de diversos selos, como a RCA Records.

Consistia também na BMG Music Publishing, terceira maior editora de música do mundo e a maior editora independente de música. Desde agosto de 2004, tinha participação de 50% numa joint-venture formada com a Sony Music Entertainment, que estabeleceu a Sony BMG Music Entertainment (Sony BMG), de 2004 a 2008.

Em 1 de outubro de 2008, sua incorporação foi concluída pela Sony Corporation of America.
Congresso Somali Unido
Congresso Somali Unido foi uma organização político-militar somali formada em grande parte pelo clã Hawiye, fundada em Roma em janeiro de 1989 para se opor ao regime de Siad Barre. O Congresso Somali Unido foi uma das principais organizações rebeldes na Somália, desempenhando um papel importante na derrubada do governo de Siad Barre em 1991. Com sede no centro do país, a organização toma a capital Mogadíscio em janeiro de 1991 e tornou-se alvo da Força-Tarefa Unificada em 1993. Durante a década de 1990, após disputas internas, se divide em várias facções rivais que se engajam em uma guerra fratricida. Em 2004, com o estabelecimento de um Governo Nacional de Transição, o processo de desarmamento foi posto em prática e alguns ex-líderes moderados da Congresso Somali Unido foram incorporados à nova administração interina.

Hawiye
Os Hawiye (em somali:  Hawiiye, em árabe: بنو هوية)  é um clã somali. Os membros do clã vivem principalmente na região central e sul da Somália, no Ogaden e na Província do Nordeste (atualmente administradas pela Etiópia e Quênia, respectivamente), e em menor número em outros países. Como muitos somalis, os membros do Hawiye traçam sua ascendência de Irir Samaale. A Agência Central de Inteligência (CIA) e a Human Rights Watch indicam que os Hawiye são o maior clã somali. Outras fontes, incluindo o Relatório da Comissão Canadense de Inquérito sobre a Somália, indicam que os Darod são o maior clã somali. Hawiye é o clã dominante em Mogadíscio, a capital da Somália.
Culinária do Magrebe
A Culinária do Magrebe corresponde às práticas culinárias dos países e as etnias que vivem e compõem o denominado: Magrebe (no árabe المغرب ) em oposição geográfica ao Máshreq. As culinárias do Magrebe têm em sua parte mais setentrional características típicas da cozinha mediterrânea, enquanto que também se encontram com parte das culinárias africanas. Possui algumas influências da cozinha turca (com exceção da gastronomia marroquina) devido à expansão do Império Otomano e por isso se podem ver as dolmas e os baklavas em muitas de suas regiões.

Dolma
Dolma (turco) ou dolmades é uma família de pratos de vegetais recheados presentes nas culinárias de diversos países outrora pertencentes ao Império Otomano e das regiões circundantes, incluindo a Turquia, a Grécia, o Egito, a Albânia, a Argélia, o Azerbaijão, a Arménia, a Jordânia, a Síria, o Líbano, a Palestina, o Iraque, o Irão, o norte do Sudão e do sul da Ásia.

A variante mais conhecida é preparada com folhas de videira. O recheio pode incluir arroz, abobrinha, beringela, tomate e pimento, e incluir ou não carne. Quando se inclui carne, as dolmades são acompanhadas com molho; quando não têm carne, são normalmente servidas frias. Em ambos os casos, são frequentemente consumidas com iogurte.
Vespa soror
A Vespa soror, também conhecida como vespa gigante do sul, é uma espécie de vespa presente na Índia, norte da Tailândia, Laos, norte do Vietname e partes do sul da China, incluindo Hong Kong, Guangdong, Fuquiém e a Ilha de Ainão.
A vespa soror é uma das maiores vespas, embora menor que a vespa gigante asiática ( V. mandarinia ). O comprimento do corpo das obreiras varia de 26 a 35 mm, e as das rainhas variam entre 39 a 46 mm. Seus ninhos são enterrados em áreas florestais.

Elas são predadores agressivas e já foram observadas atacando colmeias de abelhas, e ninho de vespas. Elas também caçam louva

-a-deus, libélulas, borboletas, gafanhotos e pequenos vertebrados, como lagartixas. Também representam um perigo para as pessoas por ter um veneno potente.

Fuquiém
Fuquiém ou Fujian (em chinês: 福建; romaniz.: Fújiàn (pinyin); pronunciado [fu2tɕjɛ̂n] (escutarⓘ)), é uma província da República Popular da China. Tem uma área de aproximadamente 121 400 quilômetros quadrados e uma população de 35 350 000 habitantes. A capital provincial é Fucheu. A população é constituída maioritariamente por habitantes de etnia Han (99%), existindo 1% de habitantes de etnia She e 0,3% de etnia Hui.
David Gieseker
David Arends Gieseker (Oakland, Califórnia, 23 de novembro de 1943) é um matemático estadunidense, especialista em geometria algébrica.

Gieseker obteve o grau de bacharel no Reed College em 1965 e na Universidade Harvard um mestrado em 1967 e em 1970 um Ph.D., orientado por Robin Hartshorne, com a tese Contributions to the Theory of Positive Embeddings in Algebraic Geometry. Gieseker tornou-se em 1975 professor da Universidade da Califórnia em Los Angeles.

Foi palestrante convidado do Congresso Internacional de Matemáticos em Helsinque (1978).

Universidade da Califórnia em Los Angeles
A Universidade da Califórnia em Los Angeles (em inglês:  University of California, Los Angeles, UCLA) é uma universidade americana localizada na região de Westwood, na cidade de Los Angeles. Foi fundada em 1919, sendo a segunda universidade do sistema Universidade da Califórnia (UC) e está entre as melhores universidades do mundo. Está organizada em cinco faculdades voltadas para cursos de graduação e quatro escolas focadas no ensino de ciências da saúde. A UCLA tem o maior campus da Universidade da Califórnia. Possui cerca de 25 mil estudantes de graduação e onze mil de pós-graduação. Tem como mascote o Bruin Bear e suas cores são o azul e o ouro. Sua biblioteca central possui cerca de oito milhões de livros, sendo a oitava maior dos Estados Unidos.
Ben Johnson (ator)
Ben Johnson Jr. (Foraker, 13 de junho de 1918 - Mesa, 8 de abril de 1996) foi um ator estadunidense que atuou em inúmeros westerns e filmes de ação. Também trabalhou como peão em rodeios, vaqueiro, dublê de cinema e rancheiro.

Nascido em Foraker Oklahoma, de família com ascendência irlandesa. O pai dele, Ben Johnson Sr., era um rancheiro no Condado de Osage, (Oklahoma), e também campeão de rodeios. Quando jovem, Ben Johnson ajudava no rancho de seu pai e viajava com ele para os rodeios, até que começou a se interessar pelas produções cinematográficas. Ele ganhou um prêmio por equipe dos profissionais do rodeio em 1953.

Johnson se casou com Carol Elaine Jones, filha do astro dos western Buck Jones em 1941. Ficou casado com ela por 53 anos, até que ela veio a falecer em 1994. Não tiveram filhos.

Faroeste
Faroeste ou Western é um gênero de vários tipos de arte que contam histórias ambientadas, primordialmente, no Velho Oeste dos Estados Unidos do século XIX, normalmente centrado na vida dos cowboys ou pistoleiros armados com revólveres e rifles da época, em cima dos seus cavalos. Estes personagens frequentemente usavam o notório chapéu stetson, bandanas, esporas, botas e camurças. Outros personagens incluem índios americanos, bandidos, homens da lei, caçadores de recompensas, foras da lei, cavalaria montada, colonos e moradores da cidade.
José Pacheko
José Rosa dos Santos Pacheco (São Jorge de Arroios, Lisboa, 24 de abril de 1885 – Anjos, Lisboa, 28 de setembro de 1934), que assinava José Pacheko, foi um arquiteto, artista gráfico, cenógrafo e pintor português.

São Jorge de Arroios
A Freguesia de São Jorge de Arroios é uma extinta freguesia portuguesa da cidade e do Município de Lisboa, freguesia que tinha 1,16 km² de área e 18 415 habitantes (2011), e, por isso, uma densidade populacional de 15 875 hab/km².

Inicialmente denominada freguesia de São Jorge e, mais tarde, São Jorge de Arroios, assumiu a designação de freguesia (paróquia civil) de Arroios, no âmbito da substituição de hagiotopónimos levada a cabo pela Primeira República. Em 1959, já no regime do Estado Novo, foi reposta a designação de freguesia de São Jorge de Arroios.

Como consequência da reorganização administrativa, oficializada a 8 de novembro de 2012 e que entrou em vigor após as eleições autárquicas de 2013, foi determinada a extinção da freguesia, passando o seu território integralmente para a nova freguesia de Arroios.
Universalismo moral
Universalismo moral (também chamado de objetivismo moral ou moralidade universal) é a posição metaética de que algum sistema ético aplica-se universalmente, ou seja, para "todos os indivíduos em situação semelhante", independentemente de raça, cultura, sexo, religião, nacionalidade, sexualidade ou qualquer outro distintivo. O universalismo moral se opõe ao niilismo moral e ao relativismo moral. No entanto, nem todas as formas de universalismo moral são absolutas, nem são necessariamente de valor monista; muitas formas de universalismo, como o utilitarismo, são não absolutistas, e algumas outras formas, tais como a de Isaiah Berlin, podem ser de valor pluralista.

Utilitarismo
O utilitarismo é uma família de teorias metaéticas consequencionalistas, sistematizada inicialmente pelos filósofos ingleses Jeremy Bentham e John Stuart Mill, que afirma que uma ação é correta ou incorreta baseada em sua tendência a maximizar ou minimizar "utilidade"; que é geralmente identificada com a felicidade ou a satisfação de preferências. Ao lado da Ética de Virtudes e da Ética do dever, é uma das perspectivas mais influentes no campo da  filosofia moral.

Sua formulação clássica pode ser resumida pela máxima da "maior felicidade ao maior número". Trata-se então de uma moral eudemonista, mas que, ao contrário do egoísmo, insiste no fato de que devemos considerar o bem-estar de todos e não o de uma única pessoa.

Na Economia, o utilitarismo pode ser entendido como um princípio ético no qual o que determina se uma decisão ou ação é correta, é o benefício intrínseco exercido à coletividade, ou seja  quanto maior o benefício, tanto melhor a decisão ou ação será.
(33429) 1999 DL4
1999 DL4 (asteroide 33429) é um asteroide da cintura principal. Possui uma excentricidade de 0.04500440 e uma inclinação de 10.85621º.

Este asteroide foi descoberto no dia 23 de fevereiro de 1999 por Korado Korlević e Mario Juric em Visnjan.

Observatório Višnjan
Observatório Višnjan (em croata:  Zvjezdarnica Višnjan) é um observatório astronômico localizado próximo ao vilarejo Višnjan na Croácia. Ele é dirigido por Korado Korlević.

Em 2003 eram creditados cerca de 1748 descobertas ao observatório.

O observatório recebe diversos programas de verão para a juventude nos campos da astronomia, arqueologia, biologia marinha e outras disciplinas.
Saad al-Abdullah al-Salim al-Sabah
Xeque Saad Al-Abdullah Al-Salim Al-Sabah (em árabe: سـعد العبـد اللـه السـالم الصباح Saʿad al-ʿAbdallāh as-Sālim as-Sabāh, (1930 — Kuwait, 13 de maio de 2008) foi o Emir do Kuwait desde o falecimento do Xeque Jaber em 15 de janeiro de 2006 até 24 de janeiro de 2006.

Entre fevereiro de 1978 e julho de 2004 foi primeiro-ministro do Kuwait, sendo sucedido por Sabah Al-Ahmad Al-Jaber Al-Sabah. O Xeque Saad sofria de problemas de cólon, o que levou à especulação de que recusaria o trono, mas em novembro de 2005 uma declaração do Xeque Sabah apontou-o como seu herdeiro. Na sequência da morte do seu primo, em janeiro de 2006, havia no país alguma preocupação política devido à sua frágil condição de saúde. Após nove dias de reinado, foi substituído por Xeque Saad Al-Abdullah Al-Salim Al-Sabah.

Cólon
O cólon ou colo é a maior porção do intestino grosso, sendo, por vezes, estes termos utilizados erroneamente como sinônimos.

O cólon é dividido em cólon ascendente, transverso, descendente e sigmoide. É responsável pelo armazenamento de fezes e pela absorção de água e eletrólitos do quilo.

Este órgão pode ser alvo de várias doenças como adenomas, adenocarcinomas, diverticulose e colite ulcerosa, entre outras.

Não sendo imprescindível à vida, pode ser completamente removido através de cirurgia, porém com diminuição da qualidade de vida, passando o paciente a conviver com uma ileostomia.
The Gun Runners
The Gun Runners (bra: Contrabando de Armas) é um filme estadunidense de 1958, do gênero drama romântico-policial, dirigido por Don Siegel, com roteiro de baseado no conto "One Trip Across" com elementos de To Have and Have Not, de Ernest Hemingway, publicado na Cosmopolitan em  abril de 1934.

Ernest Hemingway
Ernest Miller Hemingway (Oak Park, 21 de julho de 1899 — Ketchum, 2 de julho de 1961) foi um escritor norte-americano, amplamente reconhecido como um dos maiores escritores do século XX e um dos principais expoentes da geração perdida. Seus livros são inspirados nas suas experiência pela Europa e Cuba e na suas atividades como motorista de ambulância durante a Primeira Guerra Mundial e correspondente de guerra durante a Guerra Civil Espanhola. Sua obra foi agraciada com diversos prêmios em vida, como o Prêmio Pulitzer em 1953 e o Nobel de Literatura em 1954. Tomado por diversos problemas de saúde, cometeu suicídio com uma espingarda, calibre 12, em 02 de julho de 1961, aos 61 anos
Zombie Walk
Zombie Walk é uma passeata composta por um grande grupo de pessoas que se vestem de zumbis. Caminhando por grandes centros urbanos, os participantes organizam uma rota através das ruas da cidade, passando por shoppings, parques e outros locais com grande público.

Parque
Um parque (do francês parc) é uma área territorial delimitada caracterizada por constituir unidades de conservação. Esses terrenos podem ser terrestres e/ou aquáticos, normalmente extensos, contendo ecossistemas naturais ou seminaturais de grande relevância ecológica, podendo conter sua importância na conservação de ecossistemas ameaçados, na presença de sítios geológicos de interesse científico, em seu valor educacional, recreativo ou turístico. Podem ser definidas e conservadas pelo poder nacional, estadual ou municipal,  podendo ser caracterizado como natural, urbano ou militar.

O termo também é usado para descrever um tipo de savana.
Campeonato Mundial de Esgrima de 1989
O Campeonato Mundial de Esgrima de 1989 foi a 52ª edição do torneio organizado pela Federação Internacional de Esgrima (FIE) entre 5 de julho a 15 de julho de 1989. O evento foi realizado em Denver, Estados Unidos.

Denver
Denver é a capital, a cidade mais populosa e um dos 64 condados do estado norte-americano do Colorado.

Com mais de 715 mil habitantes, de acordo com o censo nacional de 2020, é a cidade mais populosa do estado e a 19ª mais populosa do país. Pouco mais de 12% da população total do Colorado vive em Denver.
Estrada Caetano Monteiro
A Estrada Caetano Monteiro é uma estrada, de aproximadamente 5,5 quilômetros de extensão, que atravessa a maioria dos bairros da região de Pendotiba, e é responsável pela ligação com o centro de Niterói. Inicia-se no Largo da Batalha, após cruzamento da Avenida Rui Barbosa e Rua Amadeu Gomes, e termina em Maria Paula, na confluência com a Estrada Velha de Maricá (atualmente Estrada do Rio do Ouro), na altura do Trevo de Maria Paula (Praça Nova República). Através da ligação Rua Tancredo Neves-Estrada Velha de Maricá, contornando o Trevo de Maria Paula, pode-se chegar à RJ-104, ligação a São Gonçalo e Norte Fluminense (esquerda), ou à Rodovia Amaral Peixoto (RJ-106), ligação à Região dos Lagos (direita).

Até 11 de janeiro de 1938 era conhecida apenas como Estrada de Pendotiba, quando recebeu este nome pelo prefeito Brandão Júnior, em homenagem a João Caetano Monteiro (Silva Jardim, 1854 - Niterói, 1931), médico que fez carreira na cidade .

Pendotiba
Pendotiba é uma região administrativa do município de Niterói, situada no Maciço Costeiro de Niterói, no estado do Rio de Janeiro, no Brasil. A Região de Pendotiba foi definida pelo Plano Diretor de Niterói (Lei 1 157, de 29 de dezembro de 1992) como sendo constituída pelos seguintes bairros: Badu, Cantagalo, Ititioca, Largo da Batalha, Maceió, Maria Paula, Matapaca, Sapê e Vila Progresso.
Prêmio NAS de Biologia Molecular
O Prêmio NAS de Biologia Molecular (em inglês:  National Academy of Sciences Award in Molecular Biology (NAS Award in Molecular Biology) é um prêmio em ciências na área da biologia molecular, concedido anualmente desde 1962 pela Academia Nacional de Ciências dos Estados Unidos. A condecoração, destinada a cientistas dos Estados Unidos com no máximo 45 anos de idade, é patrocinada pela empresa Pfizer, tendo sido inicialmente patrocinada pela United States Steel. É dotado com 25 mil dólares dos Estados Unidos.

15 dos 64 recipientes (situação em janeiro de 2015) receberam depois um Nobel de Fisiologia ou Medicina ou um Nobel de Química (ano e área identificados entre parêntesis), alguns décadas depois.

Pfizer
Pfizer (NYSE: PFE) é uma empresa farmacêutica multinacional com sede em Nova Iorque, Estados Unidos. Sua sede de pesquisa e desenvolvimento encontra-se em Groton, Connecticut, e é uma das maiores empresas farmacêuticas do mundo.
Narcos: México
Narcos: México foi um seriado de televisão americano de crime e drama, criado e produzido por Carlo Bernard e Doug Miro. Originalmente destinado a ser a quarta temporada da série original da Netflix Narcos, ele finalmente foi desenvolvido como um seriado paralelo, com foco no comércio ilegal de drogas do México, enquanto que a série principal era centrada no comércio ilegal de drogas da Colômbia. A série foi lançada em 16 de novembro de 2018 no Netflix.

Em 17 de dezembro de 2019, a Netflix divulgou um teaser da 2ª temporada, a qual foi lançada em 13 de fevereiro de 2020.

Em 5 de novembro de 2021 foi lançada a 3ª e última temporada da série.

Produtor executivo
Produtor executivo (PE) é uma das posições mais altas na produção de mídia. Dependendo do meio, o produtor executivo pode se envolver com gestão contábil ou estar associado a questões legais (como direitos autorais ou royalties). Em filmes, o produtor executivo geralmente contribui para o orçamento do filme, e seu envolvimento depende do projeto, com alguns simplesmente obtendo fundos e outros participando ativamente do processo de filmagem.