hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Clause de Horn
En logique, en particulier en calcul propositionnel, une clause de Horn est une clause comportant au plus un littéral positif.

Il existe donc trois types de clauses de Horn :

celles qui comportent un littéral positif et au moins un littéral négatif, appelées clauses de Horn strictes ;

celles qui comportent un littéral positif et aucun littéral négatif, appelées clauses de Horn positives ;

celles qui ne comportent que des littéraux négatifs, appelées clauses de Horn négatives.

De plus, toute clause de Horn est de la forme  (qui peut aussi s'écrire sous la forme ) . Les clauses de Horn forment un sous–ensemble des formes normales disjonctives dans lesquelles un seul terme est positif.

Littéral (logique)
En logique mathématique, un littéral est un atome (aussi appelé littéral positif) ou la négation d'un atome (aussi appelé littéral négatif).

En logique propositionnelle, une variable P est un littéral, de même que sa négation ¬P ; les formes normales disjonctives sont les disjonctions de conjonctions de littéraux, ainsi que les littéraux seuls, les disjonctions et conjonctions de littéraux, et les disjonctions de conjonctions et de littéraux.

Un littéral unitaire (resp. pur ou monotone) est un littéral apparaissant dans une clause unaire (resp. un littéral dont le litteral opposé n'apparait pas dans la formule).
Niveau AA (baseball)
Le niveau AA (en anglais : Class AA) est le second niveau de jeu le plus élevé de la ligue mineure de baseball, derrière le niveau AAA. Il existe actuellement 30 équipes de niveau AA, soit une pour chaque équipe des ligues majeures. Ces clubs sont organisés en trois ligues : la ligue Eastern, la ligue Southern et la ligue du Texas.

Niveau AAA (baseball)
Le niveau AAA ou Triple-A est, dans le baseball nord-américain, le plus haut niveau de baseball professionnel après les ligues majeures de baseball, et le plus haut niveau des ligues mineures de baseball. On compte trois ligues de baseball de niveau  Triple-A en Amérique du Nord : la Ligue internationale et la Ligue de la côte du Pacifique sont deux ligues américaines affiliées aux ligues majeures de baseball (MLB), et la Ligue mexicaine de baseball, qui est indépendante de la MLB.

Les ligues de niveau AAA sont les plus proches de la MLB.
Marina Carobbio Guscetti
Marina Carobbio Guscetti, née le 12 juin 1966 à Bellinzone, est une femme politique suisse, membre du Parti socialiste suisse.

Conseillère nationale de 2007 à 2019 et présidente dudit conseil en 2018-2019, elle est ensuite conseillère aux États jusqu'en avril 2023 puis membre du Conseil d'État du canton du Tessin, à la tête du département de l'éducation, de la culture et du sport.

Conseil des États (Suisse)
Le Conseil des États (en allemand : Ständerat, familièrement Stöckli,, ; en italien : Consiglio degli Stati ; en romanche : Cussegl dals Stadis) est la chambre haute de l'Assemblée fédérale suisse. Il représente les cantons suisses alors que le Conseil national représente la population suisse. Il a été instauré par la constitution fédérale de 1848.
Mingot
Mingot est une commune française située dans le nord du département des Hautes-Pyrénées, en région Occitanie. Sur le plan historique et culturel, la commune est dans l’ancien comté de Bigorre, comté historique des Pyrénées françaises et de Gascogne.

Exposée à un climat de montagne, elle est drainée par divers petits cours d'eau. La commune possède un patrimoine naturel remarquable composé d'une zone naturelle d'intérêt écologique, faunistique et floristique.

Mingot est une commune rurale qui compte 99 habitants en 2023, après avoir connu une forte hausse de la population depuis 1962. Elle fait partie de l'aire d'attraction de Tarbes. Ses habitants sont appelés les Mingotois ou  Mingotoises.

Aire d'attraction de Tarbes
L'aire d'attraction de Tarbes est un zonage d'étude défini par l'Insee pour caractériser l’influence de la commune de Tarbes sur les communes environnantes. Publiée en octobre 2020, elle se substitue à l'aire urbaine de Tarbes, qui comportait 110 communes dans le dernier zonage qui remontait à 2010.
Taphrina alni
Cloque des chatons de l'aulne

Taphrina alni est une espèce de champignons ascomycètes (Fungi) de la famille des Taphrinaceae et du genre Taphrina. Ce microchampignon galligène est responsable de la maladie cryptogamique de la Cloque des chatons de l'aulne sur les fleurs femelles et les fruits verts de l'Aulne blanc et l'Aulne noir et d'autres espèces d'Aulnes, surtout dans les Alpes. Comme tous les Taphrinomycetes, cette espèce présente un stade sous forme d'hyphes producteurs de galle et un stade sous forme de levure se nourrissant a priori de matière organique en décomposition mais ce dernier stade n'est pas connu.

Alnus glutinosa
Aulne glutineux, aulne noir, aulne poisseux

L’aulne glutineux, l’aulne noir, l’aulne poisseux (Alnus glutinosa), est une espèce d'arbre feuillu de la famille des bétulacées, très présent dans la flore indigène de l'Europe (Scandinavie comprise). Il est parfois appelé vergne ou verne.
Topologie d'un espace vectoriel de dimension finie
En mathématiques, la topologie d'un espace vectoriel de dimension finie sur un corps K est, sous certaines hypothèses, un cas particulier de topologie d'espace vectoriel normé. Le prototype est Rn muni de la norme qui à un n-uplet de réels associe la plus grande des valeurs absolues de ces n réels.

Espace vectoriel de dimension finie
Sur un corps K, un espace vectoriel E est dit de dimension finie s'il admet une base finie. Il suffit pour cela qu'il admette une famille génératrice finie.

Les espaces de dimension finie jouissent de propriétés qui leur sont propres. Les bases duales en sont des exemples.
Site gallo-romain de Triguères
Le site gallo-romain de Triguères est un site archéologique français situé à Triguères dans le département du Loiret et la région Centre-Val de Loire.

Il pourrait correspondre au Vellaunodunum décrit par Jules César lors de la guerre des Gaules,,.

Vellaunodunum
Vellaunodunum est un oppidum gaulois, chez les Sénons, conquis en mars -52 par les armées de Jules César lors de la guerre des Gaules, en seulement trois jours. L'oppidum était situé entre Agedincum (actuelle ville de Sens) et Cenabum (Orléans).
Dugonjive
Dugajevë en albanais et Dugonjive en serbe latin (en serbe cyrillique : Дугоњиве) est une localité du Kosovo située dans la commune/municipalité de Klinë/Klina et dans le district de Pejë/Peć. Selon le recensement kosovar de 2011, elle compte 399 habitants.

Klinë
Klinë en albanais et Klina en serbe latin (en serbe cyrillique : Клина ; autre nom albanais : Klina) est une ville et une commune (municipalité) du Kosovo. Elle fait partie du district de Pejë/Peć. En 1991, la commune/municipalité comptait 65 033 habitants, dont une majorité d'Albanais. En 2009, la population de la commune/municipalité était estimée par l'OSCE à 55 000 habitants. Selon le recensement kosovar de 2011, la commune compte 37 585 habitants.
José Azevedo
José Bento Azevedo Carvalho, né le 19 septembre 1973 à Vila do Conde, est un coureur cycliste et directeur sportif portugais. Coureur professionnel de 1994 à 2008, il a participé à cinq Tours de France de 2002 à 2006, dont deux en tant que coéquipier de Lance Armstrong (2004 et 2005). Il a terminé sixième et cinquième du classement général en 2002 et 2004. Directeur sportif de 2010 à 2016, il est à la tête de l'encadrement sportif de l'équipe russe Katusha en 2014, puis manager général à partir de 2017 année où elle devient Katusha-Alpecin sous licence suisse. En 2020, il rejoint pour une année le staff de l'équipe française Nippo Delko One Provence.

Tour de France 2002
Le Tour de France 2002 est la 89e édition du Tour de France cycliste. Il a eu lieu du 6 au 28 juillet 2002 sur 20 étapes pour 3 276 km.

Ce Tour est sans vainqueur depuis le déclassement de l'Américain Lance Armstrong en octobre 2012. Tous ses résultats obtenus depuis le 1er août 1998 lui ont été retirés pour plusieurs infractions à la réglementation antidopage. Cette édition est la quatrième des sept consécutives qu'il aurait gagnées jusqu'en 2005.
Alphonse Mané Sambou
Alphonse Mané Sambou est un homme politique sénégalais né le 2 février 1987 à Mlomp Haer. Membre du parti politique les Patriotes africains du Sénégal pour le travail, l'éthique et la fraternité(PASTEF), il est élu député de la 14ème et de la 15ème législature de l'Assemblée nationale du Sénégal.

Assemblée nationale (Sénégal)
L'Assemblée nationale est l'institution monocamérale exerçant le pouvoir législatif du Sénégal. Composée de 165 députés élus selon un système mixte, elle siège à Dakar, la capitale du pays.

Durant les périodes de bicamérisme de 1999 à 2001 et de 2007 à 2012, elle est la chambre basse du parlement tandis que le Sénat en est la chambre haute.
François Mayer
François Mayer, né Ferenc Mayer le 7 janvier 1908 à Nagyvárad en Hongrie (auj. Oradea en Roumanie) et mort le 9 novembre 2000 à Hattenville (France), est un footballeur hongrois naturalisé français, devenu entraîneur. Il évolue au poste de gardien de but.

Royaume de Hongrie (1867-1918)
Le royaume de Hongrie (en latin : Regnum Hungaria ; en allemand : Königreich Ungarn ; en hongrois : Magyar Királyság) forme, entre 1867 et 1918, l'essentiel des pays de la Couronne de saint Étienne (ou « Transleithanie »), au sein de la double monarchie d'Autriche-Hongrie. Unifié en 1867 lors du sacre de François-Joseph en tant que roi de Hongrie, le royaume de Hongrie est gouverné par une élite centralisatrice qui refuse les solutions fédéralistes comme le trialisme ou l'austroslavisme, de sorte qu'à l'issue de la Première Guerre mondiale, il se disloque et est remplacé par une république qui n'en contrôle de fait que le centre.
Fédération royale belge de gymnastique
La Fédération royale belge de gymnastique (FRBG), est la fédération belge de gymnastique et est reconnue par la Fédération internationale de gymnastique (FIG), l'Union européenne de gymnastique (UEG) et le Comité olympique et interfédéral belge (COIB).

Elle est composée de :

la Fédération francophone de gymnastique (FfG)

la GymnastiekFederatie Vlaanderen (nl) (GymFed)

European Gymnastics
L'European Gymnastics — anciennement connue comme l'Union européenne de gymnastique (UEG, ou en anglais European Union of Gymnastics, EUG) — est l'une des quatre unions continentales qui constituent la Fédération internationale de gymnastique (FIG). L'European Gymnastics est une organisation autonome, qui défend les intérêts de la gymnastique européenne et de ses fédérations membres. Elle organise chaque  année les championnats d'Europe seniors et juniors dans toutes ses disciplines ainsi que le festival jeunesse Eurogym et le Golden Age Festival (pour les plus de 50 ans) tous les deux ans. Son siège est à Lausanne.

Le 1er avril 2020, l'UEG change de nom et devient l'European Gymnastics. À cette occasion, la fédération adopte aussi un nouveau logo.
Caín de Valdeón
Caín de Valdeón, plus connue comme Caín, est une bourgade appartenant à la commune de Posada de Valdeón, province de León, Communauté de Castille-et-Léon, en Espagne. En 2013 il comptait une population de 69 habitants. Il se trouve dans la Vallée de Valdeón à 460 mètres d'altitude dans les Pics d'Europe, et constitue le point de départ de nombreux sentiers de randonnée, le plus célèbre étant le sentier du Cares,,,,.

Jusqu'aux années 1990, la bourgade était divisée en deux ensembles : Caín Haut et Caín Bas, distants de 150 m. En réalité, Caín Haut n'est actuellement pas habité.

Pics d'Europe
Les pics d'Europe (en espagnol : Picos de Europa, souvent appelés Los Picos), massif le plus élevé de la cordillère Cantabrique culminant au Torre de Cerredo (2 649 m), sont situés entre les provinces des Asturies, León et la Cantabrie, à une trentaine de kilomètres de la mer. Ce massif est le prolongement des Pyrénées en terres cantabriques.
I Forgot to Remember to Forget
I Forgot to Remember to Forget est une chanson country écrite par Stan Kesler (en) et Charlie Feathers. Elle a été enregistrée au studio Sun le 11 juillet 1955, par Elvis Presley (créditée Elvis Presley Scotty and Bill), et publiée le 20 août 1955, avec Mystery Train en face B (Sun223),. Elle a été rééditée par RCA Victor (#47-6357) en décembre 1955.

Bill Black
Bill Black, né William Patton Black, Jr., né 17 septembre 1926 à Memphis dans le Tennessee et mort le 21 octobre 1965 dans la même ville, est un musicien américain. Il fut bassiste d'Elvis Presley dans les années 1950 avant de fonder The Bill Black's Combo, groupe instrumental qui remporta un certain succès. Il est mort de maladie avant ses quarante ans.
Eton (langue océanienne)
L’eton (ou éfaté oriental ou epwau) est une langue océanienne parlée au Vanuatu par 500 locuteurs (recensement de 1989) dans le sud-est d’Éfaté, à Eton, à Pang Pang et dans les villages alentour. Parmi ses dialectes : Eton et Pang Pang. Auparavant considéré comme un dialecte de l’éfaté du Sud, il est compréhensible à 88 % avec le lelepa et à 64 % avec l’éfaté du Sud. Il reste quelques locuteurs du Pang Pang.

Langues océaniennes
Les langues océaniennes (ou groupe océanien) sont une famille de langues comprenant environ 500 langues, parlées dans les îles de l'océan Pacifique. Elles forment un sous-ensemble de la famille plus vaste des langues austronésiennes.

L'ancêtre commun qui a été reconstitué est le proto-océanien (parfois abrégé en POc).
Ligne de tramway KMx
La ligne KMx d'après son numéro de tableau horaire est une ancienne ligne de tramway du Groupe de Courtrai de la Société nationale des chemins de fer vicinaux (SNCV) qui a fonctionné entre le 3 juillet 1932 et le 25 mai 1963.

Société nationale des chemins de fer vicinaux
La Société nationale des chemins de fer vicinaux (SNCV) ou en néerlandais :  Nationale Maatschappij van Buurtspoorwegen (NMVB), était, en Belgique, la société publique qui reçut dès 1885 pour mission d'établir, à la demande des autorités publiques, des lignes de chemin de fer d'intérêt local ou de tramways sur l'ensemble du territoire belge afin d'offrir un service public de transport nécessaire à la population et à l'activité économique du pays. Un grand réseau de transport public allait rapidement se développer avant la Première Guerre mondiale et évoluer jusqu'à nos jours en délaissant le transport de marchandises, prépondérant aux origines, pour le seul transport de voyageurs et la plupart des lignes de chemin de fer au profit de lignes d'autobus.
Marie-Françoise Baslez
Marie-Françoise Baslez, née le 5 mai 1946 à Angers et morte le 29 janvier 2022 à Paris, est une universitaire et historienne française.

Spécialiste du judaïsme hellénisé et du christianisme ancien, des persécutions religieuses ainsi que des questions sociales des périodes hellénistique et romaine, elle a enseigné à l'université Paris IV-Sorbonne.

Persécutions religieuses
Les persécutions religieuses sont des mauvais traitements systématiques infligés à un groupe de personnes en raison de leur appartenance religieuse. Les persécutions religieuses peuvent être déclenchées par un État quand il considère un groupe religieux comme une menace à ses intérêts ou à sa sécurité, ou par des groupes religieux envers des croyances qui sont considérées comme hérétiques, schismatiques ou blasphématoires.
Zone exempte d'armes nucléaires
États ayant ratifié le traité de Tlatelolco

États ayant ratifié le traité de Pelindaba

Autres États de l'Union africaine

États ayant ratifié le traité de Semipalatinsk

ZEAN de la Mongolie

États ayant ratifié le traité de Bangkok

États ayant ratifié le traité de Rarotonga

Traité sur l'Antarctique

Une zone exempte d'armes nucléaires (abrégé par le sigle ZEAN, ou NWFZ pour l'anglais nuclear-weapon-free zone) est définie selon l'ONU par un accord, généralement sous la forme d'un traité internationalement reconnu, qui bannit l'utilisation ou le déploiement d'armes nucléaires sur une région ou un pays donné. De plus, cet accord doit disposer de mécanismes de vérification et de contrôle pour appliquer les engagements des pays signataires.

Traité sur l'Antarctique
Le traité sur l’Antarctique, signé le 1er décembre 1959 à Washington, D.C. aux États-Unis et en vigueur depuis le 23 juin 1961, réglemente les relations entre les États signataires en ce qui a trait à l’Antarctique. Le traité s’applique aux territoires, incluant les plates-formes glaciaires, situés au sud du 60e parallèle sud.

Les signataires initiaux (pays signataires) du traité furent l’Afrique du Sud, l’Argentine, l’Australie, la Belgique, le Chili, les États-Unis, la France, le Japon, la Norvège, la Nouvelle-Zélande, le Royaume-Uni et l’URSS (repris par la Russie). Cependant, n’importe quel membre des Nations unies ou autre État invité par la totalité des signataires peut s’y joindre. Plusieurs États ont ainsi adhéré au traité depuis sa signature.
Fédération sénégalaise de Scrabble francophone
La Fédération sénégalaise de Scrabble francophone (FSSF) est une association qui réunit les amateurs du jeu Scrabble au Sénégal. Le président actuel est Mbaye Mboup. La fédération a 750 licenciés dans 64 clubs et 36 clubs scolaires. Les licenciés da le FSSF sont également des membres de la Fédération internationale de Scrabble francophone et peuvent disputer des tournois dans n'importe quel pays francophone.

Fédération internationale de Scrabble francophone
La Fédération internationale de Scrabble francophone (FISF) est une association qui réunit les amateurs du jeu Scrabble. Elle a été établie en 1978 à Bruxelles, en Belgique par Hippolyte Wouters. Elle compte 24 pays et environ 23 000 licenciés comme membres. Le président actuel est Amédée Assomo.
Champ de foire
Un champ de foire ou foirail est un emplacement réservé dans une ville ou un bourg aux foires et aux fêtes foraines. Il peut s'agir, par exemple, d'une place n'accueillant pas la circulation routière ou de la partie non plantée d'un grand jardin public,.

Fête foraine
Une fête foraine ou foire ou vogue est un rassemblement en plein air de forains indépendants itinérants revenant à date fixe. Elle regroupe des attractions et manèges, ainsi que divers stands, tels que jeux de tirs ou vente de friandises.

En 2024, la culture foraine est classée au patrimoine culturel immatériel de l'Unesco.
Zayd ibn Amr
Zayd ibn Amr (en arabe : زيد ابن عمرو, Zayd ibn ʿĀmr), mort en 606 à La Mecque, est un ascète et ermite arabe de l'époque préislamique.

Zayd appartenait aux Banu Adi, branche de la tribu de Quraych, qui dirigeait La Mecque. Il est mentionné par l'historien arabo-musulman Ibn Ishaq comme un des quatre hanifs (monothéistes) de La Mecque, avec Waraqa ibn Nawfal, Othmân ibn Houveyrith et Obayd-Allah ibn Djahsh, qui précédèrent les premières prêches de Mahomet. Si ces derniers devinrent tous chrétiens, Zayd resta un hanif, ce qui provoqua son exil de La Mecque, et il vécut dans les montagnes voisines, s'infiltrant dans la ville pour fustiger les croyances mecquoises. Il aurait reçu une annonce de la venue de Mahomet, qu'il rencontra selon des hadiths de l'imam Boukhari, et le fit se détourner des idoles. Zayd est assassiné en 606 sur le chemin de La Mecque.

Hanifisme
Le hanifisme est, selon la croyance islamique, le monothéisme préislamique. Le Coran en attribue l'origine à Abraham dans la troisième sourate (Al-'Imran), versets 67-68 : « Ibrahim ne fut ni juif ni Nazaréen, mais fut monothéiste (hanif) et soumis (muslim) [à Allah]. Et il n’était point du nombre des associateurs » (Coran 3:67). Plus généralement, il s'agirait, selon les musulmans, de la foi de ceux qui, pendant l'Âge de l'ignorance, ont rejeté les idoles et suivi l'exemple d'Abraham.
Willem Vermeend
Wilhelmus Adrianus Franciscus Gabriël Vermeend dit Willem Vermeend, né le 21 décembre 1948 à Zuilen (Utrecht), est un homme politique néerlandais membre du Parti travailliste (PvdA). Sous la direction de Wim Kok, il occupe les fonctions de secrétaire d'État aux Affaires fiscales et ministre des Affaires sociales.

Parti travailliste (Pays-Bas)
Le Parti travailliste ou Parti du travail (en néerlandais Partij van de Arbeid, abrégé en PvdA) est un parti politique néerlandais, d'orientation sociale-démocrate. Il est l'un des premiers partis des Pays-Bas en termes de poids politique : il est représenté dans les deux chambres du Parlement et participe à de nombreux gouvernements depuis sa fondation en 1946. Quatre Premiers ministres en sont issus.

Après avoir participé au deuxième cabinet du libéral Mark Rutte entre 2012 et 2017, les élections législatives de 2017 sont une catastrophe pour les travaillistes, qui tombent à 5,7 % des suffrages et neuf mandats parlementaires. Bien que le parti, mené par le premier vice-président de la Commission européenne Frans Timmermans, remporte les élections européennes de 2019 de façon inattendue, il n'arrive pas à se rétablir sur la scène politique nationale lors des élections de 2021, restant stable à neuf sièges.
Carol Moseley-Braun
Carol Moseley-Braun, née le 16 août 1947 à Chicago, est une femme politique, procureure et diplomate américaine. Membre du Parti démocrate, d'abord élue à la Chambre des représentants de l'Illinois, elle devient la première Afro-Américaine élue au Sénat des États-Unis en 1992, pour l'Illinois.

Candidate à sa réélection en 1998, elle est battue par Peter Fitzgerald, candidat du Parti républicain. Elle nommée ambassadrice des États-Unis en Nouvelle-Zélande et aux Samoa en 1999 par le président Bill Clinton, fonction qu'elle occupe jusqu'en 2001.

Élections sénatoriales américaines de 1998
Les élections sénatoriales américaines de 1998 ont eu lieu le 3 novembre 1998 pour renouveler 34 des 100 sièges du Sénat des États-Unis (classe 3). Elles se déroulent deux ans après la réélection de Bill Clinton et les sénatoriales de 1996, qui virent les républicains renforcer leur majorité au Sénat.

Ces élections se déroulent en même temps que des élections des gouverneurs et des représentants.

Espérant notamment profiter de l'affaire Monica Lewinsky, les républicains ont comme objectif d'atteindre les 60 sièges au Sénat. Cependant, les électeurs semblent lassés par la procédure d'impeachment et satisfaits de la bonne santé économique du pays. Les élections s'achèvent sur un match nul : les républicains prennent trois sièges aux démocrates (Kentucky, Illinois, Ohio), les démocrates en prennent trois aux républicains (Caroline du Nord, Indiana, New York).
Dead Block
Dead Block est un jeu vidéo d'action de type beat them all - tower defense développé par Candygun Games et édité par Digital Reality. Le jeu est disponible sur les plates-forme de téléchargement PlayStation Store, Xbox Live Arcade et sur le web pour le PC depuis l'été 2011.

Tower defense
Le tower defense (souvent abrégée en TD) est un type de jeu vidéo où l’objectif est de défendre une zone contre des vagues successives d’ennemis se déplaçant suivant un itinéraire ou non, en construisant et en améliorant progressivement des tours défensives.

Ce type de jeu peut être retrouvé sous forme d'un jeu à part entière, notamment sur Internet sous forme de jeux en Flash, ou joué sous forme de carte personnalisée (ou de petit mod) pour un jeu de stratégie en temps réel, comme Warcraft III ou StarCraft. Des adaptations de tower defense en jeux de société ont également été développées, comme Bad bones, et grâce au financement participatif, comme Tower Defense ou Epic Dice.