hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Sistema deductivo
Un sistema deductivo (también nombrado como aparato deductivo de un sistema formal) está constituido de axiomas y reglas de inferencia que pueden ser usados para derivar los teoremas del sistema.

Tal sistema deductivo tiene como propósito preservar ciertas cualidades deductivas en las fórmulas que son expresas en el sistema. Normalmente la calidad en la cual estamos preocupados es la verdad en oposición a la falsedad. No obstante, otras modalidades, tales como justificación o creencia, pueden ser preservadas alternativamente.

A fin de mantener su integridad deductiva, un aparato deductivo debe ser definido sin referencia a ninguna interpretación pretendida del lenguaje. El objetivo es garantizar que cada línea de un cálculo lógico es meramente una consecuencia lógica de las líneas que la preceden. No debería haber ningún elemento perteneciente a cualquier interpretación del lenguaje encubierto en la naturaleza deductiva del sistema.

Teorema
Un teorema es  una proposición cuya verdad se demuestra. En matemáticas, es toda proposición que, partiendo de un supuesto (hipótesis), afirma una racionabilidad (tesis) no evidente por sí misma.

También puede decirse que un teorema es una fórmula bien formada que puede ser demostrada dentro de un sistema formal, partiendo de axiomas, noción  y otros teoremas. Demostrar teoremas es un asunto central en la lógica matemática. Los teoremas también pueden ser expresados en lenguaje natural formalizado.

Los teoremas generalmente poseen un número de premisas que deben ser enumeradas o aclaradas de antemano. La conclusión del teorema es una afirmación lógica o matemática que es verdadera bajo las condiciones dadas. El contenido informativo del teorema es la relación que existe entre las hipótesis y la tesis o la conclusión.

Se llama corolario a una afirmación lógica que es consecuencia inmediata de un teorema, pudiendo ser demostrada usando las propiedades del teorema de referencia.
Marin Hamill
Marin Hamill (Salt Lake City, 5 de abril de 2001) es una deportista estadounidense que compite en esquí acrobático, especialista en las pruebas de big air y slopestyle. Consiguió una medalla de oro en los X Games de Invierno Aspen 2026, en la prueba de knuckle huck.

Esquí acrobático
El esquí acrobático, esquí estilo libre o freestyle es una prueba deportiva de esquí, en la que los esquiadores deben tomar saltos y realizar trucos.

Existen dos grandes especialidades diferenciadas, los saltos aéreos o aerial, en el que se efectúan saltos acrobáticos que deben ser valorados por un jurado; y los baches o mogul, en el que se desciende por una escarpada pendiente de nieve plagada de baches y montículos (bumps), a lo largo de la cual deben efectuar diversos saltos acrobáticos.
Beach 98th Street (línea Rockaway)
Beach 98th Street   (también llamada Beach 67th Street – Playland) es una estación en la línea Rockaway del Metro de Nueva York de la División B del Independent Subway System antes conocido como el Ramal Rockaway Beach. La estación se encuentra localizada en el barrio Rockaway Beach, Queens entre la Calle 98 y Rockaway Freeway. La estación es servida en varios horarios por diferentes trenes del servicio ,  y .

División B (metro de Nueva York)
La División B es una división del Metro de la ciudad de Nueva York, que comprende las líneas operadas con servicios designados por las letras (A, B, C, D, E, F, G, J, L, M, N, Q, R, W, y Z), también junto con los servicios Franklin Avenue Shuttle y Rockaway Park Shuttle. Estas líneas y servicios fueron operadas por la Corporación de Tránsito de Brooklyn y Manhattan y la ciudad-propiedad del Sistema Independiente del Metro antes de que la ciudad tomara el poder del BMT en 1940. Los vagones de la división B son más anchos, largos, y pesados que los de la división A, midiendo 9.75 y 60 y 75 pie (3 por 18 o 23 metros).

Los dos antiguos sistemas todavía a veces se les llama la ' División IND' y la División BMT.
Emanuel Berg
Emanuel Berg (Skövde, 28 de diciembre de 1981) es un ajedrecista sueco que tiene el título de Gran Maestro desde 2004. En el ranking de la Federación Internacional de Ajedrez (FIDE) de julio de 2016, tenía un Elo de 2579 puntos, lo que le convertía en el jugador número 3 (en activo) de Suecia. Su máximo Elo fue de 2627 puntos, en la lista de noviembre de 2010 (posición 135 en el ranking mundial).

Ranking FIDE
La Federación Internacional de Ajedrez (FIDE) es la organización encargada de gobernar mundialmente toda competición ajedrecística. Mensualmente publica las clasificaciones de todos los jugadores de ajedrez federados del mundo. Para ello, se vale del sistema de puntuación Elo.
Cost, insurance and freight
Las siglas CIF (acrónimo del término en inglés Cost, Insurance and Freight, «Coste, seguro y flete, puerto de destino convenido») se refieren a un incoterm o término de comercio internacional que se utiliza en las operaciones de compraventa, en que el transporte de la mercancía se realiza por barco (mar o vías de navegación interior). Se debe utilizar siempre seguido de un puerto de destino.

Los riesgos de la mercancía los asume el comprador en el país del mismo cuando la mercancía llega en buen estado

Barco
Barco es todo cuerpo flotante de forma simétrica respecto de un plano longitudinal vertical, llamado plano de crujía, provisto de medios de propulsión y gobierno, que reúne las siguientes condiciones:

Flotabilidad (que flota)

Rigidez o resistencia

Estanqueidad

Capacidad de carga

Estabilidad

Gobernabilidad (que es gobernable)

Movilidad

Tiene construcción cóncava fusiforme, de madera, metal, fibra de vidrio u otro material (incluso de hormigón, como el SS Faith) que, por su forma, es capaz de flotar en el agua y que se utiliza para navegar como medio de transporte.
Las Vegas Invitational
El Las Vegas Invitational es un torneo de baloncesto universitario entre ocho equipos que se disputa durante la semana del Día de Acción de Gracias. La ronda final del torneo de 2009 se celebró los días 27 y 28 de noviembre, en el Orleans Arena en Las Vegas. Los equipos que participaron fueron Illinois, Oklahoma State, Utah, Bradley, Seattle, Presbyterian College, Wofford College y Southern University. El primer campeón del evento fue Oklahoma State.

Día de Acción de Gracias
El Día de Acción de Gracias (en inglés: Thanksgiving Day) es una fiesta celebrada oficialmente en Estados Unidos y Canadá, así como en Granada, Santa Lucía, y Liberia, y de forma no oficial por comunidades de inmigrantes estadounidenses y canadienses en México, Australia, Filipinas, Israel y Centroamérica.

Originalmente, fue un día de agradecimiento por la cosecha y por el año anterior. En Alemania, Suiza y Japón se conmemoran festividades similares de fin de año. El Día de Acción de Gracias se celebra el cuarto jueves de noviembre en los Estados Unidos, y el segundo lunes de octubre en Canadá. Aunque el Día de Acción de Gracias tiene raíces históricas en las tradiciones religiosas y culturales.
Patrick Abercrombie
Leslie Patrick Abercrombie (1879-1957) fue un arquitecto y urbanista británico, hermano del poeta Lascelles Abercrombie.

Fue profesor de diseño en la Universidad de Liverpool desde 1915 hasta 1935 y maestro de urbanismo en la University College de Londres después de 1935. Trabajó como asesor en la remodelación y planificación de Londres, Bath, Edimburgo y otras ciudades.

Recibió el título de caballero en 1945. Sus voluminosos escritos han sido de un considerable impacto en los campos de la planificación regional y el planeamiento urbano. Entre sus libros se encuentran The Preservation of Rural England de 1926 y Town and Country Planning de 1933.

Maestro
Los términos maestro y maestra (del lat. magister), denominan a la persona que ha estudiado magisterio y se encarga de enseñar a los alumnos, ya sean de infantil, primaria o secundaria, entre otros, en escuelas, colegios o universidades. Algunos maestros pueden estar destinados en institutos de educación secundaria en programas de garantía social, educación compensatoria o apoyo a alumnos con necesidades educativas especiales, así como en centros de Educación de Personas Adultas.

La titulación que un maestro debe ostentar para el ejercicio de su profesión es la de graduado universitario (dependiendo de los países, entre tres y cinco años de estudios superiores). Hasta hace unos años las escuelas universitarias de Magisterio eran denominadas en España «Escuelas Normales», denominación que todavía se mantiene en Francia y gran parte de Hispanoamérica. El normalismo se originó en EE. UU., y como solución al analfabetismo existente.[cita requerida]
Miss Venezuela 1992
El Miss Venezuela 1992 fue la trigésima novena (39.ª) edición del certamen Miss Venezuela. Se llevó a cabo en Caracas el miércoles 9 de septiembre de 1992. La ganadora fue Milka Chulina de Aragua, que fue coronada por la reina saliente Carolina Izsak de Amazonas. 30 chicas compitieron por la corona, todo un récord para la época, que solo se repetiría en 1998 y se superaría en la edición interactiva de 2003, con 32 concursantes.

Fue la primera edición del concurso realizada en septiembre, ya que hasta la edición anterior solía hacerse en el mes de mayo. Desde entonces este concurso siempre se realiza entre septiembre y octubre.

Carolina Izsak
Carolina Izsák Kemenyfy (Puerto Ayacucho, Venezuela, 21 de septiembre de 1971), es una modelo, arquitecto, filántropa y exreina de belleza venezolana, ganadora del Miss Venezuela 1991 y top 6 del Miss Universo 1992.
Courbu
Courbu es un nombre usado en tres uvas de vino (vitis vinifera) diferentes, aunque emparentadas. Se encuentran sobre todo en el suroeste de Francia. El nombre courbu, a secas, puede hacer referencia a la petit courbu y a la courbu blanc, y algunas obras sobre el tema ni siquiera las diferencian.

Llodio
Llodio (cooficialmente en euskera: Laudio) es un municipio español perteneciente a la provincia de Álava, en la comunidad autónoma del País Vasco. Se trata de un importante centro industrial en la comarca y el segundo municipio más poblado de la provincia tras la capital provincial, Vitoria, con 17 906 habitantes en 2022.
Colonia de San Pedro
La Colonia de San Pedro (en catalán Colònia de Sant Pere y comúnmente sa Colònia) es una localidad española del municipio de Artá, al nordeste de la isla de Mallorca, situándose en la parte de levante de la bahía de Alcudia. En 2020 contaba con una población de 641 habitantes.

Alcudia
Alcudia (oficialmente en catalán: Alcúdia) es una ciudad y municipio español situado en la parte septentrional de Mallorca, en las Islas Baleares. A orillas del mar Mediterráneo, este municipio limita con los de Pollensa, La Puebla y Muro.

El municipio alcudiense comprende los núcleos de población de Alcudia —capital municipal—, Playa de Alcudia, Puerto de Alcudia, Mal Pas-Bonaire, Marina Manresa y Son Fe. Geográficamente se encuentra en una pequeña península, entre las bahías de Pollensa y la de Alcudia. Su punto más alto corresponde a la montaña de La Atalaya, de 445 metros de altitud.

Está catalogado como Uno de Los Pueblos Más Bonitos de España desde el año 2019 y pertenece desde entonces a la asociación homónima.
La dama del mar (película de 1954)
La dama del mar  es una película argentina en blanco y negro dirigida por Mario Soffici según su propio guion escrito sobre la adaptación por José Ramón Luna y Rafael García Ibáñez del drama homónimo de Henrik Ibsen. La película se estrenó el 27 de enero de 1954, y contó con Zully Moreno, Alberto Closas, Roberto Airaldi y Ernesto Bianco como actores principales. Fue filmada parcialmente en Mar del Plata, Laguna Brava y Quequén.

Quequén
Quequén es una ciudad ubicada al sur de la provincia de Buenos Aires, y en el sureste de Argentina respectivamente; su situación geográfica es 38 32´ Lat. S – 58 42´ Long. O. Separada de la ciudad de Necochea por el río Quequén Grande, tiene una altitud de 15.66 metros sobre el nivel del mar (cota de riel). Es una localidad y ciudad balnearia de la provincia de Buenos Aires, ubicada sobre la costa atlántica, que forma parte del municipio de Necochea.

Tiene 14 524 habitantes (Indec, 2001) y es uno de los principales puertos cerealeros de la Argentina.

Se encuentra ubicada a orillas del río Quequén Grande, vocablo que proviene del idioma de los pueblos originarios (Puelches), Kem Ken (barrancas altas) que le da el nombre.
Carlos Salvador
Carlos Casimiro Salvador Armendáriz (Pamplona, 14 de abril de 1966) es un político y abogado español, que fue senador por Navarra de la vii legislatura y diputado por la misma circunscripción de la viii, ix, x, xi y xii legislaturas de las Cortes Generales. Es licenciado en Derecho y tiene un máster en Derecho de Empresa por la Universidad de Navarra.

Circunscripción electoral de Navarra
Navarra es una de las 52 circunscripciones electorales utilizadas como distritos electorales para la Cámara Baja de las Cortes Españolas, el Congreso de los Diputados, y una de las 59 de la Cámara Alta, el Senado.
Molomyn Tümenbayar
Molomyn Tümenbayar (27 de agosto de 1994) es un deportista mongol que compitió en taekwondo. Ganó una medalla en los Juegos Asiáticos de 2014, y dos medallas en el Campeonato Asiático de Taekwondo en los años 2016 y 2018.

Campeonato Asiático de Taekwondo de 2018
El XXIII Campeonato Asiático de Taekwondo se celebró en Ciudad Ho Chi Minh (Vietnam) en 2018 bajo la organización de la Unión Asiática de Taekwondo.

En total se disputaron en este deporte dieciséis pruebas diferentes, ocho masculinas y ocho femeninas.
Zall-Reç
Zall-Reç es un municipio del distrito de Dibër, en el condado de Dibër, Albania.

Se encuentra situado en la zona centro-norte del país, a poca distancia al noreste de Tirana y al oeste de la frontera con Macedonia del Norte, con una población a finales de 2011 de 681 habitantes.

Condados de Albania
Los condados (en albanés: qarqe o qarqet), también conocidos como prefekturë o prefektura (prefectura), son las subdivisiones administrativas de primer nivel de Albania, que reemplazan a los distritos anteriores. Desde 2000 existen 12 condados. Desde 2015, estos se han dividido en 61 municipios y 373 unidades administrativas.
Hnúšťa
Hnúšťa es un municipio del distrito de Rimavská Sobota en la región de Banská Bystrica, Eslovaquia, con una población estimada a final del año 2024 de 6436 habitantes.

Se encuentra ubicado al este de la región, en la cuenca hidrográfica del río Sajó —un afluente derecho del río Tisza— y cerca de la frontera con la región de Košice y con Hungría.

Región de Košice
La región de Košice (en eslovaco: Košický kraj) es una de las ocho regiones administrativas (kraj) de Eslovaquia. Se sitúa al sureste del país. La capital es la ciudad de Košice.

Limita con Hungría, y con las regiones de Banská Bystrica y Prešov.

La región es atravesada por la parte oriental de los Montes Metalíferos eslovacos, una cadena montañosa de los Cárpatos. El río principal de la región es el Hornád. En la parte oriental el territorio es más llano y se une con la llanura húngara.
Pressi
Pressi es una aldea del municipio de Rõuge, en el condado de Võru, Estonia, con una población censada a final del año 2011 de 12 habitantes.

Se encuentra ubicada al sur del condado, cerca del Suur Munamägi —el punto más alto del país con 318 metros—, del lago Rõuge Suurjärv y de la frontera con Letonia y Rusia.

Gran Lago de Rouge
El Gran Lago de Rouge (en estonio Rõuge Suurjärv) está situado al sur de Estonia en el municipio de Rõuge en el condado de Võru, posee una superficie de 0,13 km². Sus coordenadas son 57°51′N 26°55′E﻿ / ﻿57.850, 26.917.

Se trata del lago más profundo de Estonia con una profundidad media de 11,9 metros y máxima de 38 metros.
De noche también se duerme
De noche también se duerme es una película en blanco y negro de Argentina dirigida por Enrique Carreras sobre el guion de Abel Santa Cruz que se estrenó el 19 de enero de 1956 y que tuvo como protagonistas a Ana Mariscal, Olga Zubarry, Jorge Rivier y Roberto Escalada.

Roberto Escalada
Roberto Escalada cuyo nombre real era Aldo Roberto Leggero (4 de julio de 1914 - 5 de diciembre de 1986 en Buenos Aires) fue un conocido actor y galán argentino de radio, cine y televisión que comenzó su carrera artística en la radio aprovechando las cualidades de su voz e intervino además en numerosas películas así como en populares programas de televisión. Su afición por el tango, además, se plasmó en la letra de algunas composiciones.
An Jeong-Hwan
An Jeong-Hwan (en coreano: 안정환; 28 de enero de 1984) es un deportista surcoreano que compitió en judo. Ganó una medalla de bronce en el Campeonato Mundial de Judo de 2009, y una medalla de plata en el Campeonato Asiático de Judo de 2009.

Campeonato Asiático de Judo de 2009
El XXI Campeonato Asiático de Judo se celebró en Taipéi (Taiwán) entre el 23 y el 24 de mayo de 2009 bajo la organización de la Unión Asiática de Judo.

En total se disputaron dieciséis pruebas diferentes, ocho masculinas y ocho femeninas.
Orotina (región)
Orotina u Orotiña fue una antigua región de Costa Rica, en la costa del Pacífico, que a principios del siglo XVI estaba habitaba por un pueblo perteneciente al área cultural de Mesoamérica. Su rey aparece mencionado con el nombre de Orotina o Gurutina.

Según fray Juan de Torquemada, Orotina era uno de los cuatro pueblos principales en que se dividía la región o provincia de Nicoya; las otras tres eran Cantren (Cangel) y Chorote (Chorotega). Orotina se hallaba a siete leguas de distancia de Nicoya por mar y a veinte por tierra, entre la región habitada por los Chomes y los dominios del rey Chorotega.

Chorotegas
Los chorotegas son un grupo étnico de otomangues principalmente en Nicaragua, donde viven 221,000 chorotegas en el 2022 y es el grupo Indígena más grande del país. Los chorotegas también viven en el noroeste de Costa Rica, el suroeste de Honduras, y anteriormente en partes del este de El Salvador. Cuenta con más de 221,000 miembros. Entre los años 500 y 700 d. C., los chorotegas migraron desde el centro y sur de México a partes de Honduras y Costa Rica, pero principalmente a Nicaragua debido a la tierra fértil que rodeaba los grandes lagos de Nicaragua y Xolotlán, desplazando a los chibchas que ya habitaban esas tierras.
Multiplicadora
La multiplicadora es el elemento del aerogenerador que multiplica las revoluciones de giro del conjunto buje-aspas y divide en la misma proporción la fuerza de dicho eje.

La velocidad de giro del conjunto eje-palas (el elemento que vemos moverse desde el exterior del aerogenerador) suele oscilar entre las 15 y las 25 rpm en función del viento y de la forma constructiva del aerogenerador. Pero debido a las frecuencias eléctricas de las redes nacionales e internacionales (50 Hz en Europa y parte del mundo y 60 Hz en Estados Unidos y parte del mundo) esta velocidad de giro es insuficiente teniendo que elevarse a un régimen de giro de en torno a 1200 - 1800 rpm en función del tipo de generador y frecuencia.

Eje (mecánica)
Un eje es un elemento constructivo destinado a guiar el movimiento de rotación de una pieza o de un conjunto de piezas, como una rueda o un engranaje. El eje puede ser bien solidario a la rueda o al vehículo. En el primer caso -por ejemplo en el ferrocarril- el eje se monta sobre cojinetes o rodamientos, de modo que pueda girar sobre los puntos sobre los que soporta al vehículo. En el segundo caso las ruedas tiene un agujero central que acoge un dispositivo conocido como buje o cubo en el que el eje tiene un determinado tipo de ajuste, generalmente mediante la introducción de un vástago o muñón -espinel- en un rodamiento en el interior del cubo. También puede ser un prototipo de trabajo para estudios de mecánica o de ingeniería industrial.
Cassia grandis
El carao, cañandonga, cañafístola o cañafístula cimarrona es un árbol natural de América Central, el Caribe Colombiano y las zonas costeras de las Antillas que se utiliza para el tratamiento de enfermedades del pecho y como bebida con muchas propiedades nutritivas.

Región Caribe (Colombia)
La región Caribe de Colombia es la región natural continental y marítima más septentrional del país. Está ubicada en la zona norte de Colombia. Limita al norte con el mar Caribe, al que debe su nombre, al Oriente con Venezuela, al sur con la región Andina y al Occidente con la región Pacífico. Sus principales centros urbanos son Barranquilla, Cartagena, Soledad, Santa Marta, Montería, Valledupar, Sincelejo, Riohacha, Aguachica y Apartadó.
Urraca (pera)
Urraca, es el nombre de una variedad cultivar de pera europea Pyrus communis. Esta pera está cultivada en la colección de la Estación Experimental Aula Dei (Zaragoza). Esta pera también está cultivada en diversos viveros entre ellos algunos dedicados a conservación de árboles frutales en peligro de desaparición. Esta pera variedad muy antigua es originaria de España, en Padrón (provincia de La Coruña), y tuvo su mejor época de cultivo comercial antes de la década de 1960, y actualmente en menor medida aún se encuentra.

Vivero (jardinería)
Un vivero, del latín vivarium, es un conjunto de instalaciones agronómicas en el cual se cultivan todo tipo de plantas hasta que alcanzan el estado adecuado para su distribución, venta o consumo propio. Es decir, los viveros son sitios especialmente dedicados a la producción de plántulas de la mejor calidad y al menor costo posible.
The Happening (canción)
The Happening es una canción de 1967 grabada por las artistas de la Motown The Supremes. Sirvió como tema principal de la película de 1967 Columbia Pictures The Happening, y fue lanzado como sencillo por Motown en el momento del estreno de la película. Si bien la película fracasó, la canción alcanzó el puesto número 1 en la lista de sencillos pop Billboard Hot 100 en mayo, convirtiéndose en el décimo sencillo número 1 de The Supremes en Estados Unidos. También se situó entre los 10 primeros en la UK Singles Chart en el número 6, y en el top 5 en la Australian Pop Chart y en la Dutch Pop Chart.

ARIA Charts
Los ARIA Charts son las principales listas de ventas de música australiana, publicadas semanalmente por la Asociación Australiana de la Industria Discográfica (ARIA, por sus siglas en inglés). Las listas recogen las canciones y los álbumes más vendidos en varios géneros en Australia. La ARIA se convirtió en la lista oficial de música australiana en junio de 1988, sucediendo al Kent Music Report, que había sido la lista nacional de ventas de música de Australia desde 1974.
Trofeo Alfredo Binda-Comune di Cittiglio 2021
La 45.ª edición del Trofeo Alfredo Binda-Comune di Cittiglio fue una carrera de ciclismo de un día que se celebró el 21 de marzo de 2021 sobre un recorrido de 142,57 km con inicio en Cocquio-Trevisago y final en la ciudad de Cittiglio en Italia.

La carrera hizo parte del UCI WorldTour Femenino 2021 como competencia de categoría 1.WWT del calendario ciclístico de máximo nivel mundial siendo la segunda carrera de dicho circuito y fue ganada por la ciclista italiana Elisa Longo Borghini del equipo Trek-Segafredo. El podio lo completaron la neerlandesa Marianne Vos del equipo Jumbo-Visma y la danesa Cecilie Uttrup Ludwig del equipo FDJ Nouvelle Aquitaine Futuroscope.

UCI WorldTour Femenino 2021
El UCI WorldTour Femenino 2021 fue la sexta edición del máximo calendario ciclista femenino a nivel mundial.

El calendario tuvo 18 carreras, comenzando el 6 de marzo con la disputa de la Strade Bianche femenina en Italia y finalizando el 23 de octubre con el Tour de Drenthe femenino en los Países Bajos.