hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Constante lógica
En lógica, una constante lógica es una expresión que cuya presencia y posición determina la forma lógica de una proposición, y por extensión la validez o invalidez de los argumentos.

Dentro de un lenguaje formal con una semántica formal, una constante lógica es una expresión cuyo significado no varía con cada interpretación.

Semántica formal
La semántica formal es el estudio de las interpretaciones de los lenguajes formales. Los lenguajes formales pueden definirse sin necesidad de dar ningún significado a sus expresiones. Una interpretación de un lenguaje formal es básicamente una asignación de significados a sus símbolos, y de condiciones de verdad a sus fórmulas bien formadas.

Un objetivo importante de la construcción de una semántica formal para un lenguaje formal es la caracterización de la relación de consecuencia lógica en términos semánticos, y la demostración de metateoremas a partir de esa caracterización. Una vez definido lo que es una interpretación para un lenguaje formal, se dice que una fórmula A es una consecuencia semántica de un conjunto de fórmulas , si y sólo si para toda interpretación que hace verdaderas a las fórmulas en , A también es verdadera.
Minorías étnicas en Rumanía
Dentro del territorio de Rumania, existen una serie de diferentes comunidades étnicas, las cuales conviven con la comunidad mayoritaria rumana, con tradiciones culturales, lingüísticas y religiosas específicas. Las regiones con mayor diversidad étnica en Rumania son Transilvania, Banato, Bucovina y Dobruja. En aquellas áreas donde existe menor diversidad étnica, como por ejemplo Oltenia y Moldavia, se aprecia una menor apertura al pluralismo étnico y político.

Transilvania
Transilvania (en rumano: Transilvania o Ardeal, en húngaro: Erdély) es una región histórica del centro de Rumania. Está rodeada por los montes Cárpatos. La capital tradicional de la región, Cluj Napoca, se encuentra en la meseta de Alba Iulia, mientras que Braşov y Sibiu, dos de sus principales ciudades, están al pie de los Cárpatos. Fue el lugar de asentamiento de los alemanes que serían conocidos como los sajones de Transilvania. El escudo de armas se debe al origen alemán de la región (Siebenbürgen), o siete ciudades.
Lümati
Lümati es una aldea del municipio de Peipsiääre, en el condado de Tartu, Estonia, con una población censada a final del año 2011 de 66 habitantes.

Se encuentra ubicada al noreste del condado, cerca del río Emajõgi, de la orilla occidental del lago Peipus y de la frontera con Rusia y el condado de Jõgeva.

Condado de Jõgeva
El condado de Jõgeva (en estonio:  Jõgeva maakond) o  Jõgevamaa es el nombre de uno de los quince condados en los que está dividida administrativamente Estonia. Está situado en la parte oriental del país y limita con el condado de Ida-Viru al nordeste, el lago Peipus al este, el condado de Tartu al sur, el condado de Viljandi al suroeste, el condado de Järva al noroeste y el condado de Lääne-Viru al norte. Su capital es Jõgeva.
Koloreino
Koloreino es una aldea del municipio de Võru, en el condado de Võru, Estonia, con una población censada a final del año 2011 de 25 habitantes.

Se encuentra ubicada en el centro del condado, a poca distancia de la orilla sudoccidental del lago Peipus y de la frontera con Rusia, y al sur de la frontera con el condado de Põlva.

Lago Peipus
El lago Peipus (en estonio: Peipsi-Pihkva järv; en ruso: Псковско-Чудское озеро (Чудско-Псковское озеро, Chudsko-Pskóvskoie); en alemán: Peipussee) es un gran lago situado en la frontera entre Estonia y Rusia, en Europa del Este.

Es el cuarto mayor lago de Europa, tan sólo superado por los lagos Ládoga y Onega en el norte de Rusia, y el lago Vänern en Suecia. Le sigue en extensión el lago Saimaa en Finlandia.

Cubre una superficie de 3500 km² y tiene una profundidad media de 7 m; encontrándose su punto más profundo a 15 m bajo el nivel de sus aguas. El lago se utiliza para la pesca y las actividades recreativas, si bien sufre grandes deterioros medioambientales derivados de los complejos industriales rusos levantados en sus orillas.

En 1242, fue escenario de la batalla del Lago Peipus (conocida en Rusia como «La batalla del hielo») librada entre los caballeros teutones y los habitantes de la República de Nóvgorod liderados por Aleksandr Nevski.
Solfrid Koanda
Solfrid Eila Amena Koanda (Oulu, Finlandia, 13 de noviembre de 1998) es una deportista noruega que compite en halterofilia; campeona olímpica en París 2024, dos veces campeona mundial y cuatro veces campeona europea.

Oulu
Oulu (en sueco: Uleåborg) es una ciudad y municipio de Finlandia, capital de la región de Ostrobotnia del Norte, en la costa del Golfo de Botnia. Oulu tiene una población que ronda los 210.000 habitantes, lo que la hace la quinta ciudad más grande de Finlandia y la mayor y por ende más importante del norte del país. Cuenta con, por ejemplo, un parque tecnológico que alberga la Universidad de Oulu. Toda la provincia de Oulu constituía, desde el punto de vista geográfico, una zona de transición entre el norte y el sur finlandés, lo que es tanto como decir que supone la demarcación natural entre Laponia y la región meridional de los Lagos. En el 2013 los municipios de Kiiminki, Oulunsalo, Haukipudas y Yli-Ii se unieron a Oulu y formaron una nueva ciudad.
Obelisco de Constantino
El Obelisco de Constantino se encuentra en la parte sur del Hipódromo de Constantinopla, en Estambul, Turquía, junto a la Columna de las Serpientes. Con una altura de 32 metros, fue construido con bloques de piedra. Se desconoce la fecha exacta de su construcción, aunque se sabe que fue Constantino VII quien lo mandó restaurar en el siglo X. En aquella época, estaba decorado con placas de bronce que representaban las victorias de Basilio I, abuelo de Constantino VII. Además, contaba con una esfera en lo alto del mismo. Posteriormente, en 1204, durante la Cuarta Cruzada, se robaron las placas de bronce y se fundieron.

La superficie del obelisco se encuentra muy dañada, ya que los jóvenes jenízaros solían subir hasta lo más alto para demostrar sus habilidades. Por esto está derruida.

Jenízaros
Los jenízaros (en turco, yeniçeri, que significa "nuevas tropas" o "soldados") eran soldados de infantería con alto nivel de entrenamiento del Imperio otomano. Entre sus muchas misiones destacaba la de ser los encargados de la custodia y salvaguarda del sultán otomano, así como de las dependencias del palacio imperial de Edirne y, más tarde, del nuevo palacio imperial Topkapi de Estambul; eran considerados la guardia personal del sultán. El cuerpo fue creado por el bey Orhan I alrededor de 1330, y abolido en 1826 por decreto del sultán Mahmud II.
Ľubomír Ftáčnik
Ľubomír Ftáčnik (nacido el 30 de octubre de 1957 en Bratislava), es un jugador de ajedrez eslovaco, que tiene el título de Gran Maestro desde 1980. Ftáčnik fue Campeón de Europa juvenil en 1976/77 y se le otorgó el título de Maestro Internacional poco después, lo que supuso el inicio de una exitosa carrera como jugador en competiciones nacionales e internacionales.

Su máximo Elo fue de 2.618 puntos, en la lista de abril de 2001 (posición 69 en el ranking mundial).

Maestro internacional
El título de maestro internacional se otorga a los jugadores de ajedrez fuertes que están por debajo del nivel de gran maestro, pero por encima del nivel de maestro FIDE. Instituido junto con el título de gran maestro en 1950, es un título vitalicio, generalmente abreviado como MI en la literatura de ajedrez.
Robert Hoffstetter
Robert Julien Hoffstetter (11 de junio de 1908-29 de diciembre de 1999) fue un taxonomista y paleontólogo francés del siglo XX quien fue muy influyente en la categorización de los reptiles. Él realizó la denominación de las familias de serpientes Bolyeriidae y Madtsoiidae, aunque mucha de su investigación se enfocó en la fauna de mamíferos terciarios de América del Sur. Él fue uno de los pioneros de la cladística en Francia.

Madtsoiidae
Madtsoiidae son una familia extinta de serpientes de Gondwana con un  registro fósil que se extiende desde el Cenomaniense temprano (Cretácico superior) hasta  estratos del Pleistoceno superior ubicados en Sudamérica, África, India, Australia  y Europa meridional. Las serpientes madtsoidas incluyen serpientes muy primitivas, las cuales, como las boas y pitones existentes en la actualidad, matarían a su presa por constricción, tales como Gigantophis, una de las más largas serpientes conocidas con una longitud estimada de 10,70 metros, y las nombradas por la mitología aborigen australiana Wonambi y Yurlunggur.

Como una agrupación de formas basales la composición e incluso la validez de Madtsoiidae está en un estado de flujo mientras que se describen nuevos hallazgos pertinentes.
Rion Brown
Rion Brown (Hinesville,Georgia 3 de septiembre de 1991) es un jugador de baloncesto estadounidense que pertenece a la plantilla del ADA Blois de la Pro A francesa. Con 1,98 metros de estatura, juega en la posición de escolta. Es hijo del que fuera también jugador profesional Tico Brown.

Phoenix Brussels
El Brussels Basketball es un club de baloncesto profesional de la ciudad de Bruselas, que milita en la BNXT League, la nueva liga fruto de la fusión de la Dutch Basketball League neerlandesa y la Pro Basketball League belga. Disputa sus partidos en el Complexe Sportif de Neder-Over-Heembeek, con capacidad para 1200 espectadores.
Carwyn James
Carwyn Rees James (Cefneithin, 2 de noviembre de 1929-Ámsterdam, 10 de enero de 1983) fue un maestro, rugbista, entrenador, militar y locutor británico que se desempeñó como apertura. Fue internacional con los Dragones rojos en 1958 y técnico de los British and Irish Lions, siendo el único que venció a los All Blacks.

Es considerado uno de los mejores entrenadores de la historia y destacó por un estilo de juego siempre ofensivo y sugerencias en vez de órdenes. Desde 2015 es miembro del World Rugby Salón de la Fama.

Locutor
Un locutor es un profesional de la comunicación. Sus funciones abarcan desde presentar programas y narrar diferentes textos (noticias, informes, documentales, etc.), hasta ser la voz en off de comerciales; también incluyen la conducción de eventos.
Aeropuerto de Bharatpur
El Aeropuerto de Bharatpur (en nepalí: भरतपुर विमानस्थल) (IATA: BHR, OACI: VNBP) es un aeropuerto que sirve a Bharatpur, una ciudad en el distrito de Chitwan en la zona de Narayani en Nepal.

El aeropuerto se encuentra a 1 milla náutica (1,9 km) al suroeste de Bharatpu. Es operado por la Dirección de Aviación Civil de Nepal (CAAN) y es servido por Nepal Airlines, la aerolínea de bandera del país.

El aeropuerto de Bharatpur es el cuarto aeropuerto más congestionado del país.  Es la principal puerta de entrada a los turistas al Parque nacional de Chitwan, y crece rápido en términos de operaciones y de tráfico de pasajeros: la tendencia de los últimos cinco años muestra una tendencia de crecimiento rápido de movimientos de aviones y pasajeros.  Los datos hasta noviembre de 2005 muestran un crecimiento del 7,5% y del 17,6% respecto a los datos de 2004.

Distrito de Chitwan
El Distrito de Chitwan (en nepalí: चितवन जिल्ला) es uno de los 75 distritos de Nepal, localizado en el suroeste de la Pronvincia No. 3 con Bharatpur como sede central, la quinta ciudad más grande de Nepal. Posee un área de 2.238,39 kilómetros cuadrados, y en 2011 tenía una población de 579.984 habitantes (279.087 hombres y 300.897 mujeres).
Dag Hammarskjöld
Dag Hammarskjöld (pronunciaciónⓘ) (Dag Hjalmar Agne Carl Hammarskjöld; Jönköping, Suecia, 29 de julio de 1905-Ndola, Federación de Rodesia y Nyasalandia, 18 de septiembre de 1961) fue un político, economista y diplomático sueco, secretario general de la Organización de las Naciones Unidas (ONU) entre el 7 de abril de 1953 y el 18 de septiembre de 1961, momento en que falleció al estrellarse el avión en el que viajaba para mediar en el conflicto de Katanga en el Zaire o Congo Belga. Existen indicios de que el aparato de Hammarskjöld no sufrió un accidente, sino que fue derribado, pero la causa veraz del accidente es aún desconocida. Semanas después, el diplomático y funcionario internacional recibió a título póstumo el Premio Nobel de la Paz de 1961.

Organización para la Cooperación y el Desarrollo Económicos
La Organización para la Cooperación y el Desarrollo Económicos (OCDE; en inglés, Organisation for Economic Co-operation and Development, OECD; en francés, Organisation de Coopération et de Développement Économiques, OCDE) es un organismo de cooperación internacional compuesto por 38 Estados, cuyo objetivo es coordinar sus políticas económicas y sociales. La OCDE fue fundada en 1961 y su sede central se encuentra en el Château de la Muette en París (Francia). Los idiomas oficiales de la entidad son el francés y el inglés.

En la OCDE, los representantes de los países miembros se reúnen para intercambiar información y armonizar políticas con el objetivo de maximizar su crecimiento económico y colaborar a su desarrollo y al de los países no miembros.

Conocida como «club de los países ricos», a partir de 2017, sus países miembros comprendieron colectivamente el 62.2 % del PIB nominal global (USD 49.6 billones) y el 42,8 % del PIB global (Int 54.2 billones).
Aeroclub Allen
El Aeroclub Allen (OACI: ? - FAA: ALL) es un aeroclub ubicado en la ciudad de Allen, provincia de Río Negro, Argentina.

Ubicado a 1500 m al norte la ciudad, fue inaugurado el 15 de mayo de 1958. Se realizan vuelos de bautismo, vuelos a vela, instrucciones y entrenamientos.

Organización de Aviación Civil Internacional
La Organización de Aviación Civil Internacional (OACI o ICAO por sus siglas en inglés) es una agencia especializada de la Organización de las Naciones Unidas creada en 1944 por el Convenio sobre Aviación Civil Internacional para estudiar los problemas de la aviación civil internacional y promover los reglamentos y normas únicos en la aeronáutica mundial. La dirige un consejo permanente con sede en Montreal, Canadá.
Estación Hospital São Paulo
La estación Hospital São Paulo es una estación de la Línea 5-Lila del Metro de São Paulo. Inaugurada el 28 de septiembre de 2018, es parte de la expansión de la línea hasta la estación Chácara Klabin de la Línea 2-Verde el 28 de septiembre de 2018. Facilitará el acceso a las dependencias de la Universidade Federal de São Paulo (Unifesp), así como al Hospital São Paulo.

Estación de Vicente Aleixandre
Vicente Aleixandre (hasta noviembre de 2018 llamada Metropolitano) es una estación de la línea 6 del Metro de Madrid situada bajo la Avenida de Gregorio del Amo, en el distrito de Moncloa-Aravaca, si bien uno de sus accesos está en el distrito de Chamberí.
Léo Bergère
Léo Bergère (Le Pont-de-Beauvoisin, 28 de junio de 1996) es un deportista francés que compite en triatlón.

Participó en dos Juegos Olímpicos de Verano, en los años 2020 y 2024, obteniendo una medalla de bronce en París 2024, en la prueba individual.

Ganó cuatro medallas en el Campeonato Mundial de Triatlón entre los años 2020 y 2024, dos medallas de oro en el Campeonato Mundial de Triatlón por Relevos Mixtos, en los años 2019 y 2020, y tres medallas en el Campeonato Europeo de Triatlón, en los años 2019 y 2022.

Además, obtuvo una medalla de bronce en el Campeonato Mundial de Triatlón de Velocidad de 2022 y una medalla de bronce en el Campeonato Mundial de Ironman 70.3 de 2024.

Campeonato Europeo de Triatlón de 2019
El XXXV Campeonato Europeo de Triatlón se celebró en Weert (Países Bajos) entre el 31 de mayo y el 2 de junio de 2019 bajo la organización de la Unión Europea de Triatlón (ETU) y la Federación Neerlandesa de Triatlón.
Hyde Park (Nuevo México)
Hyde Park es un lugar designado por el censo ubicado en el condado de Santa Fe en el estado estadounidense de Nuevo México. En el Censo de 2020 tenía una población de 285 habitantes y una densidad poblacional de 51,82 habitantes por km². Fue incluido como CDP en el censo de 2020.

Condado de Santa Fe
El condado de Santa Fe es uno de los 33 condados del estado estadounidense de Nuevo México. La capital del condado, y su mayor ciudad es Santa Fe. Este condado posee un área de 4949 km² (4 km² están cubiertos por agua), una población de &&&&&&&&&0129292.&&&&&0129 292 habitantes, su densidad de población es de 26 hab/km² (según el censo nacional de 2000). El condado fue fundado en 1852.
Patjala
Patjala es una localidad del municipio de municipio de Jõgeva en el condado de Jõgeva, Estonia, con una población censada a final del año 2011 de 41 habitantes.

Se encuentra ubicada en el centro del condado, a poca distancia al oeste del lago Peipus, al sur del condado de Lääne-Viru y al norte del condado de Tartu.

Lago Peipus
El lago Peipus (en estonio: Peipsi-Pihkva järv; en ruso: Псковско-Чудское озеро (Чудско-Псковское озеро, Chudsko-Pskóvskoie); en alemán: Peipussee) es un gran lago situado en la frontera entre Estonia y Rusia, en Europa del Este.

Es el cuarto mayor lago de Europa, tan sólo superado por los lagos Ládoga y Onega en el norte de Rusia, y el lago Vänern en Suecia. Le sigue en extensión el lago Saimaa en Finlandia.

Cubre una superficie de 3500 km² y tiene una profundidad media de 7 m; encontrándose su punto más profundo a 15 m bajo el nivel de sus aguas. El lago se utiliza para la pesca y las actividades recreativas, si bien sufre grandes deterioros medioambientales derivados de los complejos industriales rusos levantados en sus orillas.

En 1242, fue escenario de la batalla del Lago Peipus (conocida en Rusia como «La batalla del hielo») librada entre los caballeros teutones y los habitantes de la República de Nóvgorod liderados por Aleksandr Nevski.
Cerro Julie
El cerro Julie es una montaña en Chile que se encuentra ubicada en el parque nacional Bernardo O'Higgins en la comuna de Natales, provincia de Última Esperanza en la región de Magallanes y Antártica Chilena.

Natales
Natales es una comuna de la zona austral de Chile, ubicada en la Provincia de Última Esperanza, Región de Magallanes y de la Antártica Chilena. Es la comuna más extensa del territorio continental chileno. Su capital es la ciudad de Puerto Natales.
Municipio de Center (condado de Hendricks)
El municipio de Center (en inglés: Center Township) es un municipio ubicado en el condado de Hendricks en el estado estadounidense de Indiana. En el año 2010 tenía una población de 12167 habitantes y una densidad poblacional de 101,62 personas por km².

Condado de Hendricks
El condado de Hendricks (en inglés: Hendricks County), fundado en 1824, es uno de 92 condados del estado estadounidense de Indiana. En el año 2000, el condado tenía una población de 104 093 habitantes y una densidad poblacional de 98 personas por km². La sede del condado es Danville. El condado recibe su nombre en honor a William Hendricks. El condado forma parte del área metropolitana de Indianápolis.
Alcides Mendoza Castro
Alcides Mendoza Castro  (Mariscal Cáceres, 14 de marzo de 1928 - Lima, 20 de junio de 2012) fue un sacerdote y Arzobispo peruano que ocupó las cátedras de Abancay, el Ordinariato castrense del Perú y del Cusco.

Arquidiócesis del Cusco
La arquidiócesis del Cusco (en latín: Archidioecesis Cuschensis) es una circunscripción eclesiástica de la Iglesia católica en Perú. Se trata de una arquidiócesis latina, sede metropolitana de la provincia eclesiástica del Cusco. Desde el 28 de octubre de 2014 su arzobispo es Richard Daniel Alarcón Urrutia.
Thompsoniana udei
Thompsoniana udei es una especie de escarabajo longicornio del género Thompsoniana, tribu Callichromatini, orden Coleoptera. Fue descrita científicamente por Schmidt en 1922.

El período de vuelo ocurre durante los meses de febrero, marzo, abril, mayo y junio.

Callichromatini
Los calicromatinos (Callichromatini) es una  tribu de coleópteros crisomeloideos dentro de la familia Cerambycidae. Comprende  más de 40 géneros distribuidos en todos los continentes excepto la Antártida. La mayor diversidad de la tribu se encuentra en el sudeste de Asia.
Convento de San Hipólito
El convento de San Hipólito fue un antiguo convento de Nueva España fundado en el siglo XVI, hoy solamente un inmueble histórico ubicado en el Centro de la Ciudad de México. Ha fungido como hospital psiquiátrico, refugio de piratas durante la Colonia y de insurgentes durante la Independencia de México, sede de la Inquisición, Vecindad y actualmente el recinto se encuentra protegido por el INBA.

Vecindad (unidad habitacional)
Una vecindad es un tipo de vivienda multifamiliar que consiste normalmente en pequeñas casas ubicadas a los lados de un pasillo o patio central, lo habitual es que sean edificaciones de una sola planta, aunque ocasionalmente pueden ser construcciones de dos o más pisos. Según el Diccionario del español de México, además de tener un patio común, las familias que habitan una vecindad en ocasiones comparten «algunos otros servicios». Este tipo de vivienda es muy común en la Ciudad de México, aunque su nombre varía de país en país.
Goincourt
Goincourt  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 Beauvais-Sud-Ouest.

Está integrada en la Communauté d'agglomération du Beauvaisis.

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.
Saint-Amand-des-Hautes-Terres
Saint-Amand-des-Hautes-Terres era una comuna francesa situada en el departamento de Eure, de la región de Normandía, que el 1 de enero de 2016 pasó a ser una comuna delegada de la comuna nueva de Amfreville-Saint-Amand al fusionarse con la comuna de Amfreville-la-Campagne.

Región de Normandía
Normandía (en francés: Normandie; en normando: Normaundie) es una de las trece regiones que, junto con los territorios de ultramar, conforman la República Francesa. Su capital administrativa es Ruan y la política, Caen, sede del Consejo regional. Está ubicada al noroeste del país, limitando al oeste y norte con el canal de la Mancha, al este con Alta Francia, Isla de Francia y Centro-Valle del Loira, al sur con Países del Loira y al suroeste con Bretaña. Con 29 906 km² es la cuarta región menos extensa, por delante de Bretaña, Isla de Francia y Córcega.

Se creó por la reforma territorial de 2014,  fusionándose Alta Normandía y Baja Normandía; entró en vigor el 1 de enero de 2016. Reproduce en gran medida los límites territoriales de la antigua provincia de Normandía.
Atención curativa
La atención curativa o medicina curativa es la atención médica que se brinda para afecciones médicas en las que se considera que una cura se puede lograr, o incluso posiblemente, y está dirigida a este fin. El cuidado curativo se diferencia del cuidado preventivo, que tiene como objetivo prevenir la aparición de enfermedades a través de productos farmacéuticos y técnicas como la inmunización, el ejercicio, hábitos alimenticios adecuados y otras cuestiones relacionadas con el estilo de vida, y del cuidado paliativo, que se concentra en reducir la gravedad de los síntomas, como dolor.

Remedio
Un «remedio» es cualquier recurso o medio de orden químico, físico o psicológico utilizado para producir un cambio favorable en las enfermedades ya sea para aliviarlas o sanarla. Dentro de los recursos químicos se incluye el uso de medicamentos.
Hospital Universitario Germans Trias i Pujol
El Hospital Universitario Germans Trias i Pujol es un centro sanitario público ubicado al pie de la Sierra de la Marina, en el municipio de Badalona. Está construido sobre unos terrenos de propiedad municipal, que antiguamente eran una finca llamada Can Ruti, nombre como se conoce popularmente al hospital. El nombre oficial del hospital le fue dado para honrar la memoria de dos hermanos badaloneses, cirujanos y catedráticos: Joaquim Trias i Pujol (1888-1964) y Antoni Trias i Pujol (1892-1970).

Sierra de la Marina
La sierra de la Marina es una cadena montañosa perteneciente a la cordillera Litoral catalana. Con una extensión de 2086 hectáreas, este espacio constituye un elemento muy notable por su gran interés ecológico, cultural y paisajístico, incrementado todavía más por su situación contigua a una de las áreas más densamente pobladas de la región metropolitana de Barcelona.