hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Forma normal disyuntiva
En lógica booleana, una forma normal disyuntiva (FND) es una estandarización (o normalización) de una fórmula lógica que es una disyunción de cláusulas conjuntivas, o sea, una disyunción de minitérminos . Como una forma normal, es útil en la demostración automática de teoremas. Una fórmula FND está en forma normal disyuntiva completa si cada una de sus variables aparece exactamente una vez en cada cláusula.

Al igual que en forma normal conjuntiva (FNC), los únicos operadores proposicionales en FND son la conjunción, disyunción y negación. Una negación solo se puede aplicar a un literal, lo que significa que solo puede preceder a una variable proposicional. Por ejemplo, todas las siguientes fórmulas están en FND:

Sin embargo, las siguientes fórmulas no están en FND:

(la negación se aplica a una cláusula disyuntiva, no a un literal).

(una disyunción está anidada a una conjunción).

Cláusula (lógica)
En lógica matemática, una cláusula es una expresión formada por una colección finita de literales (variables o sus negaciones) que es verdadera cuando es verdadero al menos uno de los literales que la forman. En lógica proposicional, normalmente las cláusulas son descritas como una disyunción de literales :

Análogamente, se llama cláusula conjuntiva a una conjunción de literales:
Peter Blume
Peter Blume (27 de octubre de 1906 - 30 de noviembre de 1992) fue un pintor y escultor estadounidense. Sus obras contienen elementos del arte folclórico, precisionismo, purismo parisino, cubismo y surrealismo.

Precisionismo
El precisionismo, también llamado realismo cubista, fue un movimiento artístico desarrollado en Estados Unidos en los años 1920. Los precisionistas aglutinaron la composición cubista con la estética futurista, aplicada a una iconografía inspirada en los ambientes rurales e industriales norteamericanos. El término fue acuñado por el pintor y fotógrafo Charles Sheeler, que describió así su estilo pictórico, de gran detallismo y precisión. Sheeler recibió la influencia de Cézanne, Matisse, Picasso y Braque, y junto a Morton Schamberg, otro de los exponentes del movimiento, desarrollaron una imaginería basada en la maquinaria agrícola, que plasmaban en obras de aspecto casi fotográfico. Otros artistas fueron Charles Demuth, Preston Dickinson, Georgia O'Keefe, Louis Lozowick y Ralston Crawford. Algunos precisionistas pasaron posteriormente al dadaísmo estadounidense, y el movimiento influenció a otras corrientes artísticas estadounidenses posteriores, como el pop-art y el hiperrealismo.
Soichi Hashimoto
Soichi Hashimoto (en japonés: 橋本壮市, Hashimoto Soichi; Shizuoka, 24 de agosto de 1991) es un deportista japonés que compite en judo.

Participó en los Juegos Olímpicos de París 2024, obteniendo dos medallas, plata en el equipo mixto y bronce en la categoría de –73 kg.

Ganó cinco medallas en el Campeonato Mundial de Judo entre los años 2017 y 2023, y dos medallas en el Campeonato Asiático de Judo, en los años 2015 y 2016. En los Juegos Asiáticos de 2022 obtuvo una medalla de plata en la categoría de –73 kg.

Campeonato Mundial de Judo
El Campeonato Mundial de Judo es la competición de judo más importante a nivel internacional. Es organizado anualmente desde 1956 por la Federación Internacional de Judo (IJF). El primer campeonato para las mujeres se realizó en 1980 y por cuatro ediciones se realizaron separadamente de los masculinos.

Japón es el país más exitoso en estos campeonatos, ha conseguido 168 títulos mundiales y 403 medallas en total. Le siguen Francia con 60 títulos y 184 medallas y Corea del Sur con 32 títulos y 108 medallas. De los países hispanohablantes, los que más medallas han ganado son Cuba (80 medallas y 19 títulos) y España (30 medallas y 5 títulos).
Khotso Sethunsa
Khotso Sethuntsa (1898–1972) fue un herbolario africano que vivió en la ciudad de Lusikisiki, en el Cabo Oriental. A mediados del siglo XX, se lo percibía como un hombre poderoso cuya riqueza fue acumulada a través de su relación con los espíritus del agua, viviendo con su propia sirena serpentina personal en xhosa como uMam'Mlambo y una serpiente/dragón de río . Existe poca evidencia material que respalda sus poderes sobrenaturales; solo existen relatos orales que describen sus talentos. Lo que era ampliamente conocido entre los sudafricanos nativos de la época era que era millonario, tenía 23 esposas y una clientela extensa que incluía a JG Strijdom y Hendrik Verwoerd. : 195

Leviatán
Leviatán (del hebreo לִוְיָתָן, liwyatan, enrollado) es una bestia marina gigante narrada en la Biblia. Su creación por Dios se encuentra en el Génesis y Job describe su aspecto físico con semejanzas a un dragón.

De su boca salen hachones de fuego; centellas de fuego proceden. De sus narices sale humo, como de una olla o caldero que hierve. Su aliento enciende los carbones, y de su boca sale llama.
Job 41:19-22

En los cultos satánicos, se considera uno de los demonios principales que conforma la trinidad demoníaca junto a Lucifer y Belial.
Ehrwald
Ehrwald es una localidad del distrito de Reutte, en el estado de Tirol, Austria, con una población estimada a principio del año 2018 de 2593 habitantes.

Se encuentra ubicada al noroeste del estado, al oeste de la ciudad de Innsbruck —la capital del estado— y cerca de las montañas alpinas de Wetterstein y Tannheim, y de la frontera con Alemania (estado de Baviera).

Distrito de Reutte
El distrito de Reutte es un distrito político del estado de Tirol (Austria). La capital del distrito es la ciudad de Reutte.

El distrito limita con Baviera (Alemania) al norte, con los distritos de Imst y Landeck al sur, y al oeste con los distritos de Bregenz y Bludenz.

Desde el punto de vista geográfico, el distrito incluye los valles de Lechtal, Tannheimer Tal y Zwischentoren. Entre las cadenas montañosas que se encuentran en el distrito están los Alpes Lechtal, las montañas Wetterstein, los Alpes Allgäu y las montañas Tannheim. Entre los lagos destacan el Plansee, el Heiterwanger See, el Haldensee, y el Vilsalpsee.
Valentina Rodini
Valentina Rodini (Cremona, 28 de enero de 1995) es una deportista italiana que compite en remo.

Participó en dos Juegos Olímpicos de Verano, en los años 2016 y 2020, obteniendo una medalla de oro en Tokio 2020, en la prueba de doble scull ligero. Ganó cuatro medallas en el Campeonato Europeo de Remo entre los años 2020 y 2024.

Campeonato Europeo de Remo de 2020
El XIV Campeonato Europeo de Remo se celebró en Poznań (Polonia) entre el 9 y el 11 de octubre de 2020 bajo la organización de la Federación Internacional de Sociedades de Remo (FISA) y la Federación Polaca de Remo.

Las competiciones se realizaron en el canal de remo del Lago Malta, al este de la ciudad polaca.
Juan Antonio Arguelles Rius
Juan Antonio Arguelles Rius (2 de noviembre de 1978 – 3 de junio de 2007), también conocido como Arguru o Argu, fue un prolífico programador de software de música y músico electrónico, productor y compositor, responsable del desarrollo de aplicaciones como NoiseTrekker y DirectWave. Trabajó para la compañía discoDSP y fue más tarde contratado por la compañía Image-Line, en la cual participó en el desarrollo de Deckadance y FL Studio 7. Arguru falleció durante un accidente automovilístico el 3 de junio de 2007.

Estación de trabajo de audio digital
Una estación de trabajo de audio digital (EAD) o DAW por sus siglas en inglés (Digital Audio Workstation) es un sistema electrónico dedicado a la grabación y edición de audio digital por medio de un software de edición de audio; y del hardware compuesto por un ordenador y una interfaz de audio digital, encargada de realizar la conversión analógica-digital y digital-analógico dentro de la estación.

Las EAD son utilizadas actualmente en casi toda la Producción discográfica a nivel mundial y para la posproducción de sonido para cine, televisión y videojuegos. Debido a su relativa facilidad de adquisición, están presentes tanto a nivel profesional como a nivel aficionado, dando origen a la popularización de los estudios caseros de sonido.

Por otro lado el término DAW es utilizado a menudo para referirse solamente al género de software utilizado dentro de la estación de trabajo.
Tyler Hamilton
Tyler Hamilton (Marblehead, Massachusetts, 1 de marzo de 1971) es un exciclista estadounidense, profesional desde 1995 hasta 2009. Su carrera se vio marcada por numerosos escándalos de dopaje que protagonizó, que terminarían forzando su retirada, pero sobre todo será recordado por conseguir una de las mayores hazañas de la historia del deporte: Ganar una etapa del Tour de Francia con la clavícula rota.

Eufemiano Fuentes
Eufemiano Fuentes Rodríguez (Las Palmas de Gran Canaria, 20 de febrero de 1955) es un médico español, especializado en medicina deportiva y ginecología. Su labor como médico deportivo ha sido controvertida desde sus inicios, con constantes sospechas de dopaje, confirmadas por la Operación Puerto. En esta operación la Guardia Civil abre atestado por la presunta comisión de actos de dopaje durante el período 2002-2006. La figura del dopaje fue introducida en España a raíz de la entrada en vigor de la L.O. 7/2006, de 21 de noviembre, el 22 de febrero de 2007, razón por la que las prácticas del Dr. Fuentes eran, en ese momento, legales. 
La Audiencia Provincial de Madrid, en fecha 10 de junio de 2016, dictó sentencia por la que se absuelve a Eufemiano Fuentes de los delitos imputados, al señalar que la sangre no es ningún medicamento, tal y como señala la Ley Española, por lo que su actividad no es constitutiva de delito.
Pedro Alonzo
Pedro Agustín Alonzo Retamal, también conocido con el seudónimo Vitalicio Ulloa (Collico, Puerto Saavedra, 28 de agosto de 1929—San Miguel, Santiago, 21 de marzo de 2014) fue un profesor, poeta, dramaturgo, pintor y escritor chileno.

San Fernando (Chile)
San Fernando es una comuna y ciudad de la zona central de Chile, ubicada en la Región del Libertador General Bernardo O'Higgins. Es capital de la actual provincia de Colchagua. Entre 1826 y 1976 fue capital de la Provincia de Colchagua y del departamento de San Fernando.

La comuna de San Fernando integra junto con las comunas de Chimbarongo, Las Cabras, Peumo, Pichidegua, San Vicente, Chépica, La Estrella, Litueche, Lolol, Marchigüe, Nancagua, Navidad, Palmilla, Paredones, Peralillo, Pichilemu, Pumanque, Placilla y Santa Cruz el distrito electoral N.º 16 y pertenece a la 8.ª circunscripción senatorial (O'Higgins).
Bundesstraße 317
La Bundesstraße 317 (literalmente: Carretera Federal 317 - abreviación: B 317) es una Bundesstraße de 68 kilómetros en el sur de Baden-Wurtemberg, Alemania. Va desde Weil am Rhein cerca del trifinio de Alemania, Francia y Suiza a Titisee-Neustadt en la Alta Selva Negra.

La creación de esta carretera fue vital para el desarrollo turístico de la región, sobre todo de la Selva Negra.

Trifinio
Un trifinio o tripunto es un punto geográfico donde convergen las fronteras terrestres de tres países o entidades subnacionales. Por lo general se considera que hay 157 tripuntos internacionales, muchos de ellos marcados con señalamientos especiales o monumentos, llamados hitos.

Cuantos más países vecinales tenga determinada nación, por lo general más trifinios tiene. China con catorce y Rusia con doce de ellos encabezan la lista. En Europa, Austria tiene nueve. Países insulares como Madagascar y Japón carecen de ellos al no tener fronteras terrestres. De la misma manera, países como Portugal y Dinamarca, que solo hacen frontera con un país, tampoco tienen tales puntos. Estados Unidos, a pesar de tener dos países vecinos, tampoco tiene trifinios internacionales, pero sí varios entre estados suyos.
Luis Chirinos
Luis Guillermo Chirinos Santana. (Maracay, Estado Aragua, Venezuela, 22 de abril de 1990). Es un beisbolista profesional venezolano que actúa como lanzador. Fue firmado por GCL Marlins from DSL Marlins el 26 de mayo de 2009, también ha jugado en equipos de LVBP iniciando su actuación con los Bravos de Margarita el 11 de octubre de 2010 donde jugó hasta el 2016 en 2017. Fue firmado por Los Tigres de Aragua, en 2018 fue cedido a Las Águilas del Zulia, en 2019 formó parte de Caribes de Anzoategui, luego, en 2020, fue llamado por Leones del Caracas. El 2021 firmó con Cardenales de Lara, en la MLBi pasó por Washington Nationals, 	Los Angeles Dodgers, New York Mets.

Caribes de Anzoátegui
Caribes de Anzoátegui es un equipo de béisbol venezolano perteneciente a la Liga Venezolana de Béisbol Profesional. Fundado en 1987 como Caribes de Oriente, disputa sus partidos en el Estadio Alfonso “Chico” Carrasquel  de la ciudad de Puerto La Cruz - Estado Anzoátegui. Su creación viene dada luego de la segunda expansión de la LVBP en 1990, conjuntamente con los Petroleros de Cabimas. Han quedado campeones en cuatro oportunidades.
Pablo Echenique
Pablo Echenique Robba (Rosario, Santa Fe, Argentina, 28 de agosto de 1978) es un físico teórico y político español y argentino. Fue secretario de Organización de Podemos hasta junio de 2019 y secretario general de Podemos Aragón entre 2015 y 2017, siendo en la actualidad secretario de Acción de Gobierno, Institucional y Programa de Podemos. Fue elegido eurodiputado por esta formación política en las elecciones de 2014, candidato a la presidencia de Aragón en 2015, y fue  diputado en las XIII y XIV legislatura de las Cortes Generales por Zaragoza, donde ejerció el cargo de portavoz del Grupo confederal de Unidas Podemos-En Comú Podem-Galicia en Común.

Cortes Generales
Las Cortes Generales son el Parlamento español, constituido y regulado en el Título III de la Constitución. Representan al pueblo español, teniendo una configuración bicameral asimétrica. Se componen del Senado —la Cámara Alta—, de representación territorial, y el Congreso de los Diputados —la Cámara Baja—, de representación popular proporcional.

En representación del pueblo español, ejercen los aspectos esenciales de la soberanía nacional: poseen la potestad legislativa, aprueban los presupuestos públicos, controlan la acción del Gobierno y desempeñan el resto de funciones que les atribuye la Constitución.

El Congreso de los Diputados y el Senado regulan su funcionamiento cada una por medio de reglamentos.
Bowiea
Bowiea es un género monotípico  de plantas herbáceas, perennes y bulbosas perteneciente a la subfamilia de las escilóideas dentro de las asparagáceas. Su única  especie: Bowiea volubilis,  habita en África.

Asparagaceae
Las asparagáceas (nombre científico Asparagaceae) son una familia de plantas monocotiledóneas perteneciente al orden Asparagales. La familia es reconocida por sistemas de clasificación modernos como el sistema de clasificación APG III.
Kõpu (Põltsamaa)
Kõpu es una localidad del municipio de municipio de Põltsamaa en el condado de Jõgeva, Estonia, con una población censada a final del año 2011 de 36 habitantes.

Se encuentra ubicada al oeste del condado, al norte del lago Võrtsjärv y de los condados de Viljandi y Tartu, al sur del condado de Järva y cerca de la carretera Tallin-Tartu (en estonio: Tallin-Tartu maantee).

Condado de Järva
El condado de Järva (en estonio: Järva maakond) o Järvamaa es el nombre de uno de los quince condados en los que está dividida administrativamente Estonia. Está situado en la parte central del país y limita con el condado de Lääne-Viru al este, el condado de Jõgeva al sureste, el condado de Viljandi al sur, el condado de Pärnu al suroeste, el condado de Rapla al oeste y el condado de Harju al norte. Su capital es Paide.
Omar Yepes
Omar Yepes Álzate (Pijao, Quindio, 25 de julio de 1937) es un abogado y político colombiano.

Fue senador de la República de Colombia por más de 30 años. Expresidente del Partido Conservador Colombiano, fue uno de los artífices de la coalición política “Yepobarquista” en el departamento de Caldas.

Quindío
Quindío es uno de los treinta y dos departamentos que forman la República de Colombia. Su capital es Armenia. Está ubicado en el centro-oeste del país, en la región andina. Con 1845 km² es el segundo departamento menos extenso —por delante de San Andrés y Providencia— y con 306 hab/km², el tercero más densamente poblado, por detrás de San Andrés y Providencia y Atlántico. Pertenece al eje cafetero y a la región paisa.
Wittenbergen
Wittenbergen es un municipio situado en el distrito de Steinburg, en el estado federado de Schleswig-Holstein (Alemania), con una población a finales de 2016 de unos 164 habitantes.

Se encuentra ubicado al oeste del estado, cerca de la desembocadura del río Elba en el mar del Norte y al noroeste de la ciudad de Hamburgo.

Distrito de Steinburg
El Distrito de Steinburg (en alemán: Kreis Steinburg) es un Landkreis (distrito) del estado federal de Schleswig-Holstein (Alemania). El distrito pertenece a la Región Metropolitana de Hamburgo y tiene como capital a Itzehoe.
Avanti (automóvil)
El Avanti (incluido el Avanti II) es un cupé de alto rendimiento estadounidense basado en el Studebaker Avanti, que fue comercializado a través de una sucesión de cinco acuerdos de propiedad diferentes entre 1965 y 2006.

Después de que Studebaker cerrara su fábrica de South Bend (Indiana) el 20 de diciembre de 1963, la empresa dejó de producir el automóvil con el año modelo de 1964. Sin embargo, gracias a un acuerdo con un productor independiente que adquirió los derechos necesarios, se siguieron fabricando automóviles que llevaban la placa de identificación Avanti, inicialmente a partir de componentes sobrantes de Studebaker, y más tarde a través de la Avanti Motor Company que utilizó chasis y motores de origen General Motors y Ford. Se fabricó un volumen pequeño y a menudo discontinuo de estos automóviles cada vez más modificados, antes de que cesara toda la producción en 2006.

Ford Motor Company
Ford Motor Company (más conocida simplemente como Ford) es un fabricante de automóviles con sede central en Dearborn (Míchigan), Estados Unidos. Se ha expandido a nivel mundial destacándose principalmente por la producción de automóviles, vehículos comerciales y de carreras. La compañía tiene presencia a nivel mundial, a través de sus subsidiarias en el resto de América, Europa y Asia.
Deltatheridium
Deltatheridium es uno de los primeros géneros de mamíferos metaterios. Vivía en lo que hoy es Mongolia durante finales del Cretácico. Es un metaterio basal, clasificado cerca del comienzo del linaje que conduce a los marsupiales, como los canguros, el koala y las zarigüeyas.

Tenía una longitud de 15 cm. Aparte de cazar insectos, su alimentación también se componía de lagartijas, huevos y carroña, usando principalmente sus dientes caninos afilados.

Diente canino
Los dientes caninos (o como los llaman vulgarmente: colmillos) (también columelar, canero, o canil) están situados entre ambas arcadas dentarias delimitando el sector anterior del posterior. Se sitúan distalmente a los primeros premolares y mesialmente a los incisivos laterales. Existen dos caninos superiores y dos inferiores.

Su función principal es la de desgarrar carne.
Podskwarne
Podskwarne es un pueblo de Polonia, en Mazovia.  Se encuentra en el distrito (Gmina) de Cegłów, perteneciente al condado (Powiat) de Mińsk. Se encuentra aproximadamente  a 18 km al sureste de Mińsk Mazowiecki, y a 56 km  al este de Varsovia.

Óblast de Minsk
El óblast de Minsk (en bielorruso: Мінская вобласць) es una de las seis regiones que conforman la República de Bielorrusia. Está formada por la zona que rodea la capital, Minsk, que está bajo una administración diferente. Es el único óblast de Bielorrusia sin frontera internacional. Tiene una población de 1.503.000 habitantes (estimación de 2004) y una superficie de 40.800 km², que en términos de extensión es similar a la de Suiza. La administración de la provincia se lleva a cabo en la ciudad de Minsk.
Campo de concentración de Salaspils
El campo de concentración de Salaspils o campo de concentración de Kurtenhof fue fundado a fines de 1941 a unos 18 kilómetros al sureste de Riga, en Letonia. La burocracia nazi estableció distinciones entre los distintos tipos de campos y, dentro de esta clasificación oficial, Salaspils era una prisión y un campo de educación laboral (Polezeigegfängnis und Arbeitserziehungslager). La denominación de Kurtenhof se debe al nombre en alemán de la ciudad de Salaspils.

La planificación para el desarrollo del campo y su estructura para los prisioneros fue modificada varias veces. En 1943, Heinrich Himmler consideró brevemente convertir el campo en un campo de concentración oficial (Konzentrationslager), con lo cual habría estado subordinado a la Oficina Central de Seguridad del Reich, pero esto no se hizo realidad.

Oficina Central de Seguridad del Reich
La Oficina Central de Seguridad del Reich (en alemán: Reichssicherheitshauptamt, abr. RSHA) fue un departamento gubernamental de la Alemania nazi que existió durante la Segunda Guerra Mundial, encargado de la seguridad del Estado. Oficialmente era un organismo que dependía del Ministerio del Interior, pero a efectos prácticos fue una mera organización controlada por las SS. La RSHA fue creada por el Reichsführer-SS Heinrich Himmler el 27 de septiembre de 1939, resultante de la fusión de la Gestapo, el Sicherheitsdienst (SD), la Sicherheitspolizei (SiPo) y la Kriminalpolizei (KriPo). El organismo fue disuelto al final de la guerra, en mayo de 1945.
Jorge Xavier Murrieta
Jorge Xavier Murrieta Fernández, nacido el 23 de noviembre de 1985, es un regatista mexicano. También es graduado en ingeniería mecánica por la Universidad Iberoamericana en 2008.

Ha sido campeón de América del Norte en las clases J/24 (2009) y Snipe (2010).

Regata
Una regata es una competencia deportiva de velocidad, o una carrera entre embarcaciones. El término se utiliza tanto en competiciones de embarcaciones a vela, como en competiciones de embarcaciones a remo.
Anastasiya Novosad
Anastasiya Yurivna Novosad –en ucraniano, Анастасія Юріївна Новосад– (Rivne, 8 de mayo de 1993) es una deportista ucraniana que compite en esquí acrobático. Ganó dos medallas de bronce en el Campeonato Mundial de Esquí Acrobático de 2023, en las prueba de salto aéreo individual y por equipos.

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.
Paşalimanı
Isla Paşalimanı (en turco: 'Paşalimanı Adası'), anteriormente llamada Halone (en griego: Αλώνη), es una pequeña isla en el sur del mar de Mármara, en Turquía. La isla es la cuarta isla más grande (21,3 km²) de Turquía y administrativamente pertenece a la ciudad de Erdek de la provincia de Balikesir en el noroeste de Turquía. La isla tiene cinco pequeños pueblos y tiene una población de 962 en total. La isla también es parte del archipiélago de Mármara junto con otras tres islas "Mármara, Avşa y Ekinlik".

Mar de Mármara
El mar de Mármara (en turco: Marmara denizi; en griego: Μαρμαρα̃ Θάλασσα  o  Προποντίδα), (también Mármora, Blanco, Menor) antiguamente llamado Propóntide, es un brazo de mar que une las aguas del mar Negro y del mar Egeo, y separa, por lo tanto, la parte asiática de Turquía de la parte europea a través del Bósforo y los Dardanelos.