hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Système logique
Un système logique est un système formel dédié au raisonnement et aux déductions logiques. Il est constitué d'un ensemble de formules (y compris un ensemble d'axiomes donnés pour vrais et comme point de départ du raisonnement) ; d'un ensemble de règles de déduction permettant de définir le type de raisonnement applicables dans ce système ; ainsi que d'une interprétation des formules, permettant de préciser le sens des formules. Les deux premiers éléments cités font d'un système logique un système formel alors que le troisième est spécifique aux systèmes logiques.

On compte de nombreux systèmes logiques, dont notablement le système de déduction naturelle. En logique classique, l'interprétation est une fonction qui prend ses valeurs dans un ensemble binaire de valeur de vérité (par exemple vrai ou faux), en fonction de la valeur de vérité des variables des formules.

Portail de la logique

Déduction naturelle
En logique mathématique, la déduction naturelle est un système formel où les règles de déduction des démonstrations sont proches des façons naturelles de raisonner. C'est une étape importante de l'histoire de la théorie de la démonstration pour plusieurs raisons :

contrairement aux systèmes à la Hilbert fondés sur des listes d'axiomes logiques plus ou moins ad hoc, la déduction naturelle repose sur un principe systématique de symétrie : pour chaque connecteur, on donne une paire de règles duales (introduction/élimination) ;

elle a conduit Gentzen à inventer un autre formalisme très important en théorie de la démonstration, encore plus « symétrique » : le calcul des séquents ;

elle a permis dans les années 1960 d'identifier la première instance de l'isomorphisme de Curry-Howard.

La terminologie « déduction naturelle » a été suggérée, par Gentzen, eu égard à l'aspect peu intuitif des systèmes à la Hilbert.
Célestin Sieur
Célestin Sieur né le 27 décembre 1860 à La Faye et mort le 12 juin 1955 à Paris, est un chirurgien militaire français, médecin général inspecteur. Il a été nommé président de l'Académie nationale de médecine en 1939.

École du service de santé des armées de Lyon-Bron
L'École du service de santé des armées de Lyon-Bron a formé de 1888 à 2011 les médecins des armées françaises (armée de terre, armée de l'air, marine nationale, et gendarmerie nationale), conjointement avec l'École du service de santé des armées de Bordeaux. L'École de Lyon a eu la particularité de former aussi des pharmaciens, des dentistes et des vétérinaires des armées. Elle a également abrité depuis le 3 novembre 2003, le centre de préparation aux opérations extérieures du service de santé (CPOPEX).

Sa mission a été reprise par l'École de santé des armées.
Black Snow
Black snow est le terme anglais pour la neige noire, un phénomène dû aux émissions de particules de suie dans l'atmosphère.

Black Snow est un titre d'œuvre notamment porté par :

Black Snow (Kuroi yuki), un film japonais réalisé par Tetsuji Takechi en 1965 ;

Black Snow, le titre original du film américain La Preuve par 9 mm, réalisé par Frank Patterson en 1989 ;

Black Snow (Ben ming nian), le titre anglais d'un film chinois réalisé par Xie Fei en 1990 ;

Black Snow, un album du groupe Snowgoons sorti en 2008.

Neige noire
La neige noire est le noircissement des calottes glaciaires, couches neigeuses, glaciers, et banquise dû aux particules de suie. Les particules de suie sont émises par les combustions incomplètes de combustibles fossiles et de la biomasse.  Son dépôt accroît la fonte de la neige et de la glace. Plus que d’autres régions, l’Arctique, tout comme les régions alpines, pourrait tirer avantage de la réduction des émissions de carbone noir,,.
Grouse Lodge
Grouse Lodge est un studio d'enregistrement situé près de Moate, dans le comté de Westmeath en Irlande. Il a été créé en 2002 par Paddy Dunning, qui a fait entièrement restaurer une résidence datant de 1724 et laissée à l'abandon. Il comporte deux studios ainsi que des quartiers résidentiels et des structures de services (piscine, sauna…) pour les artistes. Michael Jackson, R.E.M., Muse, Snow Patrol et les Manic Street Preachers y ont notamment séjourné pour enregistrer.

Parmi les albums enregistrés intégralement ou en partie à Grouse Lodge, on peut citer : Absolution de Muse (2003), Here Today – Gone Tomorrow de Hitomi Yaida (2005), Face to Face de Westlife (2005), Eyes Open (2006) de Snow Patrol, Motion in the Ocean de McFly (2006), A Weekend in the City de Bloc Party (2007), Send Away the Tigers des Manic Street Preachers (2007), An End Has a Start d'Editors (2007), A Hundred Million Suns de Snow Patrol (2008) et Accelerate de R.E.M. (2008).

Bloc Party
Bloc Party [blɑk ˈpɑːti] est un groupe de rock alternatif indépendant britannique, originaire de l'Essex, Angleterre. Formé en 1999 autour du chanteur Kele Okereke, le groupe s'inspire musicalement des Smiths, Joy Division, Sonic Youth, The Cure, Mogwai, Siouxsie and the Banshees, Talking Heads et dans leur travail plus récent, Radiohead.

Leur premier album Silent Alarm, sorti en 2005, est élu album de l'année par le NME.
Heremod
Heremod (en vieux norrois : Hermóðr, en proto-norrois : Harimōdaz, en vieil anglais: Hēremōd, et en latin : Heremodius) est un roi légendaire danois du IIe siècle. Il règne sur les peuples des Jutes et les Angles.

Il est mentionné dans des sources scandinaves (principalement la Geste des Danois de Saxo Grammaticus), ainsi que dans Beowulf.

Il est le fils de Iterman Hadersson selon certaines sources.

Jutes
Les Jutes sont un peuple germanique de la mer du Nord localisé aux premiers siècles de l'ère chrétienne dans la partie méridionale de la péninsule du Jutland au Danemark, à laquelle ils ont donné leur nom.
Maison d'Alam
La Maison d'Alam est une maison historique célèbre à Ispahan, en Iran. Le propriétaire de la maison fut un aristocrate de la dynastie kadjar. La maison consiste en une cour, qui est entourée des constructions résidentielles. Sa partie nord se distingue par une veranda aux colonnades et une salle de réception. Il y a deux chambres aux deux côtés de la salle de réception. Cette salle est décorée avec du stuc et des miroirs coupés. La salle donne sur la véranda par sept fenêtres à guillotine et mène aux chambres par les portes marquetées. La partie du Sud de la maison est une salle à manger étroite et longue, qui a les fenêtres peintes. La partie est et la partie ouest ont un dessin identique. Toutes les deux ont des salles de réception, qui mènent aux chambres les plus petites.

Dynastie Qadjar
La dynastie Qadjar (ou qâdjâre, ou, anciennement, Kadjar/kadjare) ou des Qadjars (ou Qâdjârs/Kadjars ou, invariablement, Qadjar/Qajar/Qājār/Kadjar ; en azéri : قاجارلار Qacarlar ; en persan : قاجاریان Qâjâriyân) est une dynastie iranienne d'origine turkmène (ils sont considérés comme un sous-groupe des Azerbaïdjanais) installée sur les bords de la mer Caspienne depuis les invasions mongoles, qui régna sur l'Iran de 1789 à sa déposition par le parlement en 1925.
Monday Mornings
Monday Mornings est une série télévisée américaine en dix épisodes de 42 minutes créée par David E. Kelley d'après un roman de Sanjay Gupta et diffusée entre le 4 février et le 8 avril 2013 sur TNT aux États-Unis et en simultané sur Bravo! au Canada.

La série est diffusée depuis le 22 mars 2017 sur TF1 en troisième partie de soirée cependant, elle reste inédite dans les autres pays francophones.

CTV Drama Channel
CTV Drama Channel (anciennement Bravo) est une chaîne de télévision canadienne spécialisée de catégorie A de langue anglaise appartenant à Bell Média avec une programmation de divertissement avec un gros plan sur les séries télévisées et les films.

Le nom Bravo était utilisé sous licence de NBC Universal, propriétaire de Bravo aux États-Unis.
Ambrines
Ambrines est une commune française située dans le département du Pas-de-Calais en région Hauts-de-France. Ses habitants sont appelés les Ambrinois. Sa population est de 212 habitants au recensement de 2022, elle connait un pic de population en 1866 avec 320 habitants. Elle est membre de la communauté de communes des Campagnes de l'Artois. La commune s'inscrit dans les « paysages du Ternois » tels qu'ils sont définis dans l'atlas de paysages.

Canche (fleuve)
La Canche est un fleuve côtier français du Pas-de-Calais, long de 100,2 kilomètres. Bien que la longueur de son cours soit relativement modeste, la Canche bénéficie de l'apport de nombreux affluents et d'un débit élevé. Sa vallée est le témoignage, depuis le Moyen Âge, de la mise en valeur par les hommes d'un milieu humide.

Son estuaire, typiquement picard avec son poulier et son musoir, a été transformé, après avoir échappé à l'artificialisation, en milieu protégé, recelant une flore et une faune variées. L'estuaire de la Canche et la baie de Canche font partie d'un des nouveaux parcs naturels marins de France, le parc naturel marin des estuaires picards et de la mer d'Opale (qui inclut en fait sept estuaires en comptant les estuaires picards, soumis à enquête publique en 2011 et créé en décembre 2012).
Działyń (Mazovie)
Działyń (prononciation : [ˈd͡ʑawɨɲ]) est un village polonais de la gmina d'Olszewo-Borki dans le powiat d'Ostrołęka de la voïvodie de Mazovie dans le centre-est de la Pologne.

Il se situe à environ 11 kilomètres à l'ouest d'Ostrołęka (siège du powiat) et à 99 kilomètres au nord de Varsovie (capitale de la Pologne).

Le village compte approximativement une population de 110 habitants.

Ostrołęka
Ostrołęka (prononcé en polonais : [ɔstrɔˈwɛŋka]), ou Ostrolenka en français, est une ville de la voïvodie de Mazovie, dans le nord-est de la Pologne.

Ville-powiat, elle est le chef-lieu de la powiat d'Ostrołęka, sans en faire partie.

Sa population s'élevait à 53 287 habitants en 2012 et 52 071 en 2019. Elle est la cinquième ville la plus peuplée de la voïvodie.
Route 919 (Saskatchewan)
La Route 919 est une route provinciale du nord-ouest de la Saskatchewan. Elle relie la route 21 et la route 950 à un cul-de-sac au champ de tir de la base des Forces canadiennes de Cold Lake. Elle parcourt environ 46 km (29 mi).

Base des Forces canadiennes Cold Lake
La base des Forces canadienne (BFC) Cold Lake est une base des Forces canadiennes située à Cold Lake en Alberta. Elle est sous le commandement de l'Aviation royale canadienne et l'une des deux bases au Canada hébergeant le chasseur CF-18 Hornet. La 4e Escadre Cold Lake est la principale unité occupant la base. Le terminal est nommé officiellement Cold Lake/Group Captain R.W. McNair Airport. L'utilisation internationale de l'aéroport est réservée exclusivement aux aéronefs militaires. Le terminal comprend également une section civile à l'une de ses extrémités utilisée régulièrement pour des vols civils prévus reliant Cold Lake à Calgary. Le trafic aérien non programmé est généralement envoyé à l'aéroport régional de Cold Lake.
Vol d'essai de Falcon Heavy
Le vol d'essai de Falcon Heavy (également connu sous le nom de mission de démonstration du Falcon Heavy) fut la première tentative de SpaceX de lancer une fusée Falcon Heavy, le 6 février 2018 à 20 h 45 UTC. Ce test réussi a introduit le Falcon Heavy comme la fusée la plus puissante en service à l'époque, produisant une poussée de 5 000 000 livres-force et disposant de plus du double de la capacité d'emport de la fusée suivante la plus puissante, la Delta IV Heavy de United Launch Alliance.

Capacité d'emport
La capacité d'emport, dans le domaine de l'astronautique, est la masse maximale de charge utile qu'un lanceur peut placer sur une orbite déterminée.

Dans le domaine aéronautique, la capacité d'emport est la charge utile constituée des passagers et du fret (en anglais : payload) ainsi que la charge liée au carburant. La capacité d'emport est ainsi une caractéristique importante pour un aéronef, complétée par la distance franchissable, le nombre de passagers (pax), la vitesse, etc.
Équipe d'Égypte féminine de volley-ball
L'équipe d'Égypte féminine de volley-ball est composée des meilleures joueuses égyptiennes sélectionnées par la Fédération égyptienne de volley-ball (Egyptian Volleyball Federation, EVF). Elle est actuellement classée au 38e rang de la Fédération internationale de volley-ball au 25 août 2023.

Fédération internationale de volley-ball
La Fédération internationale de volley-ball (FIVB) est l'association des fédérations nationales ayant pour vocation de gérer et de développer le volley-ball au niveau planétaire. Son siège est situé à Lausanne en Suisse. Elle gère les compétitions de volley en salle, de Beach-volley et de Snow volleyball.
Cameroon Development Corporation
La Cameroon Development Corporation, anciennement la Cameroons Development Corporation (CDC) est une entreprise agro-industrielle de la région du Sud-Ouest du Cameroun. Elle constitue le premier employeur du pays après l'État et l'un des principaux exportateurs.

Région du Sud-Ouest (Cameroun)
La région du Sud-Ouest (en anglais : Southwest Region), est l'une des dix régions du Cameroun, située à l'extrême ouest du pays, à la frontière du Nigeria. Sa capitale est Buéa. La région est l'une des deux régions anglophones du Cameroun bénéficiant d'un statut spécial, avec celle du Nord-Ouest.
Réserve naturelle Valle Tierra Mayor
La reserva natural Valle Tierra Mayor (français : réserve naturelle Valle Tierra Mayor) est une zone naturelle protégée située dans le département d'Ushuaïa, dans la province de Terre de Feu, en Argentine, à 20 km de la capitale.

Ushuaïa
Ushuaïa ou  Ushuaia (prononcé en espagnol : /u.ˈswa.ʝa/) est la capitale de la province de Terre de Feu, Antarctique et Îles de l'Atlantique Sud, la plus méridionale de l'Argentine. Située dans le sud de la grande île de la Terre de Feu en bordure de la baie du même nom, à proximité du canal Beagle et au sud-ouest de la province, dans le département d'Ushuaïa, la ville est considérée comme étant la plus australe du monde. Puerto Williams au Chili est situé plus au sud mais le port n'est pas considéré comme une ville.

Ushuaïa a une superficie de 9 390 km2 et compte 82 615 habitants en 2022. Elle dispose d'un port en eaux profondes qui est l'un des plus proches de l'Antarctique et est entourée par les monts Martial et Olivia et leurs vallées.
Majid Talal Arslane
Le prince Majid Talal Arslane, né le 8 avril 1994, est le fils aîné du prince Talal Arslane et la princesse Zeina et petit-fils du prince Magid Arslane, héros de l'indépendance du Liban. Majid fait partie de la famille princière Arslane (descendants des Lakhmides, rois de Al-Hira) qui est une des dynasties arabes les plus anciennes et plus puissantes. Il est l'héritier de la maison Arslane dont le chef aujourd'hui est son père, le prince Talal.

Émir
Émir est un titre de noblesse utilisé dans le monde musulman. En arabe, أمير ʾamīr est celui qui donne des ordres, mot lui-même dérivé du verbe أَمَرَ ʾamara (commander).

Le mot « émir » peut signifier « prince » (« émira » désignant « princesse ») lorsqu'il désigne une personne régnant sur un territoire, ou « général » lorsqu'il désigne un commandant d'armée. On remarque ainsi que ce titre peut être comparé à celui de duc du monde européen.

Le territoire dirigé par un émir se nomme émirat (principauté en français).

Le terme émir peut également être porté comme prénom, orthographié dès lors « Amir » (ou « Amira » au féminin).

Le terme amiral est dérivé de ce titre. Une première étymologie le donne comme dérivé de la locution أمير البحر ʾamīr al baḥr (« émir/prince de la mer »)[réf. souhaitée], étymologie par la suite contestée au profit de la locution ʾamīr al ālī (« très grand chef »).
Johannes Tinctoris
Johannes Tinctoris, latinisation de Jehan le Taintenier ou Jean Teinturier, ou Jean de Vaerwere (né vers 1435 à Nivelles,, mort en 1511,) est un compositeur, musicien et théoricien de la musique brabançonne de l'École franco-flamande. Auteur du premier dictionnaire de termes musicaux, son œuvre la plus célèbre en tant que compositeur est une messe qui développe le motif musical d'une chanson souvent utilisée à l'époque dans des compositions polyphoniques : L'Homme armé (la Missa "Cunctorum plasmator summus").

Théorie de la musique occidentale
La théorie de la musique occidentale est une branche de la musicologie qui a pour objet la description du fonctionnement de la musique occidentale, ainsi que du système de notation qui lui est associé. Elle étudie en particulier la musique tonale et le système tonal, qui correspond à une période allant de la fin de la Renaissance au début du XXe siècle, mais elle envisage aussi les origines au Moyen Âge, ainsi que les développements qui accompagnent la dissolution de la tonalité au XXe siècle et au XXIe siècle : à ce titre, elle traite par exemple de musique sérielle, de jazz, de musiques populaires, etc.
Nismo
NisMo (Nissan Motorsports), est la division haute performance, fondée en 1984, du constructeur automobile japonais Nissan. Nismo est l’incarnation du label performance de Nissan, pour des sportives homologuées sur route et/ou dédiées à la compétition. Elle fait reposer son savoir-faire sur l'expérience de la compétition.

Nissan R89C
La Nissan R89C est une voiture de course du FIA Groupe C développée par Lola Cars dans le but de participer au championnat du monde des voitures de sport, au championnat du Japon de sport-prototypes ainsi qu'aux 24 Heures du Mans.
Photophone (appareil)
Un photophone est un téléphone mobile dont le capteur photographique permet de prendre des photos numériques de  haute résolution, capables de concurrencer celles des appareils photographiques numériques compacts.

Dans cette acception, la majorité des téléphones mobiles commercialisés actuellement, smartphones et téléphones mobiles basiques (excepté les produits d'entrée de gamme) correspondent à cette définition du photophone.

Appareil photographique compact
Un appareil photographique compact est un appareil photographique de petite taille et léger, le plus souvent totalement automatisé, et dont la visée se fait généralement sur un écran à cristaux liquides.

Face au développement des appareils se sont beaucoup perfectionnés dans les années 2010, et ils se divisent en plusieurs catégories (ludique, antichoc, gros zoom et expert). Les modèles destinés au grand public disposent de modes intelligents performants, adaptés aux personnes souhaitant un appareil simple sans se soucier de la technique — ouverture, temps de pose, sensibilité.

Au début des années 2020, les smartphones ayant tellement progressé, seuls les modèles experts et les modèles à fort zoom optique permettent à cette catégorie d'appareils photo de subsister avec un volume de vente fortement réduit.
KVET
KVET est un indicatif de radiodiffusion aux États-Unis pouvant faire référence à :

KVET (AM), station de radio sportive (1300 AM) basée à Austin, au Texas ;

KVET-FM (en), station de radio musicale (98.1 FM) basée à Austin, au Texas.

KVET (AM)
KVET, également connue sous le nom AM 1300 The Zone, est une station de radio américaine basée à Austin, au Texas. Propriété de iHeartMedia, elle a un format de radio d'information sportive. Elle diffuse ses programmes sur la fréquence 1 300 kHz AM.
Stade Miguel-Grau (Callao)
Le stade Miguel-Grau est la plus importante enceinte de football du port péruvien de Callao. Il a été inauguré en 1996.

Propriété de la province de Callao, le stade est le lieu de résidence des matchs à domicile de l'Academia Cantolao et du Sport Boys. Sa capacité actuelle est de 17 000 places assises.

Academia Deportiva Cantolao
L'Academia Deportiva Cantolao est un club péruvien de football situé dans le district de La Punta, à Callao.

Il reprend le nom d'une plage du port de Callao et s'est spécialisé dans la formation de jeunes joueurs depuis sa fondation en 1981. Ainsi, des footballeurs de renom tels que Claudio Pizarro, Carlos Zambrano ou Yoshimar Yotún sont issus de ses rangs.
Oregon Short Line Railroad
L'Oregon Short Line Railroad (sigle de l'AAR : OSL) était un chemin de fer américain de classe I qui desservait les États du Wyoming, de l'Idaho, de l'Utah, du Montana, et de l'Oregon.

Il fut d'abord organisé en 1881 sous le nom d'Oregon Short Line Railway comme filiale de l'Union Pacific Railway. L'Union Pacific souhaitait que cette ligne fût la plus courte (the short line) entre le Wyoming et l'Oregon. En 1889 la ligne fusionna avec l'Utah and Northern Railway et d'autres petites lignes pour donner l'Oregon Short Line and Utah Northern Railway. À la suite de la faillite de l'Union Pacific, la ligne fut placée en redressement judiciaire et réorganisée en Oregon Short Line Railroad en 1897. L'année suivante, il repassa sous le contrôle de l'Union Pacific Railroad.

Association of American Railroads
L’Association of American Railroads (abrégée AAR que l'on peut traduire par Association des chemins de fer américains) est un regroupement des principales compagnies ferroviaires d'Amérique du Nord (Canada, États-Unis, Mexique). Il s'agit d'une certaine manière du pendant nord-américain de l'Union internationale des chemins de fer (UIC) européenne.
Médecine en Azerbaïdjan
La médecine en Azerbaïdjan sert à protéger la santé et la prospérité des citoyens de la République d'Azerbaïdjan.

Les réformes dans le domaine des soins médicaux et de la direction du système de santé font partie d'un programme de développement stratégique mondial d'infrastructures économiques et sociales. Ce programme est basé sur les principes de l'établissement de la société démocratique de haute vie avec l'économie de marché.

Prophylaxie
La prophylaxie, appelée aussi mesure prophylactique, désigne le processus actif ou passif ayant pour but de prévenir l'apparition, la propagation ou l'aggravation d'une maladie, par opposition à la thérapie curative, qui vise à la guérir. En défense des cultures, les mesures prophylactiques désignent des méthodes préventives appliquées avant même la mise en place de la culture, protégeant la plante contre une maladie et, par extension, contre tout ennemi.

Le terme fait aussi bien référence à des procédés médicamenteux qu'à des campagnes de prévention ou à de « bonnes pratiques » adaptées. Une prophylaxie peut amener à suivre un traitement médical, mais il s'agit avant tout d'un processus liant la prise de conscience d'un risque constaté ou pressenti, à une réponse médicale ou sanitaire.

La prophylaxie désigne aussi, en histoire et en ethnologie, un type de pratiques magiques ayant les mêmes buts. La prophylaxie aux échecs est le fait d'empêcher les plans adverses.
230 État 960 à 984
Les Ten wheel numéros 960 à 984 sont des locomotives à vapeur construites par la société Sächsische Maschinenfabrik, sise à Chemnitz, entre 1910 et 1918 pour les chemins de fer de Saxe où elles furent classées : série XII H2 n° ?? à ??. Elles furent attribuées à l'Administration des chemins de fer de l'État au titre des prestations d'armistice à la suite de la Première Guerre mondiale. Elles étaient des machines à trois essieux moteurs couplés de la classe des 230.

Sächsische Maschinenfabrik
Sächsische Maschinenfabrik ([zɛ:ksiʃemaʃinə̆nfabrik]) était une entreprise allemande de construction mécanique de Chemnitz. Elle s'imposa comme l'une des plus importantes entreprises industrielle du Royaume de Saxe dans la seconde moitié du XIXe siècle.
Lavoir de Casabona
Le lavoir de Casabona est le plus grand lavoir de l'île de La Réunion, département d'outre-mer français dans le sud-ouest de l'océan Indien. Situé ruelle du Lavoir, dans le quartier de Casabona, à Saint-Pierre, il est alimenté par le canal Saint-Étienne. Il est inscrit à l'inventaire supplémentaire des Monuments historiques depuis le 12 janvier 2006,.

Canal Saint-Étienne (La Réunion)
Le canal Saint-Étienne est un canal d'irrigation de l'île de La Réunion, département et région d'outre-mer français dans le Sud-Ouest de l'océan Indien. Situé sur le territoire de la commune de Saint-Pierre, il alimente en eau le centre-ville et des quartiers environnants à partir du Bras de la Plaine, situé plus au nord. Construit de 1821 à 1827, il mesure d'abord neuf kiomètres, puis dix-sept. Il irrigue alors des terres agricoles jusqu'à Grands Bois.