TERMIUM Plus®

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

ENSEMBLE-SUPPORT [2 fiches]

Fiche 1 1988-11-04

Anglais

Subject field(s)
  • Artificial Intelligence
CONT

A set of support deduction is one in which each derived clause is a set of support resolvent. A set of support refutation is a set of support deduction of the entry clause.

DEF

A subset g of a set d is called a set of support for d, if and only if g-d is satisfiable. A set of support resolvent is one in which at least one parent is selected from g or is a descendent of g.

Français

Domaine(s)
  • Intelligence artificielle

Espagnol

Conserver la fiche 1

Fiche 2 1981-05-21

Anglais

Subject field(s)
  • Mechanical Components
  • Joining Elements (Mechanical Components)
OBS

The vertical force on each support component has been calculated as being 34 kN maximum, i.e. including momentary overloading of the floor element.

Français

Domaine(s)
  • Composants mécaniques
  • Éléments d'assemblage (Composants mécaniques)
OBS

La poussée verticale sur chaque ensemble-support a été calculée comme atteignant 34 kN au maximum, c'est-à-dire surcharge occasionnelle incluse.

Espagnol

Conserver la fiche 2

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

© Services publics et Approvisionnement Canada, 2024
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 :