hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Interprétation (logique)
En logique, une interprétation est une attribution de sens aux symboles d'un langage formel. Les langages formels utilisés en mathématiques, en logique et en informatique théorique ne sont définis dans un premier temps que syntaxiquement⁣ ; pour en donner une définition complète, il faut expliquer comment ils fonctionnent et en donner une interprétation. Le domaine de la logique qui donne une interprétation aux langages formels s'appelle la sémantique formelle.

Informatique théorique
L'informatique théorique est l'étude des fondements logiques et mathématiques de l'informatique. C'est une branche de la science informatique et la science formelle. Plus généralement, le terme est utilisé pour désigner des domaines ou sous-domaines de recherche centrés sur des vérités universelles (axiomes) en rapport avec l'informatique. L'informatique théorique se caractérise par une approche par nature plus mathématique et moins empirique de l'informatique et ses objectifs ne sont pas toujours directement reliés à des enjeux technologiques. 
De nombreuses disciplines peuvent être regroupées sous cette dénomination diffuse dont :

la théorie de la calculabilité,

l'algorithmique et la théorie de la complexité,

la théorie de l'information,

l'étude de la sémantique des langages de programmation,

la logique mathématique,

la théorie des automates et des langages formels.
Jugement déclaratif de décès
En droit, le jugement déclaratif de décès est une décision judiciaire rendue par le tribunal qui atteste le décès d’une personne absente.

Cette notion existe notamment en droit québécois et en droit français.

Jugement déclaratif de décès (droit québécois)
En droit québécois, le jugement déclaratif de décès est une décision judiciaire rendue par le tribunal qui atteste le décès d'une personne absente, lorsqu'il s'est écoulé sept ans depuis sa disparition.
Skyfox
Skyfox est un jeu vidéo de simulation de vol de combat conçu par Ray Tobey et publié par Electronic Arts en 1984 sur Apple II. Il est ensuite porté sur Commodore 64, Amiga, Atari ST, Macintosh, ZX Spectrum et Amstrad CPC. Le joueur y pilote un avion de chasse futuriste disposant de missiles à tête chercheuse, de canons laser et de boucliers déflecteur. Son objectif est de repérer et de détruire les tanks, les avions et les vaisseaux ennemis au cours de quinze scénarios. Le jeu bénéficie d’une suite, Skyfox II: The Cygnus Conflict, publiée en 1987.

Il est à noter que seule la version Apple II comporte un Easter egg:durant le jeu en appuyant simultanément sur CTRL+G vous aurez droit à un mini jeu genre Space Invaders.

Simulateur de vol de combat
Dans le domaine aéronautique militaire, les simulateurs de vol de combat, aussi appelés simulateurs de combat aérien, sont des types de simulateur de vol adaptés pour le combat aérien. Ils ont des applications dans le domaine militaire pour l'étude et la conception des systèmes d'armes ainsi que l'entraînement des pilotes d'avions ou d'hélicoptères,.
Douglas Graham (officier)
Douglas Alexander Henry Graham (26 mars 1893 - 28 septembre 1971) est un major général de l'armée britannique qui a combattu avec distinction dans les deux guerres mondiales. Il est surtout connu pendant la Seconde Guerre mondiale pour avoir commandé la 153e brigade de la 51e division d'infanterie en Afrique du Nord de 1942 à 1943, devenant plus tard General Officer Commanding de la 56e division d'infanterie lors du débarquement de Salerne, en Italie, en septembre 1943 et la 50e division d'infanterie lors du débarquement de Normandie en France en juin 1944.

51e division d'infanterie (Highland)
La 51e division d'infanterie (Highland) est une division de la Force territoriale britannique qui combat sur le front occidental en France pendant la Première Guerre mondiale. L'insigne de la division est « HD » à l'intérieur d'un cercle rouge. Les premiers résultats peu glorieux de la division lui ont valu le surnom de « ratés de Harper » (Harper's Duds) d'après le nom de son commandant le général Harper. La division combat également pendant la Seconde Guerre mondiale. Les soldats de cette division sont surnommés les « Décorateurs de route » en référence à l'insigne « HD » qui ont orné les panneaux de signalisation le long de leur axe de progression.
Sebastián de Albero
Sebastián de Albero (Roncal, 10 juin 1722 – Madrid, 30 mars 1756) est un claveciniste espagnol, premier organiste de la Chapelle royale de Madrid entre 1748 et 1756 et musicien de chambre du roi Ferdinand VI. On conserve trente sonates pour le clavecin, publiées à Madrid en 1978, avec d'autres œuvres tripartites (Ricercare, fugue et sonate) pour clavier.

Sonate
Une sonate est une composition instrumentale de musique classique à plusieurs mouvements (par opposition à la cantate qui est chantée). Il ne faut pas confondre le nom de sonate avec celui de l'une des formes musicales les plus importantes, la forme sonate. Certains mouvements d'une sonate sont, d'ailleurs, souvent écrits en respectant la forme sonate.
Championnats du monde de paratriathlon 2015
Les championnats du monde de paratriathlon 2015 se sont déroulés le 18 septembre 2015 à Chicago, l'épreuve faisant partie du programme de la grande finale des séries mondiales de triathlon qui se sont déroulés  du 16 au 19 septembre. Depuis 2014 les paratriathlètes s'affrontent sur la distance sprint (750 m de natation, 20 km de vélo et 10 km de course à pied) selon une nouvelle catégorisation spécifique à leurs handicaps, de PT1 à PT5 . Chaque catégorie décernant le titre de champion du monde de paratriathlon correspondant après une épreuve mixte et un classement différencié des paratriathlètes féminins et masculins.

Paratriathlon
Le paratriathlon est la pratique du triathlon pour les athlètes ayant un handicap physique. Il est pratiqué sur différentes distances et différentes modalités, individuel, relais handi, ou encore en relais mixte. En 2015, le sport est pratiqué dans 37 pays différents, et 27 d'entre eux organisent des championnats nationaux. Les séries mondiales de triathlon comprennent des épreuves de paratriathlon de 750 m en natation, du 20 km en cyclisme en utilisant vélos à main, bicyclettes, tricycles ou des vélos tandem avec un guide et un fauteuil roulant, et de 5 km de course à pied. Le paratriathlon devient sport paralympique à compter des Jeux paralympiques de 2016 à Rio de Janeiro, Brésil.
Batterie structurelle
Les batteries structurelles sont des structures multifonctionnelles, capables d'agir comme un système de stockage d'énergie électrochimique (batteries) tout en possédant une intégrité mécanique,.

Elles contribuent à réduire le poids et sont utiles dans les applications de transport , telles que les véhicules électriques et les drones en raison de leur potentiel d'amélioration de l'efficacité des systèmes. On distingue deux grands types de batteries structurelles : les batteries intégrées à une structure et les batteries multifonctionelles intégrant des électrodes et un electrolyte structurel.

Véhicule électrique
Un véhicule électrique est un moyen de déplacement dont la propulsion est assurée exclusivement par un ou plusieurs moteurs électriques. Il peut tirer son énergie de ressources embarquées comme une batterie électrique, ou être connecté à une source extérieure, par exemple par une caténaire. Le moteur peut être lui aussi embarqué, comme dans la plupart des véhicules terrestres, ou extérieur dans le cas du transport par câble.
Gene "Bowlegs" Miller
Gene « Bowlegs » Miller (27 mai 1933 – 25 décembre 1987, Memphis, Tennessee) est un trompettiste, musicien de studio, arrangeur, producteur, chef d'orchestre et auteur-compositeur américain de rhythm and blues, de musique soul et de jazz. Il est un des artisans du « Memphis Sound »,.

Memphis soul
La Memphis soul (littéralement : « soul de Memphis »), également connu sous le nom de Memphis sound, est un sous-genre de la musique soul, qui constitue la branche la plus importante de la Southern soul. C'est un style chatoyant et sensuel produit dans le courant des années 1960 et 1970 à Memphis, Tennessee, principalement chez Stax et Hi Records.

Beaucoup de chansons de Memphis soul sont interprétées par des chanteurs accompagnés par les groupes maison de Stax, Hi et Goldwax Records. Le son de la Memphis soul est différent du son de Motown à Détroit. Après l'essor de la musique disco à la fin des années 1970, la soul de Memphis diminue quelque peu en popularité. Aujourd'hui, le Stax Museum of American Soul Music et la Stax Academy se consacrent à la préservation du son de Memphis.
St. Andrews (Manitoba)
St. Andrews est une municipalité rurale du Manitoba (Canada). Elle est située sur la rive ouest de la rivière Rouge à 8 km au nord de Winnipeg. Les villes de Selkirk et de Winnipeg Beach, ainsi que le village de Dunnottar sont enclavées dans celle-ci.

Selkirk (Manitoba)
Selkirk est une ville canadienne située dans la province du Manitoba. Elle est située à 22 km à l'est de la capitale provinciale de Winnipeg sur la rivière Rouge. Sa population de 9 515 habitants selon le recensement de 2006.

L'économie principale est surtout liée au tourisme, mais aussi à la présence d'une aciérie et d'un hôpital psychiatrique. Un pont levant sur la rivière Rouge joint les deux portions de Selkirk. La ville est connectée à Winnipeg par l'autoroute provinciale et est desservie par le Chemin de fer Canadien Pacifique.

La ville est nommée en l'honneur de l'Écossais Thomas Douglas, 5e comte de Selkirk, qui a obtenu concession pour établir une colonie sur la rivière Rouge.
Gus Kenworthy
Augustus Richard Kenworthy dit Gus Kenworthy, né le 1er octobre 1991 à Chelmsford, au Royaume-Uni, est un skieur acrobatique et acteur américain et britannique spécialiste du slopestyle.

Aux Jeux olympiques d'hiver de 2014, il remporte la médaille d'argent au slopestyle.

Chelmsford
Chelmsford (prononcé en anglais : [tʃɛlmzfəd]) est une ville britannique, chef-lieu du comté d'Essex. Située à 50 kilomètres au nord-est de Londres, elle constitue le principal centre urbain du district de la Cité de Chelmsford avec une population de 102 400 habitants en 2016.

La cathédrale de Chelmsford, au cœur de la ville, est la deuxième plus petite d'Angleterre après celle de Derby. Entourée de plusieurs villages qui savent préserver leur aspect traditionnel, Chelmsford est connue pour sa Hylands House, site de concerts de rock, accueillant le 21e Jamboree scout mondial en 2007, située en bordure urbaine.

Guglielmo Marconi, promoteur des transmissions par radio, fait construire la première usine du monde de radios à Chelmsford en 1898. La ville est ainsi le siège des premières émissions radiophoniques en 1920. Les premières émissions régulières radiophoniques du monde sont réalisées à Writtle, près de Chelmsford, en 1922.
Adolf Bergé
Adolf Petrovitch Bergé (russe : Адольф Петрович Берже), ou Berger  né le 28 juin 1828 (10 juillet dans le calendrier grégorien) à Saint-Pétersbourg et mort le 31 janvier 1888 (12 février dans le calendrier grégorien) à Tbilissi est un historien orientaliste, spécialiste du Caucase, archéographe, et archéologue russe.

Il a été président de la Commission archéologique du Caucase dans les années 1864-1886, et fonctionnaire de l'Empire russe (conseiller d'État véritable depuis 1868, conseiller secret en 1886).

Archéographie
Le mot archéographie (du grec ἀρχαίος arkhaios (ancien) et γράφειν gráphein (décrire)), peut avoir deux significations :

Anciennement, l'archéographie est un terme désignant le fait de représenter par le dessin, la peinture ou la sculpture les monuments antiques ainsi que des scènes ou paysages anciens et était employé pour distinguer cet art de l'archéologie.

Actuellement, ce terme désigne la science humaine en rapport avec les alphabets anciens. L'archéographie est étroitement liée à la philologie, à l'étude des sources, à la paléographie et aux archives.
Peter Lanyon
Peter Lanyon (1918-1964) est un peintre de paysages de Cornouailles devenu une des figures majeures de l’Abstraction britannique. Il est aussi connu pour ses sculptures assemblages, ses collages et ses poteries.

Abstraction (art)
L'abstraction en art s'oppose aux représentations figuratives et narratives, elle résulte de formes expressives et non de formes représentatives. Au regard de l'histoire de l'art, de très anciennes cultures ont touché à l'abstraction, que ce soit en Inde ou chez les peuples amérindiens.

Le terme « abstraction » peut aussi renvoyer aux différents arts abstraits qui caractérisent l'art moderne à partir du début du XXe siècle.
Alexandre Favre
Alexandre Favre est un ingénieur et physicien français né le 23 février 1911 à Toulon et mort le 25 mai 2005 dans le 4e arrondissement de Marseille. Professeur émérite à l'Université de la Méditerranée et membre de l'Académie des sciences, il est particulièrement renommé pour ses travaux sur les états de turbulence.

Turbulence
La turbulence désigne l'état de l'écoulement d'un fluide, liquide ou gaz, dans lequel la vitesse présente en tout point un caractère tourbillonnaire : tourbillons dont la taille, la localisation et l'orientation varient constamment. Les écoulements turbulents se caractérisent donc par une apparence très désordonnée, un comportement difficilement prévisible et l'existence de nombreuses échelles spatiales et temporelles. De tels écoulements apparaissent lorsque la source d'énergie cinétique qui met le fluide en mouvement est relativement intense devant les forces de viscosité que le fluide oppose pour se déplacer. À l'inverse, on appelle laminaire le caractère d'un écoulement régulier.

La découverte et l'étude de la turbulence est très ancienne, elle a été décrite par exemple par Léonard de Vinci qui, après lui, n'a pas progressé durant presque 400 ans, avant que l'ingénieur irlandais Osborne Reynolds prolonge ses travaux en 1883.
Heptamino
En mathématiques, un heptamino (ou 7-omino) est un polyomino d'ordre 7, c'est-à-dire une figure géométrique plane composée de 7 carrés de taille égale, reliés bord à bord. Le nom de ce type de figure est formé avec le préfixe "hept(a)-". Lorsque les figures semblables par  rotations et réflexions ne sont pas considérées comme des formes distinctes, il existe 108 heptaminos dits libres. Si l'on considère les figure obtenues par réflexions comme distinctes, on compte 196 heptaminos dit unilatéraux. Enfin, si l'on considère à la fois celles obtenues par réflexions et rotations comme distinctes, on recense 760 heptaminos dits fixés,.

Carré
En géométrie euclidienne, un carré est un quadrilatère convexe dont les quatre côtés sont de même longueur et les quatre angles sont droits.  C’est donc un polygone régulier, qui est à la fois un losange, un rectangle, et par conséquent aussi un parallélogramme.

Dans le plan, un carré est invariant par quatre symétries axiales, par deux rotations d’angle droit et par une symétrie centrale par rapport à l’intersection de ses diagonales.

Les premières représentations du carré datent de la préhistoire. Le carré est, avec le cercle, l'une des figures géométriques remarquables les plus étudiées depuis l'Antiquité, le problème de la quadrature du cercle ayant tenu en haleine de nombreux mathématiciens pendant deux millénaires.

La figure du carré illustre l’opération du carré en algèbre, consistant à multiplier un élément par lui-même. En particulier, l’aire d’un carré est égale au carré de la longueur d’un côté.
Gare de Locarno
La gare de Locarno est une gare ferroviaire située sur le territoire de la commune suisse de Muralto, au bord du lac Majeur, dans le canton du Tessin. Elle assure la desserte ferroviaire de la commune voisine de Locarno, dans le canton du Tessin.

Les deux communes sont séparées par la rivière Torrente Ramogna dont l'embouchure dans le lac Majeur est située à une centaine de mètres au sud de la gare.

Lac Majeur
Le lac Majeur (Lago Maggiore ou Verbano, en italien, à cause de la verveine qui colonisait son rivage) est un lac préalpin italo-suisse de 212 km2 et 65 km de longueur, à environ 50 km au nord-ouest de Milan, à cheval sur le Piémont, la Lombardie et le canton du Tessin. Haut lieu touristique suisse-italien, il est baptisé Majeur car il est un des lacs les plus importants de la région (lac le plus important d'Italie après le lac de Garde),.
Sergeï Teretschenkov
Sergeï Semionovitch Teretschenkov (Сергей Семёнович Терещенқов) est un coureur cycliste sur piste soviétique, né le 27 avril 1938 à Olsha, Smolensk, Russie (URSS) et mort le 11 avril 2006.

Intégré dans l'équipe d'URSS de poursuite par équipes en 1963, il participe à la victoire soviétique au Championnat du monde de cette discipline de 1963. Il ajoute un second succès dans cette épreuve en 1965 au championnat du monde de San Sebastian. Participant aussi à la poursuite individuelle des championnats du monde, il n'atteint les 1/4 de finale qu'en 1965. Il participe aux Jeux olympiques de Tokyo

Championnat du monde masculin de poursuite par équipes
Le Championnat du monde de poursuite par équipes masculin est le championnat du monde de la poursuite par équipes organisé annuellement par l'UCI dans le cadre des Championnats du monde de cyclisme sur piste.
Ephoron virgo
Ephoron virgo est une espèce d'insectes appartenant à l'ordre des éphéméroptères, ainsi nommés en raison de la courte durée de vie de ces insectes qui meurent peu après s'être reproduits.

Ephoron virgo est un des insectes jadis très prolifique sur les fleuves, rivières et certains canaux, appelé autrefois "manne" ou "manne blanche", par les pêcheurs notamment qui les utilisaient comme appât, et en raison de ses éclosions très massives et de ses mœurs crépusculaires.

Manne
La manne (en hébreu מָן, man) est la nourriture des Hébreux dans le désert, d'après l'Ancien Testament (dans le Livre de l'Exode, ch. 16) et le Coran.

La manne est par ailleurs une exsudation sucrée provenant de plusieurs végétaux.
Galimov
Galimov est le nom slave de plusieurs personnes en russe : Галимов :

Aleksandr Galimov (1985-2011) joueur de hockey sur glace russe.

Artiom Galimov (1999-) joueur de hockey sur glace russe.

Emil Galimov (1992-) joueur de hockey sur glace russe.

Stanislav Galimov (1988-) joueur de hockey sur glace russe.

Artiom Galimov
Artiom Albertovitch Galimov - en russe : Артём Альбертович Галимов et en anglais : Artyom Galimov - (né le 8 septembre 1999 à Samara en Russie) est un joueur professionnel russe de hockey sur glace. Il évolue au poste d'attaquant.
John P. O'Neill
John Patrick O'Neill, né le 6 février 1952 à Atlantic City (New Jersey) et mort lors des attentats du 11 septembre 2001 à New York, est un expert américain de l'antiterrorisme. Il a travaillé en tant qu'agent spécial et directeur assistant du FBI.

Atlantic City
Atlantic City est une ville située dans le comté d'Atlantic, sur le Jersey Shore, dans l'État américain du New Jersey.

Ville célèbre et florissante pendant le XXe siècle, réputée pour ses casinos et son port de plaisance, elle était à cette époque la seconde ville de jeux derrière Las Vegas, la ville connait une chute, puis la ruine au XXIe siècle.

On y dénombre 38 497 habitants en 2020.
Hypogée
Un hypogée désigne en archéologie une construction creusée dans le sol ou dans le flanc d'une colline destinée le plus souvent à contenir une ou plusieurs tombes. Le terme est généralement utilisé pour les tombes de ce type datées de la Préhistoire, de la Protohistoire et de l'Antiquité, pour la période médiévale et moderne on privilégie celui de caveau.

Protohistoire
La protohistoire est une période de temps intermédiaire entre la Préhistoire et l'Histoire sensu stricto, caractérisée par l’absence d’écriture propre au sein des sociétés étudiées. Les limites chronologiques de la protohistoire varient selon qu'elles sont définies uniquement en fonction de la nature des sources disponibles (absence d’écriture propre mais présence de témoignages indirects), ou en fonction de critères économiques et sociaux (développement de l'artisanat, émergence de réseaux d’échanges, etc.).

Par métonymie, le mot peut aussi désigner la « science qui étudie le comportement des hommes et son évolution au cours de cette période », comme c'est le cas pour les mots Préhistoire et Histoire. La protohistoire est donc aussi l’étude respective de l'une ou l'autre de ces périodes.
Darsah
Darsah est une île inhabitée de l'archipel yéménite de Socotra située  en mer d'Arabie au débouché du golfe d'Aden.

L'île est située au sud de l'île de Socotra. Sa superficie est de 10 km², elle est ainsi la plus grande île inhabitée de l'archipel. Elle est rattachée au Gouvernorat de Socotra (Yémen).

Elle est située à 17 km de l'île voisine Samhah.

Mer d'Arabie
Mer Arabique, Mer d'Oman

La mer d'Arabie ou mer d'Oman, parfois appelée mer Arabique (en arabe بحر العرب translittéré en Baḥr al-'Arab, en sanskrit सिन्धु सागर, translittéré en Sindhu Sagar), est une mer bordière de l'océan Indien située entre la péninsule Arabique à l'ouest, le sous-continent indien au nord-est et à l'est, les îles Laquedives à l'est-sud-est et l'archipel des Maldives au sud-est. Elle est limitée au nord-ouest par le golfe d'Oman et à l'ouest par le golfe d'Aden. Sa surface est d'environ 3,6 millions de km2, et sa profondeur maximale est de 5 800 m.

La mer est une voie de passage très fréquentée, en particulier pour le transport de pétrole venant du golfe Persique. Elle est également une zone de pêche pour les pays côtiers (sardine, maquereau, thon).
Abbaye Notre-Dame et Saint-Paul de Bellevaux
L'abbaye Notre-Dame et Saint-Paul de Bellevaux est une ancienne abbaye de prémontrés située dans la commune de Limanton, dans la Nièvre.

Fondée à la fin du XIIe siècle, dans le sud-est de l'ancien diocèse de Nevers, elle prospère rapidement dans son environnement local et régional grâce à son temporel étendu et à son rayonnement funéraire ; son abbatiale étant considérée comme la nécropole du Bazois.

Unique établissement prémontré implanté en Nivernais, il s'agit de la seule des quatre implantations de l’ordre en Bourgogne possédant un bâti médiéval encore en élévation.

Château-Chinon
Château-Chinon (prononcé [ ʃato ʃinɔ̃] ) est une ville située dans le département français de la Nièvre. Elle est divisée en deux communes — Château-Chinon (Ville) et Château-Chinon (Campagne) — en 1792.
Rafle de maïs
La rafle de maïs est le rachis (axe) de l'épi de maïs (Zea mays ssp. mays), inflorescence femelle du maïs sur lequel sont implantés les épillets femelles qui se transforment en grains lors de la maturation de la plante.

Encore tendres, les jeunes épis peuvent être consommés entièrement, mais au fur et à mesure que la plante mûrit la rafle devient plus dure jusqu'à ce que les grains deviennent la partie principalement comestible.

Lors de la récolte du maïs, les rafles peuvent être ramassées sous forme d'épis entiers (ce qui est nécessaire pour le « maïs en épi ») ou au contraire, dans le cas du moissonnage mécanique, peuvent être abandonnées sur le champ avec les autres résidus de culture (tiges et feuilles).

La partie la plus interne de la rafle est blanche et a une consistance tendre.

Moissonneuse-batteuse
Une moissonneuse-batteuse est une machine agricole destinée à la récolte de graines, principalement de céréales, en une seule opération. Elle réalise simultanément la moisson et le battage ainsi qu'optionnellement le broyage des pailles.

Les moissonneuses-batteuses spécialisées pour la récolte du maïs sont aussi appelées cueilleur-égreneur ou corn-sheller.

Il en existe trois types : les conventionnelles possèdent des secoueurs, les axiales ont des rotors à la place du batteur et des secoueurs, et les hybrides tiennent des deux avec batteur et rotor.
Sesshū
Sesshū Tōyō (雪舟 等楊), né en 1420 - mort le 26 août 1506, dit Sesshū , élève de Shūbun au Shōkoku-ji à Kyōto, est un moine peintre bouddhiste japonais qui pratiquait le suiboku (lavis à l'encre de Chine).

Shōkoku-ji
Le Shōkoku-ji (相国寺, Shōkoku-ji) est un temple bouddhiste zen relevant de l'école Rinzai fondé à Kyoto en 1382 par le shogun Yoshimitsu Ashikaga et le moine Musō Soseki. C'est le deuxième des gozan (五山, cinq grands temples) de Kyoto. Le temple est le chef de file de l'une des quatorze branches autonomes de cette école.