hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Literal (lógica matemática)
En lógica matemática, un literal es una fórmula atómica o su negación. La definición del concepto se halla sobre todo en la teoría de la demostración.

Se pueden considerar dos tipos de variables:

Positivo: un átomo (entendiéndose por tal una fórmula atómica).

Negativo: la negación de un átomo.

Se dice que dos literales son opuestos o complementarios si uno de ellos es la negación del otro. Si un literal se expresa como , su opuesto o complementario se puede expresar como , o bien como

De manera más precisa, si , entonces  es , y si , entonces   es .

Lógica de primer orden
Una lógica de primer orden, también llamada lógica predicativa, lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden. Los lenguajes de primer orden son, a su vez, lenguajes formales con cuantificadores que alcanzan solo a variables de individuo, y con predicados y funciones cuyos argumentos son solo constantes o variables de individuo.

La lógica de primer orden tiene un poder expresivo superior al de la lógica proposicional.
Campeonato de los Cuatro Continentes de Patinaje Artístico sobre Hielo de 2017
El XIX Campeonato de los Cuatro Continentes de Patinaje Artístico sobre Hielo se celebró en Gangneung (Corea del Sur) entre el 15 y el 16 de febrero de 2017 bajo la organización de la Unión Internacional de Patinaje sobre Hielo (ISU) y la Asociación Surcoreana de Patinaje sobre Hielo.

Las competiciones se realizaron en Arena de Hielo de la ciudad surcoreana.

Campeonato de los Cuatro Continentes de Patinaje Artístico sobre Hielo
El Campeonato de los Cuatro Continentes de Patinaje Artístico sobre Hielo es una competición de patinaje artístico sobre hielo a nivel internacional en la que pueden participar patinadores de las federaciones de África, América, Asia y Oceanía. Se efectúa anualmente desde 1999 y es organizado por la Unión Internacional de Patinaje sobre Hielo (ISU). Es la réplica de la ISU al Campeonato Europeo para los patinadores de los países no europeos.
Dookie
Dookie es el tercer álbum de estudio de la banda estadounidense Green Day. El álbum fue la primera colaboración de la banda con Rob Cavallo. Lanzado el 1 de febrero de 1994 bajo el sello Reprise Records en Estados Unidos, Dookie se convirtió en un éxito en todo el mundo, consiguiendo llegar al puesto número dos en el Billboard 200 estadounidense y logrando entrar en las listas de seis países más.

Fueron extraídos cinco sencillos: «Longview», la regrabada «Welcome to Paradise», «Basket Case», «She» y «When I Come Around». El disco es el más exitoso de Green Day en ventas hasta la fecha con 20 millones de copias vendidas en todo el mundo. Dookie ganó el premio Grammy al mejor álbum de música alternativa en 1995 y es el primer disco álbum de diamante que posee Green Day de 3.

En 2024, la Biblioteca del Congreso de Estados Unidos incluyó a Dookie en su Registro Nacional de Grabaciones por ser «cultural, histórica o estéticamente significativo».

Mike Dirnt
Michael Ryan Pritchard (Berkeley, California, 4 de mayo de 1972), conocido como Mike Dirnt, es un músico estadounidense, reconocido por ser el bajista de la banda de punk rock Green Day. Su nombre artístico era originalmente un apodo de sus amigos en la escuela primaria, ya que era el sonido que producía al tocar el bajo; un «dirnt, dirnt, dirnt» mientras tocaba las cuerdas.
Hang on to Each Other
Hang on to Each Other es el tercer EP de la banda canadiense de post-rock Thee Silver Mt. Zion Memorial Orchestra. Fue lanzado el 29 de abril de 2014 por Constellation Records.

El EP consta de dos remixes de electróncia/dance del tema Hang on to Each Other de su álbum Horses in the Sky publicado en 2005, y cuenta con la voz de Ariel Engle.

Horses in the Sky
Horses in the Sky es el cuarto álbum de la banda canadiense de post-rock, Thee Silver Mt. Zion Memorial Orchestra & Tra-La-La Band. El álbum fue lanzado como disco de vinilo el 7 de marzo de 2005 en Europa y el 21 de marzo de 2005 en Norteamérica, y en formato CD el 21 de marzo de 2005 en Europa y el 4 de abril de 2005 en Norteamérica. Este es el primer álbum de A Silver Mt. Zion en presentar líricas, un aspecto que la distingue del grupo Godspeed You! Black Emperor, banda con la cual está emparentada.
Batalla de Cruces
El combate naval de Cruces fue un enfrentamiento naval, ocurrido el sábado 22 de noviembre de 1828, entre los buques peruanos Presidente, Libertad y Peruviana y los buques grancolombianos Guayaquileña y Adela durante la Guerra grancolombo-peruana.El bloqueo de Guayaquil ejercido por la Marina de Guerra del Perú fue decisivo para la obtención del dominio marítimo y marca el fin de la campaña naval de la Guerra grancolombo-peruana.

Goleta
La goleta es un buque de vela de dos o más mástiles (las ha habido hasta de siete palos), siendo el mayor el de mesana, con el aparejo formado por velas áuricas (cangrejas y escandalosas) y velas de cuchillo (foques y velas de estay); es decir, velas dispuestas en el palo siguiendo la línea de crujía, de proa a popa, en vez de montadas en vergas transversales, como las velas cuadradas.
Muhammad III ibn al Husayn
Muhammad III ibn al-Husayn (en árabe: أبو عبد الله محمد الصادق باشا باي‎; Le Bardo, Túnez; 7 de febrero de 1813-Le Bardo, Túnez; 27 de octubre de 1882), conocido como Muhammad III al-Sadick y también por los franceses como Sadok Bey, fue bey de Túnez de la dinastía husainí de Túnez de 1859 a 1882.

Le Bardo (delegación)
Le Bardo es una delegación de la gobernación de Túnez en Túnez. En abril de 2014 tenía una población censada de 71 961 habitantes.

Se encuentra ubicada al noreste del país, junto al golfo de Túnez (mar Mediterráneo) y la capital del país, la ciudad de Túnez.
Sikorsky S-61R
El Sikorsky S-61R es un helicóptero bimotor usado en tareas de transporte o búsqueda y rescate. Versión desarrollada del S-61/SH-3 Sea King, el S-61R también fue construido bajo licencia por Agusta como AS-61R. El S-61R sirvió en la Fuerza Aérea de los Estados Unidos como CH-3C/E Sea King y como HH-3E Jolly Green Giant, y con la Guardia Costera de los Estados Unidos como H-3F “Pelican”.

Museo Nacional de la Fuerza Aérea de Estados Unidos
El Museo Nacional de la Fuerza Aérea de Estados Unidos (en inglés: National Museum of the United States Air Force, o NMUSAF) (antes United States Air Force Museum) es el museo oficial de la Fuerza Aérea de Estados Unidos y está situado en Wright-Patterson Air Force Base, en Riverside, cerca de Dayton, Ohio.

El NMUSAF es uno de los museos más grandes del mundo y el  museo más antiguo de la aviación militar. Tiene en exposición más de 400 aviones y misiles, la mayoría de ellos dentro del edificio. La entrada es gratuita.
Anagnórisis
La anagnórisis (del griego antiguo ἀναγνώρισις, «reconocimiento») o agnición es un recurso narrativo que consiste en el descubrimiento, por parte de un personaje o de otros, de datos esenciales sobre su identidad, sus seres queridos o su entorno, ocultos para él o ella hasta ese momento. La revelación altera la conducta del personaje y lo obliga a hacerse una idea más exacta de sí mismo y de lo que le rodea. También se produce anagnórisis cuando un personaje principal revela su identidad hasta entonces oculta o velada a otros personajes secundarios cambiando así la relación, normalmente de un nexo débil o inexistente (un mendigo o simple huésped) hacia un nexo fuerte (el hijo de un enemigo que clama venganza, el retorno de un rey por largo tiempo ausente, etc.), produciendo un punto de giro en la historia que la hace avanzar hacia su desenlace.

Recurso de la trama
Un recurso de la trama o mecanismo narrativo es cualquier técnica en una narrativa utilizada para avanzar la trama.

Un recurso de la trama cliché puede molestar al lector, y un dispositivo forzado o arbitrario puede confundirlo, causando una pérdida de la suspensión de la incredulidad. Sin embargo, un recurso de la trama bien elaborado, o uno que surge naturalmente del escenario o los personajes de la historia, puede ser completamente aceptado, o incluso pasar desapercibido para la audiencia.
Liga Nacional Superior de Voleibol Femenino 2014-15
La Liga Nacional Superior de Voleibol del Perú 2014-15 (oficialmente Liga Nacional de Voleibol Femenino "Copa Movistar" por razones de patrocinio), es la máxima competición de este deporte en el Perú, siendo esta su undécima edición. Su organización, control y desarrollo están a cargo de la Federación Peruana de Voleibol (FPV).

La Liga Nacional se inició el 28 de noviembre de 2014 con el partido entre Universidad César Vallejo y Latino Amisa. Todos los encuentros se llevarán a cabo en el Coliseo Manuel Bonilla de Miraflores. El campeón del certamen obtendrá la clasificación al Campeonato Sudamericano de Clubes de Voleibol Femenino de 2016.

Liga Peruana de Vóley Femenino
La Liga Peruana de Vóley Femenino (conocida como Liga Nacional Superior de Voleibol del Perú hasta la temporada 2023-2024) es la liga de la Primera División de Voleibol Femenino del Perú. Su organización, control y desarrollo están a cargo de la Federación Peruana de Voleibol (FPV).

Comenzó a disputarse en 2002 como sucesora de la División Superior Nacional de Voleibol (Disunvol) y con el objetivo de ser un sistema para enlazar los campeonatos distritales de Lima con los del interior del país. El primer equipo campeón fue el Regatas Lima, mientras que el actual campeón es Alianza Lima.
Avenida Río de Janeiro (Caracas)
Avenida Río de Janeiro es el nombre que recibe una arteria vial localizada en el área Metropolitana de la ciudad de Caracas al este del Distrito Metropolitano en jurisdicción del Estado Miranda (Municipios Baruta y Sucre) al centro norte del país sudamericano de Venezuela. Recibe ese nombre por la ciudad brasileña de Río de Janeiro.

Municipio Sucre (Miranda)
Sucre es un municipio ubicado en el noroeste del estado venezolano de Miranda. Con una superficie de 164 km², es el décimo municipio más pequeño del estado, y limita al Norte con el Estado La Guaira, al Sur con El Hatillo y Santa Lucía, al Este con Guarenas, y al Oeste con Chacao y Baruta. Está integrado en la conurbación denominada la Gran Caracas junto a Caracas, Distrito Capital; y los municipios mirandinos Chacao, El Hatillo, y Baruta. Está compuesto por cinco parroquias y ciudades: Caucagüita, Filas de Mariche, La Dolorita, Leoncio Martínez, y la capital, Petare.

Con 1.287.081 habitantes, es el municipio más poblado del estado. Con 420.610 habitantes, su capital es la ciudad más poblada del estado y la décima del país. Con una densidad poblacional de 4162,91, es el municipio más hacinado del estado.
Interés variable
Interés variable o tasa de interés variable, en economía y finanzas, es la tasa de interés que es variable a lo largo del tiempo y que establece la rentabilidad de los ahorros o el costo de un crédito o hipoteca. Se expresa generalmente como un porcentaje.

Rentabilidad económica
La rentabilidad económica mide la tasa de devolución producida por un beneficio económico (anterior a los intereses y los impuestos) respecto al capital total, incluyendo todas las cantidades prestadas y el patrimonio neto (que sumados forman el activo total). Además es totalmente independiente de la estructura financiera de la empresa.
Kenorland
Kenorland fue uno de los supercontinentes más tempranos sobre la Tierra. Se formó a finales del eón arcaico, hace unos 2720 millones de años por el acrecentamiento de los cratones neoarcaicos y la formación de una nueva corteza continental, fragmentándose hace unos 2480 millones de años, a principios del eón proterozoico.

Kenorland abarcaba lo que luego se convertiría en Laurentia (el corazón de las actuales Norteamérica y Groenlandia), Báltica (los actuales Escandinavia y países bálticos), Australia occidental y el Kalahari. Enjambres de zanjas volcánicas y su orientación paleomagnética así como la existencia de similares secuencias estatigráficas permiten su reconstrucción. El corazón de Kenorland, el Escudo báltico/Fenoscandio, traza su origen hace más de 3100 millones de años.

El cratón Yilgarn (la actual Australia occidental) contiene cristales de zircón en su corteza que datan de hace 4.400 millones de años.

Báltica
Báltica es el nombre dado por la paleogeología a un continente antiguo que surgió aproximadamente hace 1800 a 1900 millones de años durante el Paleoproterozoico, y que ahora se incluye en el cratón de Europa Oriental. Formaba parte del supercontinente Rodinia.

Sus dimensiones eran pequeñas en comparación con otros continentes como Laurencia o Gondwana.

Antes de su formación los tres fragmentos que ahora comprenden el cratón de los países de Europa Oriental se encontraban en diferentes lugares del planeta.
Gaby Álvarez
Gabriela Álvarez Larrayoz (Madrid, 10 de noviembre de 1922 - 8 de julio de 2013), conocida artísticamente como Gaby Álvarez, fue una actriz de teatro, cine, televisión, radio y doblaje española. Estudió en el Instituto Escuela y Colegio Concepción Arenal.

Chicho Ibáñez Serrador
Narciso Ibáñez Serrador (Montevideo, 4 de julio de 1935- Madrid, 7 de junio de 2019), más conocido como Chicho Ibáñez Serrador o Luis Peñafiel (el seudónimo con el que firmaba sus guiones), fue un director de cine y realizador de televisión, director teatral, actor y guionista uruguayo-español.

A lo largo de su vida, destacó por su contribución al cine fantástico y de terror en idioma español, así como por los numerosos programas que dirigió para Televisión Española, entre los que destacan Historias para no dormir, Historia de la frivolidad y Un, dos, tres... responda otra vez, entre otros. Era un reconocido admirador de Alfred Hitchcock, de quien intentó seguir sus pasos, según él mismo confesó.
Presidente de la Diputación Provincial de Córdoba
El presidente/a de la Diputación Provincial de Córdoba es el máximo cargo que se ocupa en dicha Institución. Actualmente desempeña el cargo, Salvador Fuentes Lopera (PP) cargo que ostenta desde el 30 de junio de 2023. El primero de la democracia fue Diego Romero Marín (UCD), que ocupó el cargo desde abril de 1979 a junio de 1983. La primera mujer en desempeñar el cargo fue, María Luisa Ceballos Casas (PP) que ostento el cargo entre junio de 2011 y junio de 2015.

Diputación Provincial de Córdoba
La Diputación Provincial de Córdoba es una institución pública que presta servicios directos a los ciudadanos y apoyo técnico, económico y tecnológico a los ayuntamientos de los 77 municipios de la provincia de Córdoba. Además, coordina algunos servicios municipales y organiza servicios de carácter supramunicipal. Tiene su sede central en la ciudad de Córdoba. Integran la Diputación Provincial, como órganos de Gobierno de la misma, el presidente, los vicepresidentes, la Junta de Gobierno y el Pleno.
Henao francés
Henao francés (en francés: Hainaut français; pronunciación en francés: /ɛno fʁɑ̃sɛ/) es una de las dos áreas de Francia que forman el departamento del Norte, que constituye su parte oriental. Se corresponde aproximadamente con el distrito de Avesnes-sur-Helpe (este), el distrito de Cambrai (suroeste) y el distrito de Valenciennes (noroeste).

Hasta el siglo XVII, fue parte integral del condado de Henao, gobernado por la Casa de Valois-Borgoña y más tarde por la Casa de Habsburgo. En una serie de guerras entre Francia y España, esta parte sur de Henao fue conquistada por Francia, junto con el adyacente Cambrésis, u obispado de Cambrai, al suroeste, y el sur de Flandes, que bordea el canal de la Mancha, al oeste. Juntos, estos formaron la provincia francesa de Flandes que, después de la Revolución francesa, se convirtió en el nuevo departamento del Norte.

Condado de Henao
El Condado de Henao (en francés: Comté de Hainaut, en neerlandés: Graafschap Henegouwen) era una región histórica en los Países Bajos. Se trataba de lo que hoy es la provincia belga de Henao y la parte sur del departamento francés Nord. En la época romana, Henao estaba situado en las provincias romanas de Galia Bélgica y Germania Inferior y habitada por tribus celtas, hasta que los pueblos germánicos sustituyeron y pusieron fin a la dominación romana imperial. Sus ciudades más importantes fueron Mons (Bergen), Cambrai (Kamerijk) y Charleroi. Hoy en día, el histórico condado de Henao está territorialmente dividido entre Bélgica y Francia.
Selski Pajar
Selski Pajar (del ruso: Сельский Пахарь) es un jútor del raión de Labinsk del krai de Krasnodar, en el sur de Rusia. Está situado en la orilla derecha del Griaznuja 1º, afluente del río Chamlyk, de la cuenca del río Kubán a través del Labá, 31 km al sureste de Labinsk y 173 km al sureste de Krasnodar, la capital del krai. Tenía 21 habitantes en 2010

Pertenece al municipio Voznesénskoye.

Raión de Labinsk
El raión de Labinsk (del ruso: Лабинский район) es uno de los treinta y siete raiones en los que se divide el krai de Krasnodar, en Rusia. Está situado en el área septentrional del krai. Limita al sur con el raión de Urup de la república de Karacháyevo-Cherkesia, al oeste con el raión de Mostovskói del krai de Krasnodar y el raión de Koshejabl de la república de Adiguesia, al norte con el raión de Kurgáninsk y al este con el raión de Novokubansk y el de Otrádnaya. Tenía una superficie de 1 843 km² y 37 313 habitantes en 2010. Su centro administrativo es Labinsk.

El raión se halla en la zona premontañosa de las vertientes septentrionales del Cáucaso. El río Labá constituye la frontera oriental del raión. Más al oeste, el distrito es surcado por la cuenca del Chamlyk, afluente del anterior.
Santa Elena (Río Seco)
Santa Elena es una localidad situada en el departamento Río Seco de la provincia de Córdoba, Argentina.

Se encuentra ubicada sobre la RN 9, a 149 km de la ciudad de Córdoba.

La principal actividad económica es la agricultura, siendo el principal cultivo la soja, y seguida por la ganadería. La industria está estrechamente relacionada con el campo, y la elaboración de lácteos posee un papel fundamental en la economía de la localidad. El turismo también tiene cierta relevancia debido a su cercanía con otros centros turísticos más importantes, ya que desde aquí se accede al cerro Colorado, lugar donde transcurrió gran parte de su vida Atahualpa Yupanqui.

Escala sismológica de Richter
La escala sismológica de Richter, también conocida como escala de magnitud local (ML), es una escala logarítmica que asigna un número para cuantificar la energía que libera un terremoto, denominada así en honor del sismólogo estadounidense Charles Francis Richter.

La sismología mundial usa esta escala para determinar las fuerzas de sismos de una magnitud entre 2,0 y 6,9 y de 0 a 400 kilómetros de profundidad. Aunque los medios de comunicación suelen confundir las escalas, para referirse a eventos telúricos actuales se considera incorrecto decir que un sismo «fue de magnitud superior a 7,0 en la escala de Richter», pues los sismos con magnitud superior a 6,9 se miden desde 1978 con la escala sismológica de magnitud de momento, por tratarse esta última de una escala que discrimina mejor en los valores extremos.
Colibri coruscans
El colibrí rutilante (Colibri coruscans), también denominado colibrí grande (en Argentina), chillón común o colibrí chillón (en Colombia), picaflor azul (en Chile), orejivioleta ventriazul (en Ecuador), oreja-violeta de vientre azul (en Perú), colibrí orejivioleta grande (en Venezuela), colibrí verde mayor o picaflor de cara azul, es una especie de ave apodiforme de la familia Trochilidae, perteneciente al género Colibri. Es nativo del norte y oeste de América del Sur.

John Gould
John Gould (14 de septiembre de 1804 – 3 de febrero de 1881) fue un naturalista y ornitólogo inglés.

La Gould League en Australia lleva su nombre en honor a sus contribuciones a la ornitología. Su identificación de los pinzones de Charles Darwin fue básica para el desarrollo de la teoría del origen de las especies.
Los Guindos
Los Guindos, también llamado Selene, es un barrio litoral perteneciente al distrito Carretera de Cádiz de la ciudad andaluza de Málaga, España. Según la delimitación oficial del ayuntamiento, limita al norte con los barrios de Santa Paula y San Carlos; al sur, con el polígono industrial La Térmica y el barrio de Almudena; al oeste, con el polígono industrial Los Guindos y Puerta Blanca; y al este con el mar.

El conjunto residencial del barrio fue construido mediante el Plan Parcial Guindos entre 1979 y 1982, en unos terrenos que ocupaba la antigua fábrica de hierros de la Compañía Minero Metalúrgica Los Guindos, de la que solo permanece en pie la chimenea de la fábrica.

En este barrio se encuentra el Centro cívico provincial.

La Térmica
La Térmica es un centro de creación y producción cultural contemporánea situado en la ciudad española de Málaga, gestionado por la Diputación de Málaga.

Como contenedor cultural y social tienen cabida todas las formas de expresión artística, desde las artes escénicas a la moda, pasando por el cine, las artes plásticas, la música, el diseño, la arquitectura, el urbanismo, el paisajismo o el pensamiento.

Así mismo ofrece un programa de residencias, talleres, formación y apoyo a creadores y emprendedores con aportación de recursos económicos, técnicos y humanos necesarios para garantizar el crecimiento profesional de los participantes.
Federación Paraguaya de Fútbol de Salón
La Federación Paraguaya de Fútbol de Salón es la entidad deportiva rectora del fútbol de salón o futsal en Paraguay, de acuerdo a las reglas oficiales de la Asociación Mundial de Futsal (AMF), así como esta encargada de organizar las respectivas selecciones nacionales en masculino y femenino para los diversos torneos internacionales donde participa.

Fue fundada el 5 de mayo de 1962. Reconocida por el Comité Olímpico Paraguayo, y cuenta también con el reconocimiento oficial de la Secretaría Nacional de Deporte.

Comité Olímpico Paraguayo
El Comité Olímpico Paraguayo (COP) es la entidad deportiva de Paraguay que atiende en el país todo lo relacionado con la aplicación de los principios que conforman la Carta Olímpica, conjunto de normas y reglamentaciones del Comité Olímpico Internacional (COI).

EL COP fue fundado y reconocido por el Comité Olímpico Internacional el año 1970 y su sede se encuentra en el barrio Ñu Guazú de la ciudad de Luque, cerca de la capital, Asunción. El Parque Olímpico se inauguró en 2017.
Iglesia católica en Cuba
La Iglesia católica está presente en Cuba, donde estima que el 41% de la población es católica. El territorio del país está dividido en once diócesis, tres de ellas con rango de arquidiócesis. El liderazgo espiritual de la nación tradicionalmente ha sido compartido entre el arzobispo de Santiago de Cuba (Primado de Cuba) y el arzobispo de San Cristóbal de La Habana.

Arquidiócesis de Camagüey
La arquidiócesis de Camagüey (en latín: Archidioecesis Camagueyensis) es una circunscripción eclesiástica de la Iglesia católica en Cuba. Se trata de una arquidiócesis latina, sede metropolitana de la provincia eclesiástica de Camagüey. Desde el 6 de diciembre de 2016 su arzobispo es Wilfredo Pino Estévez.