hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Lógica de segundo orden
Una lógica de segundo orden es una extensión de una lógica de primer orden en la que se añaden variables que representan propiedades, funciones y relaciones, y cuantificadores que operan sobre esas variables. Así se expande el poder expresivo del lenguaje sin tener que agregar nuevos símbolos lógicos.

Cuantificador
En lógica formal, un cuantificador es una expresión que indica la cantidad de veces que un predicado o propiedad P se satisface dentro de una determinada clase (por ejemplo, pertenencia, equivalencia u orden). Existen muchos tipos de cuantificadores, entre los más utilizados están:

Cuantificador universal

Para todo x, y...

Cuantificador existencial

Existe al menos un x, y...

Cuantificador existencial único

Existe exactamente un x, y...

Negación del cuantificador existencial

No existe ningún x, y...
Coming Over
«Coming Over» es el segundo sencillo en CD japonés de la boy band surcoreana EXO. El lanzamiento del sencillo, será el 9 de diciembre de 2016 publicado por Avex Trax. El sencillo incluye seis pistas, incluyendo las tres pistas originales.

Sencillo en CD
Un sencillo en CD es un sencillo musical en la forma de un disco compacto de tamaño estándar. El formato de disco compacto para sencillos fue introducido por primera vez a mediados de la década de 1980, pero no fue puesto en el mercado hasta 1990. Los CD pronto ensombrecieron las ventas de otros formatos como el vinilo y el casete, comenzando la década de 1990. Las compañías comenzaron a lanzar menos sencillos, al punto de que Billboard cambió sus reglas de permitir sencillos sin lanzamientos comerciales. Como consecuencia de esta nueva norma, la producción y las ventas de sencillos disminuyeron enormemente.

Hoy en día están siendo reemplazados en parte por las descargas digitales.
Colin Richardson
Colin Richardson es un productor británico. Ha trabajado en unos 80 discos, la mayoría de hard rock/heavy metal. Grupos con los que ha trabajado son:

Bullet for My Valentine

Cannibal Corpse

Disincarnate

Gorguts

Canker

Carcass

The Chameleons

Chimaira

Cradle of Filth

Crash

DevilDriver

Eluveitie

Fear Factory

Fightstar

Five Pointe O

Funeral for a Friend

God Forbid

Gorefest

Hamlet

InMe

Kill The Lights

Machine Head

Napalm Death

Roadrunner United

Sepultura

Sikth

Sinister

Slipknot

S.O.B.

The Exploited

Tarja Turunen

Trivium

Wednesday 13

DevilDriver
DevilDriver es una banda estadounidense de heavy metal formada en Santa Bárbara en 2002. La banda está formada por Dez Fafara (Coal Chamber) Mike Spreitzer, Neal Tiemann, Diego Ibarra y Austin D'Amond.

Devildriver era el nombre que le daban las brujas a las campanas que usaban para manejar el mal que invocaban con sus hechizos.
Blanca de Julio
Blanca de Julio es el nombre de una variedad cultivar de manzano (Malus domestica). Esta manzana es originaria de Galicia, está cultivada en la colección de árboles frutales y banco de germoplasma de Mabegondo con el N.º 20; ejemplares procedentes de esquejes localizados en San Cosme de Nogueirosa, parroquia del municipio de Pontedeume (La Coruña).

Noguerosa
Noguerosa (llamada oficialmente San Cosme de Nogueirosa) es una parroquia española del municipio de Puentedeume, en la provincia de La Coruña, Galicia. Destaca el Castillo de Andrade como monumento en esta parroquia
Receptor del Año
En la Liga Venezolana de Béisbol Profesional, el Receptor del Año es un premio dado al receptor más sobresaliente anualmente por la liga. El premio fue establecido en la temporada 2011-12, ganándolo por primera vez Héctor Sánchez de los Tiburones de La Guaira, quien a su vez ganó el premio al Novato del Año esa temporada.

El premio es llamado Manuel Pollo Malpica en honor a quien fue uno de los grandes receptores de Venezuela, además de ser mánager de la selección de béisbol de Venezuela campeona de la Copa Mundial de Béisbol en 1941.

Los miembros de los Cardenales de Lara han ganado el mayor número de premios de cualquier franquicia (con 2), seguidos muy de cerca por tres equipos.

El galardón, usualmente era decidido por la junta directiva de la liga, pero a partir de la temporada 2018-19 es concedido a través de una escogencia realizada por la empresa Numeritos Gerencia Deportiva (NGD) y LineUp Internacional.[cita requerida]

Copa Mundial de Béisbol
La Copa Mundial de Béisbol (originalmente llamada Serie Mundial Amateur) fue una competición internacional de Béisbol a nivel de selecciones organizada por la Federación Internacional de Béisbol. Fue descontinuada en 2011 en favor del Clásico Mundial de Béisbol y el WBSC Premier 12
Bítov
Bítov es una localidad del distrito de Znojmo en la región de Moravia Meridional, República Checa, con una población estimada a principio del año 2018 de 146 habitantes.

Se encuentra ubicada al suroeste de la región, cerca de la orilla del río Dyje —un afluente del río Morava que, a su vez, lo es del Danubio—, de la frontera con Austria y la región de Vysočina, y a poca distancia al suroeste de la ciudad de Brno.

Distrito de Znojmo
El distrito de Znojmo es uno de los siete distritos que forman la región de Moravia Meridional, República Checa, con una población estimada a principio del año 2018 de 113 797 habitantes. Se encuentra ubicado al sureste del país, al sureste de Praga, cerca de la frontera con Eslovaquia y Austria. Su capital fue la ciudad de Znojmo.
Dryadoideae
Dryadoideae es una subfamilia de las rosáceas que consta de cuatro géneros, todos los cuales presentan nódulos radiculares que albergan la bacteria fijadora de nitrógeno Frankia. Son subarbustos, arbustos o pequeños árboles con un número cromosómico básico de 9, cuyos frutos son o aquenios o agregados de aquenios.

Frankia
Frankia es un género de bacterias filamentosas fijadoras de nitrógeno que viven en simbiosis con plantas actinoricicas, de forma similar a Rhizobia. Estas bacterias forman nódulos radiculares en forma de coral. A diferencia de la simbiosis que existe entre Rhizobia y las leguminosas, esta interacción mutualista es menos específica.

Este género fue originalmente nombrado por Jörgen Brunchorst en 1886 en honor al biólogo alemán Albert Bernhard Frank. Brunchorst creía que el organismo que habían identificado era un hongo filamentoso. Jan-Hendrik Becking redefinió el género en 1970 como poseedor de actinomycetes procariotas y creó la familia Frankiaceae dentro de los Actinomycetales, manteniendo el nombre original Frankia para el género.
Lago Pontchartrain
El lago Pontchartrain (pronunciación en inglés: /ˈpɒnt͡ʃətreɪn/, pronunciación en francés: /lak pɔ̃ʃaʁtʁɛ̃/ (escucharⓘ)) es un lago de agua salobre localizado al sudeste de Luisiana. Es el segundo lago de agua salada más grande de los Estados Unidos, después del Gran Lago Salado, en Utah, y es también el lago más grande del estado de Luisiana.

Agua salobre
El agua salobre es aquella que tiene más sales disueltas que el agua dulce, pero menos que el agua de mar. Técnicamente, se considera agua salobre la que posee entre 0,5 y 30 gramos de sal por litro, expresados más frecuentemente como de 0,5-0,6 a 30-35 partes por mil.
Armiansk
Armiansk en ucraniano: Армянськ; en ruso: Армянск; en tártaro de Crimea: Ermeni Bazar) es una ciudad balneario en Crimea. Es la capital y ciudad principal del municipio de Armiansk. La soberanía del territorio es reclamada por Ucrania.

Está situada al norte de la península, en el istmo de Perekop entre el mar Negro y el mar de Sivash. A través de ella pasa el canal de Crimea del Norte proveniente de Ucrania. Además en la ciudad hay una estación de tren del ferrocarril Jersón - Dzhankói.

Istmo de Perekop
El istmo de Perekop (en ruso: Перекопский перешеек; en ucraniano: Перекопський перешийок; y, en tártaro de Crimea: Or boynu) es un franja de tierra ubicada entre Oblast de Jerson de Ucrania y la península de Crimea que une esta con el resto del continente europeo, a la vez que separa el mar de Sivash del mar Negro. Su anchura oscila entre los cinco y los siete kilómetros. Además, a través del istmo pasa el canal de Crimea del Norte.

Debido a su importancia estratégica, el istmo ha sido históricamente escenario de duros combates por la conquista de Crimea. Para su defensa, ya en tiempos antiguos, griegos y tártaros construyeron una fortaleza, y hasta el siglo XV fue una importante colonia genovesa. A partir de 1783, el istmo perteneció a la Rusia imperial y en 1954, junto con la propia península, pasó a formar parte de la RSS de Ucrania.
Prévillers
Prévillers  es una comuna y población de Francia, en la región de Picardía, departamento de Oise, en el distrito de Beauvais y cantón de Marseille-en-Beauvaisis.

Su población en el censo de 1999 era de 109 habitantes.

Está integrada en la Communauté de communes de la Picardie Verte .

Distrito de Beauvais
El distrito de Beauvais es un distrito (en francés arrondissement) de Francia, que se localiza en el departamento de Oise, de la région Picardía (en francés Picardie). Cuenta con 14 cantones y 258 comunas.
Ambrosia (gastronomía)
La ambrosia es una variante de la tradicional ensalada de fruta. Contiene crema agria o nata endulzada (o whipped topping) mezclada con yogur, piña, mandarina y coco. Algunas versiones también llevan cerezas al marrasquino, plátano, fresa o malvaviscos pequeños. La mezcla se refrigera unas horas antes de tomarla.

Yogur
El yogur (también escrito como yogurt, yoghourt, yogourt, yoghurt, yagurt) es un producto lácteo obtenido mediante la fermentación de la leche por medio de bacterias de los géneros Lactobacillus y Streptococcus. Se suelen usar varias cepas diferentes para conseguir una fermentación más completa, principalmente Streptococcus thermophilus, Lactobacillus delbrueckii ssp. bulgaricus, L. casei y Bifidobacterium bifidus.

Si bien se puede obtener a partir de cualquier tipo de leche, actualmente predomina la leche de vaca como materia prima. La fermentación de la lactosa en ácido láctico da al yogur su acidez y parte de su sabor. Esto también ayuda a que las personas con intolerancia a la lactosa puedan consumirlo sin sufrir trastornos digestivos. A menudo, se le añaden chocolate, fruta, vainilla y diversos  saborizantes.

Existe una máquina comercializable para el hogar que ayuda a elaborar este tipo de lácteo denominada «yogurtera» o «yogurera».
Gran Premio de Australia de Motociclismo de 2015
El Gran Premio de Australia de Motociclismo de 2015 (oficialmente Pramac Australian Motorcycle Grand Prix) fue la decimosexta prueba del Campeonato del Mundo de Motociclismo de 2015. Tuvo lugar en el fin de semana del 16 al 18 de octubre de 2015 en el Circuito de Phillip Island, situado en la isla de Phillip Island, estado de Victoria, Australia.

La carrera de MotoGP fue ganada por Marc Márquez, seguido de Jorge Lorenzo y Andrea Iannone. Álex Rins fue el ganador de la prueba de Moto2, por delante de Sam Lowes y Lorenzo Baldassarri. La carrera de Moto3 fue ganada por Miguel Oliveira, Efrén Vázquez fue segundo y Brad Binder tercero.

Miguel Oliveira
Miguel Ângelo Falcão de Oliveira (Almada, 4 de enero de 1995), conocido como Miguel Oliveira, es un piloto de motociclismo portugués. Entre 2011 y 2025 compitió en el Campeonato del Mundo de Motociclismo, siendo su último equipo el Prima Pramac Racing de MotoGP. Previamente, resultó subcampeón de las categorías de Moto3 en 2015 y de Moto2 en 2018, ambas con el Red Bull KTM Ajo. En 2026 compite en el Campeonato Mundial de Superbikes con BMW Motorrad.
Miscellaneidae
Miscellaneidae es una familia de foraminíferos planctónicos de la superfamilia Nummulitoidea, del suborden Rotaliina y del orden Rotaliida. Su rango cronoestratigráfico abarca desde el Selandiense (Paleoceno medio) hasta el Ypresiense (Eoceno inferior).

Ypresiense
El Ypresiense o Ypresiano es el primer piso y edad del Eoceno en la escala temporal geológica. Sucede al Thanetiense (último piso del Paleoceno) y precede al Luteciense. Se inició hace unos 56,00 millones de años y terminó hace unos 48,07 millones de años.

El nombre proviene de la ciudad belga de Ypres. El piso fue introducido por el geólogo belga André Hubert Dumont en 1849.
(27748) Vivianhoette
(27748) Vivianhoette es un asteroide perteneciente al cinturón de asteroides, descubierto el 9 de enero de 1991 por Shun-ei Izumikawa, y el también astrónomo Osamu Muramatsu desde el Yatsugatake-Kobuchizawa Observatory, Japón.

Osamu Muramatsu
Osamu Muramatsu (村松 修, Muramatsu Osamu?,  Tokio, 1949) es un astrónomo japonés.

Según el Centro de Planetas Menores, ha descubierto 73 asteroides así como, junto a Yoshio Kushida, el cometa 147P/Kushida-Muramatsu.

Muramatsu trabaja en el planetario en la sala Shibuya de Tokio, Japón. El asteroide del cinturón principal (5606) Muramatsu, descubierto por el astrónomo y colega Satoru Otomo, fue nombrado en su honor el 28 de julio de 1999.
Distrito de Baiyin
Baiyin léase Chin-Chuán (en chino:白银区, pinyin:Báiyín qū, lit:plata) es un distrito urbano bajo la administración directa de la ciudad-prefectura de Baiyin en la provincia de Gansu, República Popular China, con una población censada en noviembre de 2010 de 294 400 habitantes.

Se encuentra situada en el este de la provincia, cerca de la frontera con la región autónoma de Ningxia y del río Amarillo (Huang He).

Gansu
Gansu (en chino, 甘肃; pinyin, Gānsùⓘ) es una provincia de la República Popular China. Su capital es Lanzhou.

Está ubicada en la región China del Noroeste, limitando al norte con Mongolia, Mongolia Interior y Ningxia, al este con Shaanxi, al sur con Sichuan, y al oeste con Qinghai y Sinkiang. Con 454 000 km² es la sexta entidad subnacional más extensa del país —por detrás de Sinkiang, Tíbet, Mongolia Interior, Qinghai y Sichuan— y con 56,43 hab/km², la quinta menos densamente poblada, por delante de Mongolia Interior, Sinkiang, Qinghai y Tíbet, la menos densamente poblada.

Aparte de la capital, son importantes las ciudades Tianshui y Dingxi. Gansu es uno de los hábitats naturales del panda gigante.
Quasiendothyra
Quasiendothyra es un género de foraminífero bentónico de la subfamilia Endothyrinae, de la familia Endothyridae, de la superfamilia Endothyroidea, del suborden Fusulinina y del orden Fusulinida. Su especie tipo es Endothyra omphalota. Su rango cronoestratigráfico abarca desde el Fameniense (Devónico superior) hasta el Tournaisiense (Carbonífero inferior).

Endothyroidea
Endothyroidea, denominada tradicionalmente Endothyracea, es una superfamilia de foraminíferos del suborden Fusulinina y del orden Fusulinida. Si Endothyroidea se restringe tan solo a la Familia Endothyridae, abarcaría desde el Fameniense (Devónico superior) hasta el Pennsylvanniense (Carbonífero superior).
Escudo de Tudanca (Cantabria)
El escudo de Tudanca es el único símbolo del municipio español de Tudanca en Cantabria, ya que carece de bandera oficial.

Dicho escudo queda organizado de la manera siguiente: escudo cortado: 1.º, partido: a) de verde, la Casona de Tudanca al natural, y b) de oro, una cabeza bovina en alusión a la raza de ganado bovino originaria de este valle. 2.º, de plata, una basna al natural. Va timbrado con la corona real española.

El escudo fue adoptado en sesión plenaria celebrada por el ayuntamiento siendo autorizado por el Consejo de Gobierno de Cantabria el día 18 de abril de 1991, previo informe favorable emitido por la Real Academia de la Historia.

Tudanca (Cantabria)
Tudanca es un municipio de la comunidad autónoma de Cantabria (España), situado en la comarca de Saja-Nansa, en el sector occidental de la región. Su territorio, de carácter montañoso, se organiza en torno al valle medio-alto del río Nansa. El municipio presenta una población de 154 habitantes (INE 2025), distribuida en cuatro núcleos de población: Santotís —capital administrativa—, Tudanca, La Lastra y Sarceda.

La localidad de Tudanca conserva un conjunto arquitectónico tradicional representativo de la arquitectura montañesa, declarado bien de interés cultural (BIC) en la categoría de conjunto histórico-artístico en 1983. En el municipio se encuentra la Casona de Tudanca, vinculada al escritor José María de Cossío y actualmente convertida en museo y biblioteca.
Invencible (1739)
El Invencible (transcripción de Ymbencible) fue un navío de línea de dos puentes y 70 cañones, cabeza de su clase homónima, botado en 1739 para la Armada Española. Según los estándares británicos, el buque quedaba categorizado como de tercera clase y 72 cañones nominales. Como todos los buques de la Armada española de nombre no religioso, estaba bajo la advocación de un santo, en este caso Nuestra Señora de Belem. Su teatro de operaciones se redujo al mar Caribe y no conoció otra zona de actuación durante su efímera existencia de menos de un año al servicio de la Armada.

Sistema de clasificación de la Marina Real británica
El sistema de clasificación de la Marina Real británica y sus predecesores fue utilizado por la Armada británica desde comienzos del siglo XVII hasta mediados del siglo XIX con el objetivo de catalogar los buques de guerra, clasificándolos en un principio según su dotación y luego de acuerdo a la cantidad cañones montados en cureñas.
Las modelos (película de 1944)
Las modelos (título original en inglés Cover Girl, que traducido al español sería Chica de portada) es una película estadounidense dirigida por Charles Vidor y estrenada en 1944. Una bailarina de Brooklyn abandona a su novio tras ganar un concurso de belleza y convertirse en una famosa modelo de revista, pero descubrirá que la fama y la fortuna no pueden reemplazar al "el amor verdadero".

Fundamentalmente es un escaparate para Rita Hayworth, protagonista del film, cuenta con lujosos trajes modernos y de la década de 1890, ocho rutinas de baile para Hayworth y canciones de Jerome Kern e Ira Gershwin, incluida la canción "Long Ago (and Far Away)".

Charles Vidor
Charles Vidor Károly (Budapest, 27 de julio de 1900 - Viena, 4 de junio de 1959), conocido como Charles Vidor, fue un cineasta estadounidense de origen húngaro, director de grandes clásicos, como Gilda o Adiós a las armas.
Carretera Bernedo-Logroño
La carretera que une Bernedo (Álava) con Logroño (La Rioja) es una vía comarcal que discurre por tres comunidades autónomas distintas, por lo que su denominación varía en cada una de ellas. En Álava se llama  A-2126 , en Navarra  NA-7210  y en La Rioja  LR-252 . Antes de la transferencia de las carreteras comarcales y locales a las administraciones autonómicas y provinciales, esta carretera fue la  L-126 .

Su trazado comienza en la  A-126  en Bernedo, donde comienza a ascender al puerto de Bernedo o La Aldea (1.000 m). Apenas 2,8 km más adelante se adentra en la Comunidad Foral de Navarra. Tras pasar el alto se discurre junto a Lapoblación y se llega a Meano. Tras seguir descendiendo, se vuelve a cruzar la frontera con Álava para alcanzar Yécora y Oyón. Finalmente, apenas 500 metros antes de finalizar en la  N-111  al norte de Logroño, se cruza la frontera entre las provincias alavesa y riojana.

Lapoblación
Lapoblación es un municipio compuesto español de la Comunidad Foral de Navarra, situado en la Merindad de Estella, en el histórico valle de Aguilar, y en la comarca de Estella Occidental y a 106 km de la capital de la comunidad, Pamplona. Cuenta con una población de 126 habitantes (INE 2024).

El municipio está compuesto por dos concejos: la villa de Lapoblación y el lugar de Meano. Actualmente Meano es el más poblado y ejerce como capital (donde está la sede municipal), siendo el Lapoblación más pequeño aunque dé nombre al municipio. Obedece a motivos históricos, puesto que antiguamente, al contrario que en la actualidad, Meano era un lugar incluido dentro de la villa de Lapoblación.

Es el municipio más occidental de Navarra estando su término limitado en 3/4 partes por Álava (Bernedo, Cripán, Yécora y Oyón).
Posca
La posca fue una bebida popular en la Antigua Roma que consistía en vinagre y agua (acetum cum aqua mixtum). A veces se empleaban vinos de poca calidad que acababan avinagrándose, por lo que se mezclaba con hierbas aromáticas. Era una bebida muy típica en el ejército romano, en el Evangelio de San Juan se cuenta que un legionario se la ofreció a Jesucristo durante su crucifixión en el Gólgota, y se sabe que su uso se extendió hasta el periodo del Imperio bizantino.

Calvario
El Calvario, también conocido como el Gólgota, fue un sitio que se encontraba cerca del exterior de las murallas de Jerusalén. En este lugar, según los Evangelios, fue crucificado Jesús de Nazaret. El término «Gólgota» o «Gólgotha» proviene del griego Γολγοθᾶ, posteriormente escrito como Γολγοθᾶς, que es la transliteración griega de un término arameo que pudiera ser Gûlgaltâ.

En el texto griego de Mateo, Marcos y Juan se da su traducción como Κρανίου Τόπος (Kraníou Tópos), 'lugar de la calavera', vertido al latín como Calvariæ Locus, de donde deriva la palabra española «Calvario». En el Evangelio de Lucas se lo denomina simplemente Lugar de la Calavera.

En algunos idiomas, incluido el español, debido a que el lugar es históricamente asociado a estos eventos bíblicos de sufrimiento y muerte, la expresión «vivir un calvario» se refiere a un momento en la vida de una persona sumamente difícil, tenso o preocupante.
Elecciones al Congreso de los Diputados de 2011 (Madrid)
Las elecciones al Congreso de los Diputados de 2011 se celebraron en la Comunidad de Madrid el domingo 20 de noviembre, como parte de las elecciones generales convocadas por Real Decreto dispuesto el 26 de septiembre de 2011 y publicado en el Boletín Oficial del Estado el día siguiente. Se eligieron los 36 diputados del Congreso correspondientes a la circunscripción electoral de Madrid, mediante un sistema proporcional (método d'Hondt) con listas cerradas y un umbral electoral del 3%.

Circunscripción electoral de Madrid
Madrid es una de las 52 circunscripciones electorales utilizadas como distritos electorales para la Cámara Baja de las Cortes Generales de España, el Congreso de los Diputados, y una de las 59 de la cámara alta, el Senado. Es la circunscripción que elige más diputados al Congreso. La provincia de Madrid como circunscripción electoral no dividida en distritos unipersonales se usó por primera vez en 1977. Durante la Segunda República, la provincia de Madrid había estado dividida en dos circunscripciones: Madrid capital y resto de la provincia.

Tradicionalmente los candidatos a la presidencia de los dos principales partidos son cabeza de lista en las candidaturas de sus partidos al Congreso de los Diputados por esta circunscripción electoral.
Berod bei Wallmerod
Berod bei Wallmerod es un municipio situado en el distrito de Westerwald, en el estado federado de Renania-Palatinado (Alemania). Su población estimada a finales de 2016 era de 553 habitantes.

Se encuentra ubicado al noreste del estado, cerca de la orilla derecha del río Rin, de la orilla norte del río Lahn, y de la frontera con el estado de Hesse.

Lahn
El Lahn (pronunciación en alemán: /laːn/ⓘ) es un curso fluvial europeo, afluente del Rin, que discurre por Alemania, concretamente por los estados federados de Renania del Norte-Westfalia, Hesse y Renania-Palatinado.

Su curso se inicia en una cumbre denominada Ederkopf (628 metros sobre el nivel del mar) de la cadena montañosa Rothaargebirge (Sauerland). Desde allí recorre 242 kilómetros en un curso muy sinuoso hacia el suroeste, para desembocar finalmente en el Rin en Lahnstein, cerca de Coblenza.

Entre otras, pasa por las ciudades de Marburgo, Gießen, Wetzlar, Weilburgo, Limburgo, Nassau y Bad Ems.

Aunque una parte de su curso está regulado por esclusas, hoy en día el tráfico fluvial se reduce prácticamente solo a la navegación deportiva y recreativa.