hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Cardinal fracamente compacto
Em matemática, um cardinal fracamente compacto é um certo tipo de número cardinal introduzido por Erdős & Tarski (1961) ; cardinais fracamente compactos são cardinais grandes, o que significa que sua existência não pode ser provada pelos axiomas padrão da teoria dos conjuntos . (Tarski originalmente os chamou de cardeais "não fortemente incompactos".)

Formalmente, um cardinal κ é definido como fracamente compacto se for incontável e para cada função f : [κ] 2 → {0, 1} há um conjunto de cardinalidade κ que é homogêneo para f . Neste contexto, [κ] 2 significa o conjunto de subconjuntos de 2 elementos de κ, e um subconjunto S de κ é homogêneo para f se e somente se todos os [ S ] 2 mapeiam para 0 ou todos eles mapeiam para 1.

O nome "fracamente compacto" se refere ao fato de que se um cardinal é fracamente compacto então uma certa linguagem infinitária relacionada satisfaz uma versão do teorema da compacidade ; veja abaixo.

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.
Final do Grand Prix de Patinação Artística no Gelo de 2000–01
A Final do Grand Prix de Patinação Artística no Gelo de 2000–01 foi a sexta edição da competição, um evento anual de patinação artística no gelo organizado pela União Internacional de Patinação (em inglês:  International Skating Union), e o evento final do Grand Prix de 2000–01. Os patinadores se qualificaram para essa competição através de outras seis competições: Trophée Lalique, NHK Trophy, Cup of Russia, Sparkassen Cup on Ice, Skate America e Skate Canada International. A competição foi disputada entre os dias 15 de fevereiro e 18 de fevereiro de 2001, na cidade de Tóquio, Japão.

Trophée Lalique de 2000
Trophée Lalique de 2000 foi a décima quarta edição do Trophée Lalique, um evento anual de patinação artística no gelo organizado pela Federação Francesa de Esportes no Gelo (em francês:  Federation Française des Sports de Glace), e que fez parte do Grand Prix de 2000–01. A competição foi disputada entre os dias 23 de novembro e 26 de novembro, na cidade de Paris, França.
Indy 500 (jogo eletrônico de 1977)
Indy 500 é um jogo eletrônico desenvolvido pela Atari para o Video Computer System (posteriormente conhecido como Atari 2600). O jogo foi um dos nove títulos de lançamento oferecidos quando o Atari 2600 foi lançado em 1977. A Sears Telegames depois lançou Indy 500 como Race, mas sem nenhuma mudança na jogabilidade. Indy 500 foi baseado no jogo de arcade para oito jogadores Indy 800.

Esse jogo de corrida, extensivamente nomeado com base na Indianápolis 500 - oferece vários jogos.

Incluso em cada jogo está um conjunto de dois controles de direção, que eram idênticos em aparência ao controle de pedal, com duas diferenças. A primeira, o controle de direção podia rodar continuamente. Os pedais eram o freio. Segundo, cada controle era ligado ao seu próprio plug. Os pedais entravam em apenas um plug.

Jogo eletrônico de corrida
Jogo eletrônico de corrida é um gênero de jogos eletrônicos em que o jogador participa de competições de corrida com qualquer tipo de veículo terrestre, inclusive motocicletas e quadriciclos. Existem alternativas de jogos com veículos aquáticos, aéreos e até espaciais. Jogos de corrida utilizam a perspectiva de jogo em primeira ou terceira pessoa. Podem ser baseados tanto em competições ou lugares reais quanto em ambientes fictícios, variando entre jogabilidade de simuladores, ou jogos mais arcades.
Augusto Coutinho
Augusto Rodrigues Coutinho de Melo (Recife, 22 de outubro de 1962) é um engenheiro civil e político brasileiro, filiado ao Republicanos.

Disputou sua primeira eleição para vereador do Recife pelo Partido da Frente Liberal (PFL) e foi eleito por dois mandatos consecutivos (em 1992 e 1996) logo em seguida deputado estadual de Pernambuco, em 1998, com 34.651 votos. Reeleito em 2002 com 44.760, e em 2006 com 56.813, sempre figurando entre os mais votados. Nas eleições de 2010 foi eleito deputado federal por Pernambuco com 70.096 votos, assumindo o mandato em fevereiro 2011. Em 2014 obteve 67.918 ficando na primeira suplência da coligação, assumindo mandato em fevereiro de 2015.

Tornou-se deputado federal, após a nomeação de Danilo Cabral para a secretaria de Planejamento de Pernambuco, pelo governador Paulo Câmara.

Atualmente, é Deputado federal de Pernambuco após ser eleito nas Eleições de 2018 para o mandato 2019-2022.

Paulo Câmara
Paulo Henrique Saraiva Câmara (Recife, 8 de agosto de 1972) é um economista e político brasileiro. É ex-governador do estado de Pernambuco e atual presidente do Banco do Nordeste do Brasil (BNB).

Formado em Ciências Econômicas pela Universidade Federal de Pernambuco (1994), pós-graduado em Contabilidade e Controladoria Governamental (1997) e mestre em Gestão Pública (2006), todos pela mesma instituição. Foi Secretário de Administração (2007–2010), Secretário de Turismo (2010) e Secretário da Fazenda de Pernambuco (2011–2014) durante a administração do então governador Eduardo Campos. Paulo é casado com Ana Luiza Câmara e tem duas filhas. Em 2014, foi eleito governador de Pernambuco no primeiro turno, com 68% dos votos, sendo o candidato a governador mais bem-votado do país naquela eleição. Nas eleições de 2018 foi reeleito a governador no primeiro turno com 50,70% dos votos, derrotando Armando Monteiro.
Fibra acrílica
Fibras acrílicas são fibras sintéticas feitas de um polímero (poliacrilonitrila) com um peso molecular médio de ~100,000, aproximadamente 1900 unidades de monômero. Para ser chamado de "acrílica" nos EUA. o polímero deve conter ao menos 85% de monômero acrilonitrila. Comonômeros típicos são acetato de vinila ou acrilato de metila. A DuPont Corporation criou as primeiras fibras acrílicas em 1941 e registrou-a sob a marca "Orlon".

Fibra sintética
Fibras sintéticas são fibras obtidas a partir de polímeros sintéticos: a poliamida (náilon), poliacrílicos, elastômeros, derivados do polivinilo, poliolefina e poliuretano. Outros polímetros com interesse industrial são as fibras sintéticas como o nylon, utilizado nas redes e o fios de pesca, e o terylene, utilizado como fio na indústria têxtil. Utilizam-se fibras sintéticas principalmente para se fazer roupa e outros materiais como lençóis de cama, almofadas, echarpes, entre outros.

Fibra Sintética - Também utilizado pela indústria moveleira, para fabricação de móveis de alumínio, esta provem da materia prima pp, ou seja polipropileno.
Dimensa
Dimensa Tecnologia S.A. é uma empresa brasileira sediada em São Paulo, especializada no desenvolvimento de soluções tecnológicas para o setor financeiro, com ênfase em operações bancárias, crédito, gestão de riscos e seguros. Fundada em 2021, a companhia surgiu como uma joint venture entre a TOTVS, maior empresa de tecnologia do Brasil, e a B3, principal bolsa de valores da América Latina. A estrutura societária da Dimensa é composta por 62,5% de participação da TOTVS e 37,5% da B3.

Empreendimento conjunto
Empreendimento conjunto ou empresa conjunta (em inglês: joint venture; aventura conjunta,[carece de fontes?] união de riscos, risco em conjunto) é um modelo estratégico de parceria comercial ou aliança entre empresas, visando desde uma simples colaboração para fins comerciais e/ou tecnológicos até a fusão de sociedades em uma única empresa, não implicando a perda da identidade e individualidade como pessoas jurídicas das participantes. É uma forma associativa sui generis, sem uma precisa definição legal no ordenamento jurídico brasileiro, contudo sendo jurisprudencialmente reconhecida.

Há várias empresas, de diversos setores da economia, que investem nesse tipo de sociedade. Os maiores empreendimentos conjuntos no mundo acontecem nos ramos de tecnologia, automobilismo e alimentação.
Druuna
Druuna é uma  personagem de histórias em quadrinhos dos gêneros erótico, ficção científica e fantasia criado pelo quadrinista italiano Paolo Eleuteri Serpieri. A maioria das aventuras de Druuna giram em torno de um futuro pós-apocalíptico, e o enredo é muitas vezes um veículo para variadas cenas de pornografia hardcore e imagens softcore. Druuna é frequentemente descrita como seminua ou nua.

Druuna atuou em nove volumes da série Morbus Gravis entre 1985 e 2016. Estas histórias foram destaque nas revistas para adultos Métal Hurlant e Heavy Metal. Druuna também tem sido destaque em inúmeras e populares sketchbooks de Serpieri, que já venderam mais de um milhão de cópias em doze línguas. Serpieri aparece em muitas das histórias como o personagem Doc. No Brasil, a extinta edição local da revista Heavy Metal publicou em português os seis primeiros volumes da série Morbus Gravis além dos sketchbooks, Druuna X e Druuna X 2.

Sketchbook
Um esboceiro ou rabisqueiro (ou no estrangeirismo sketchbook) é um livro ou um caderno com páginas em branco para desenhar esboço e é frequentemente utilizado por artistas para desenhar ou pintar como parte de seu processo criativo. Também são comuns os sketchbooks de artistas famosos vendidos para colecionadores.

No Japão, fãs costumam levar sketchbooks em convenções de dōjinshis (mangás independentes ou fanzines) para conseguir desenhos de seus artistas favoritos.

A exibição de sketchbooks no Museu de Arte Fogg da Universidade de Harvard em 2006 sugeriu que havia duas grandes categorias para classificar os esboços:

Observação: concentra-se na documentação do mundo externo e inclui muitos estudos e esboços sobre viagens e natureza, que registram as viagens de um artista.

Invenção: segue as digressões e jornadas internas dos artistas à medida que desenvolvem idéias composicionais.
Waldisa Rússio
Waldisa Rússio Camargo Guarnieri (São Paulo, 5 de setembro de 1935 - São Paulo, 11 de junho de 1990) foi uma advogada, professora e museóloga brasileira, reconhecida como uma das personalidades mais influentes no desenvolvimento do pensamento teórico da museologia e de sua consolidação como campo disciplinar no Brasil.

Ela trabalhou a partir de 1957 como funcionária pública estadual exercendo funções diversas e participando no âmbito de reformas administrativas, ao mesmo tempo contribuindo para consolidar o ensino de museologia e a regulamentação da profissão no país. Membro do Comitê Internacional de Museologia (ICOFOM), a partir do início dos anos 1980, ela contribuiu ativamente com as reflexões sobre o campo científico da museologia, publicando diversos textos sobre o assunto.

Marcel Mauss
Marcel Mauss (francês: [mos]; 10 de maio de 1872 — 10 de fevereiro de 1950) foi um sociólogo e antropólogo francês conhecido como o "pai da etnologia francesa". Sobrinho de Émile Durkheim, Mauss, em seu trabalho acadêmico, ultrapassou as fronteiras entre a sociologia e a antropologia. Hoje, ele é talvez mais reconhecido por sua influência nesta última disciplina, particularmente no que diz respeito às suas análises de temas como magia, sacrifício e troca de presentes em diferentes culturas ao redor do mundo. Mauss teve uma influência significativa sobre Claude Lévi-Strauss, o fundador da antropologia estrutural. Sua obra mais famosa é o Ensaio sobre a dádiva (1925).
Amarelo crepúsculo
Amarelo crepúsculo, seguidamente adicionado na literatura da sigla FCF (também conhecido como Amarelo alaranjado S, Amarelo FD&C 6 ou C.I. 15985) é um corante azocomposto amarelo sintético com um máximo de absorção entre 480 e 500 nm dependente do pHp. 463, produzido a partir de hidrocarbonetos aromáticos derivados do petróleo. Quando adicionado a alimentos vendidos na Europa, é notado pelo número E E110, podendo também ser notado pelo número INS 110. Embora existam relatos de que pode induzir reações alérgicas, isto não é confirmado por pesquisas científicas.

Sulfonação
Sulfonação é uma reação química de substituição que ocorre entre moléculas de hidrocarbonetos alcanos, cíclicos ou aromáticos, como o combustível a óleo.

Ocorre comumente com a autocatálise proveniente da formação do "sulfur" ou ácido sulfúrico fumegante (H2SO4.SO3). Alguns hidrocarbonetos, como o tolueno sofrem sulfonação com o ácido sulfúrico concentrado, bastando pouca elevação de temperatura.
Porco (zodíaco)
O Porco  ( 亥 ) ou Javali é um dos animais do ciclo de 12 anos que aparece no Zodíaco da Astrologia chinesa e no Calendário chinês.

Zang-Fu: San Jiao (Wai Guan abre Yang Wei Mai)

Anatomia: Triplo Aquecedor

Elemento natural e fixo: Água

Canal 5 Shen: Shen Yin / Yang

Nível Energético: Shao Yang Mão

Deus Grego: Hermes (Gato)

Ligação: Rato

Rato (zodíaco)
O Rato (子) é um dos animais do ciclo de 12 anos que aparece no Zodíaco da Astrologia chinesa e no Calendário chinês.

Zang-Fu: Dan (Zu Lin Qi abre Dai Mai)

Anatomia: Vesícula Biliar

Canal 5 Shen: Hun Yang

Nível Energético: Shao Yang Pé

Deus Grego: Dioniso

Ligação: Gato (Coelho)
Sumov Atlético Clube
O Sumov Atlético Clube é um clube de futsal brasileiro da cidade de Fortaleza, Ceará. Fundado em 12 de agosto de 1965 por iniciativa de um grupo de funcionários da extinta Superintendência Municipal de Obras e Viação (SUMOV).

Já foi considerado a maior força desse esporte no Brasil. Sua sede localiza-se no Ginásio Aécio de Borba, nome recebido em homenagem ao Aécio de Borba. Sua quadra, cedida pela Prefeitura Municipal em regime de comodato, está localizada no bairro Benfica, próxima à Praça da Gentilândia.

Federação Cearense de Futebol de Salão
A Federação Cearense de Futsal é uma  entidades de administração da modalidade Futsal  no Estado do Ceará, tendo sido fundada em 27 de janeiro de 1956 e está filiada a Confederação Brasileira de Futebol de Salão. Realiza várias competições e campeonatos no Ceará:  Campeonato Cearense de Futsal em todas as Categorias, Copa Estado do Ceará Futsal e o Campeonato Cearense de Seleções Municipais.
NGC 6015
NGC 6015 é uma galáxia espiral (Sc) localizada na direcção da constelação de Draco. Possui uma declinação de +62° 18' 31" e uma ascensão recta de 15 horas, 51 minutos e 25,4 segundos.

A galáxia NGC 6015 foi descoberta em 2 de Junho de 1788 por William Herschel.

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.
Nissan 370Z
O 370Z (conhecido no Japão como Fairlady Z) é um carro esportivo fabricado pela Nissan Motors. Foi anunciado em 29 de outubro de 2008 e foi exibido pela primeira vez em um evento em Los Angeles em 2008 o Greater LA Auto Show, antes de ser oficialmente apresentado na feira em si. O 370Z é a sexta geração da linha Nissan Z-car, sucedendo ao 350Z.

Foi produzido e montado na fábrica de Tochigi no Japão, e foi vendido no Brasil entre 2010 e 2014, além de também ser ter sido presente no mercado do Japão e Estados Unidos, a partir de US$ 30.090 (2019). A produção foi globalmente encerrada em 2020, sendo substituido pelo Nissan Z (RZ34), utilizando a mesma platorforma no entanto com algumas modificações.

Automóvel desportivo
Automóvel desportivo (português europeu) ou automóvel esportivo (português brasileiro) (em inglês: Sports car), ou mais popularmente no Brasil carro esportivo, é geralmente um automóvel pequeno, de dois lugares e duas portas, desenhado para resposta rápida, fácil maneabilidade, e condução de alta velocidade.

De acordo com o dicionário Merriam-Webster, o primeiro uso conhecido do termo carro esportivo ocorreu em 1928.

Carros esporte podem ser simples ou luxuosos, mas as características de grande manobrabilidade e baixo peso são requisitos essenciais.

Eles podem ser equipados para corridas, "especialmente na parte aerodinâmica fazendo dele um carro de um ou dois lugares com baixo centro de gravidade e sistema de direção e suspensão projetadas para controle preciso em altas velocidades".
Batalhão Operacional Aeroterrestre
O Batalhão Operacional Aeroterrestre (também conhecido pela anterior designação pela sigla BOAT) é um batalhão do Exército Português, aquartelado no Regimento de Paraquedistas (Brigada de Reação Rápida), em Tancos, responsável pela execução de várias missões fulcrais das Tropas Paraquedistas de Portugal, tais como a operação de zonas de lançamento (CPRECs), dobragem e manutenção de paraquedas (CEA) lançamento de cargas de abastecimento aéreo (CAA) ou cinotécnica.

Companhia (unidade militar)
Uma companhia é um tipo de unidade militar, composta por entre 60 e 250 militares e tradicionalmente comandada por um capitão.

Normalmente, está dividida em dois ou mais pelotões, com várias companhias a formarem um batalhão. Tipicamente, a companhia é a menor unidade de um exército a dispor de autonomia administrativa e logística. Tradicionalmente, o sargento mais graduado de uma companhia é designado "primeiro-sargento", sendo responsável pelos seus serviços administrativos.

Como, no passado, era comum cada companhia usar uma bandeira privativa como distintivo de unidade, por analogia, a companhia em si era também designada "bandeira".

Tradicionalmente, algumas armas e serviços de um exército, as unidades equivalentes à companhia têm outras designações como "esquadrão" ou "tropa" na cavalaria, "bateria" na artilharia, "esquadrilha" na aviação e "coluna" no serviço de transportes.
31 Leonis
31 Leonis (A Leonis) é uma estrela na direção da Leo. Possui uma ascensão reta de 10h 07m 54.32s e uma declinação de +09° 59′ 51.6″. Sua magnitude aparente é igual a 4.39. Considerando sua distância de 274 anos-luz em relação à Terra, sua magnitude absoluta é igual a −0.23. Pertence à classe espectral K4III.

Leo
Leo, o Leão, é uma constelação do zodíaco. O genitivo, usado para formar nomes de estrelas, é Leonis.

As constelações vizinhas, segundo as delineações contemporâneas, são a Ursa Maior, o Leão Menor, o Caranguejo, a Hidra, o Sextante, a Taça, a Virgem e a Cabeleira de Berenice.

A estrela Wolf 359, uma das mais próximas do Sistema Solar, é uma das estrelas do Leão.
Maomé III de Marrocos
Maomé III (em árabe: محمد الثالث; romaniz.: Muhammad III), nascido Maomé ibne Abedalá (em árabe: محمد بن عبد الله; romaniz.: Muḥammad ibn ʿAbd Allāh), foi mulei (em árabe: مولاي; romaniz.: mulay) e sultão do Marrocos de 1757 a 1790. Em seu tempo, houve relativa estabilidade interna, que só foi comprometida com as constantes disputas com tribos rebeldes e sua tendência em apoiar líderes sufitas.

Mulei
Mulei (em árabe: مولايّ; romaniz.: mawlāyy; lit. "meu senhor"), no Magrebe, é um título honorífico dado a reis muçulmanos de origem xarifina (sadaditas e alauitas) que descendiam de Haçane ibne Ali. Excetuam-se aqueles que alegavam descender do profeta Maomé e cujo título era Saíde, embora, mesmo aos últimos, há uso livre de Mulei antes dos nomes.
Cneu Domício Calvino
Cneu Domício Calvino (em latim: Gnaeus Domitius Calvinus) foi um político da gente Domícia da República Romana eleito cônsul por duas vezes, em 53 e 40 a.C., com Marco Valério Messala Rufo e Caio Asínio Polião respectivamente. Foi um partidário de Júlio César durante a Guerra Civil de César e apoiou depois o seu herdeiro, Otaviano, na Guerra Civil dos Liberatores.

Assassinato de Júlio César
Júlio César, o ditador romano, foi assassinado por um grupo de senadores nos Idos de Março (15 de março) do ano 44 a.C. durante uma reunião do Senado na Cúria de Pompeu do Teatro de Pompeu em Roma.

Durante o episódio, que também ficou conhecido como cesaricídio, os senadores esfaquearam César 23 vezes e alegaram estar agindo sob o temor de que a concentração de poder sem precedentes que César estava promovendo durante a sua ditadura estava minando as bases da República Romana, sendo que apresentaram o feito como um ato de tiranicídio.

Pelo menos 60 senadores participaram da conspiração, liderada por Marco Júnio Bruto e Caio Cássio Longino. Apesar da morte de César, os conspiradores não conseguiram restaurar as instituições da República. As ramificações do assassinato levaram à Guerra Civil dos Libertadores e, finalmente, ao período do Principado do Império Romano.
Thaísa Moreno
Thaísa de Moraes Rosa Moreno, conhecida como Thaísa Moreno, ou apenas Thaísa (Xambrê, 17 de dezembro de 1988), é uma futebolista profissional brasileira que atua como volante ou meia. Conquistou títulos pela Seleção Brasileira de Futebol Feminino. Atualmente, joga no Flamengo.

Copa América Feminina de 2018
O Campeonato Sul-Americano de Futebol Feminino de 2018, oficialmente denominado Copa América Feminina de 2018, foi a oitava edição do campeonato, que ocorreu entre 4 e 22 de abril no Chile. A edição classificou para a Copa do Mundo de Futebol Feminino de 2019, para os Jogos Pan-Americanos de 2019 e também para os Jogos Olímpicos de Verão de 2020.

O Brasil venceu todas as partidas do torneio e conquistou o sétimo título da competição em oito edições disputadas. Com o título conquistou a vaga para a Copa do Mundo e para o torneio de futebol dos Jogos Olímpicos de 2020, no Japão. Como vice-campeão, o Chile garantiu a outra vaga para o mundial. Argentina, Colômbia e Paraguai se classificaram para o Pan de 2019 em Lima, Peru.
NGC 6911
NGC 6911 é uma galáxia espiral barrada (SBb) localizada na direcção da constelação de Draco. Possui uma declinação de +66° 43' 44" e uma ascensão recta de 20 horas, 19 minutos e 38,3 segundos.

A galáxia NGC 6911 foi descoberta em 9 de Junho de 1885 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.
Copa Continental (KHL)
A Copa Continental (em russo:  Кубок Континента, Kubok Kontinenta), é o troféu dado ao vencedor da temporada regular da Liga Continental de Hóquei. Vence o clube que conquistar a maior pontuação durante a teporada regular. Foi criado na segunda temporada. Ironicamente, até a última temporada, nenhum de seus vencedores veio a conquistar a Copa Gagarin, troféu dado ao vencedor da KHL.

Liga Continental de Hóquei de 2009–10
A Liga Continental de Hockey de 2009–10 foi a segunda edição da liga euro-asiática de hóquei no gelo. A edição foi iniciada em setembro de 2009 e com término em abril de 2010. O Salavat Yulaev Ufa foi o campeão da Copa Continental e o Ak Bars Kazan da Copa Gagarin.