TERMIUM Plus®

La banque de données terminologiques et linguistiques du gouvernement du Canada.

WFF [3 fiches]

Fiche 1 2019-10-31

Anglais

Subject field(s)
  • Research Laboratories and Centres
  • Space Centres
OBS

[It is] a rocket launch site on the eastern shore of Virginia ... The Wallops facility operated under NASA headquarters in Washington, D.C., until it became part of the nearby NASA Goddard Space Flight Center in 1981.

OBS

In 1974, the Wallops Station was named Wallops Flight Center. The name was changed to Wallops Flight Facility in 1981, when it became part of Goddard Space Flight Center.

Terme(s)-clé(s)
  • Wallops Flight Centre

Français

Domaine(s)
  • Laboratoires et centres de recherche
  • Centres spatiaux
OBS

Centre spatial qui, depuis 1981, fait partie des installations du Goddard Space Flight Center de la National Aeronautics and Space Administration (NASA) et est situé dans l'État de Virginie aux États-Unis.

OBS

En 1974, Wallops Station devient Wallops Flight Center et est rebaptisé Wallops Flight Facility en 1981.

OBS

centre spatial Wallops; centre spatial de Wallops Island : bien que ces termes soient utilisés, ils ne sont pas officiels.

Terme(s)-clé(s)
  • Wallops Flight Centre

Espagnol

Conserver la fiche 1

Fiche 2 2011-03-08

Anglais

Subject field(s)
  • Artificial Intelligence
Terme(s)-clé(s)
  • well formed formula

Français

Domaine(s)
  • Intelligence artificielle
DEF

Expression ou énoncé construit exclusivement à l'aide de symboles appartenant à l'alphabet d'un langage formel et conforme à la syntaxe de ce langage.

OBS

L'on distingue les formules «vraies» pour toutes les interprétations des formules «fausses» : les formules «consistantes» sont vraies (elles admettent un modèle), les formules «valides» sont toujours vraies, quelles que soient les valeurs de vérité attribuées aux propositions qu'elles contiennent. La négation d'une formule valide est «inconsistante» et la négation d'une formule consistante est «invalide». Une formule qui n'est ni valide, ni inconsistante, est parfois appelée «contingente». Une formule valide est appelée «tautologie» en calcul propositionnel.

Espagnol

Conserver la fiche 2

Fiche 3 1989-07-31

Anglais

Subject field(s)
  • Organizations, Administrative Units and Committees
  • Various Proper Names
  • Cinematography
OBS

11th, Aug. 21 - Sept. 1, 1987.

OBS

Aug. 24-Sept. 4, 1989.

Terme(s)-clé(s)
  • Montreal Festival of Film
  • Montreal World Festival of Films
  • Montreal Film Festival
  • Film Festival of Montreal
  • World Festival of Film
  • Festival of Film of Montreal
  • International Film Festival

Français

Domaine(s)
  • Organismes, unités administratives et comités
  • Appellations diverses
  • Cinématographie
Terme(s)-clé(s)
  • Festival mondial des films
  • Festival international des films

Espagnol

Conserver la fiche 3

Avis de droit d’auteur pour la banque de données TERMIUM Plus®

© Services publics et Approvisionnement Canada, 2025
TERMIUM Plus®, la banque de données terminologiques et linguistiques du gouvernement du Canada
Un produit du Bureau de la traduction

En vedette

Portail linguistique du Canada

Accédez à une collection de ressources canadiennes sur tous les aspects du français et de l'anglais, y compris des jeux.

Outils d'aide à la rédaction

Les outils d’aide à la rédaction du Portail linguistique ont fait peau neuve! Faciles à consulter, ils vous donnent accès à une foule de renseignements utiles pour mieux écrire en français et en anglais.

Lexiques et vocabulaires

Accédez aux lexiques et vocabulaires du Bureau de la traduction.

Date de modification :