TERMIUM Plus®
From: Translation Bureau
On social media
Consult the Government of Canada’s terminology data bank.
UNAIRE [5 records]
Record 1 - internal organization data 2026-01-08
Record 1, English
Record 1, Subject field(s)
- Mathematics
- Artificial Intelligence
Record 1, Main entry term, English
- unary constraint
1, record 1, English, unary%20constraint
correct
Record 1, Abbreviations, English
Record 1, Synonyms, English
Record 1, Textual support, English
Record number: 1, Textual support number: 1 CONT
[A] unary constraint involves one variable. 2, record 1, English, - unary%20constraint
Record 1, French
Record 1, Domaine(s)
- Mathématiques
- Intelligence artificielle
Record 1, Main entry term, French
- contrainte unaire
1, record 1, French, contrainte%20unaire
correct, feminine noun
Record 1, Abbreviations, French
Record 1, Synonyms, French
Record 1, Textual support, French
Record number: 1, Textual support number: 1 CONT
[Une] contrainte unaire [...] porte sur une seule variable [...] 2, record 1, French, - contrainte%20unaire
Record 1, Spanish
Record 1, Campo(s) temático(s)
- Matemáticas
- Inteligencia artificial
Record 1, Main entry term, Spanish
- restricción unaria
1, record 1, Spanish, restricci%C3%B3n%20unaria
correct, feminine noun
Record 1, Abbreviations, Spanish
Record 1, Synonyms, Spanish
Record 1, Textual support, Spanish
Record number: 1, Textual support number: 1 DEF
[...] restricción que consta de una sola variable. 1, record 1, Spanish, - restricci%C3%B3n%20unaria
Record 2 - internal organization data 1993-05-20
Record 2, English
Record 2, Subject field(s)
- Artificial Intelligence
Record 2, Main entry term, English
- unary predicate
1, record 2, English, unary%20predicate
correct
Record 2, Abbreviations, English
Record 2, Synonyms, English
Record 2, Textual support, English
Record number: 2, Textual support number: 1 CONT
Frames that represents classes in FRL translate into unary predicates in logic. 2, record 2, English, - unary%20predicate
Record 2, French
Record 2, Domaine(s)
- Intelligence artificielle
Record 2, Main entry term, French
- prédicat unaire
1, record 2, French, pr%C3%A9dicat%20unaire
correct, masculine noun
Record 2, Abbreviations, French
Record 2, Synonyms, French
Record 2, Textual support, French
Record number: 2, Textual support number: 1 CONT
"Le fer est un métal. "Cette phrase signifie que tout ce qui est fait d e fer est de métal, mais que tous les métaux ne sont pas de fer.(...) de façon logique on a 3 solutions. 1. soit on dit que Métal est un prédicat unaire MÉTAL(x) qui prend la valeur VRAI quand x=FER(...) 2. Soit on dit que Métal et Fer sont deux prédicats unaires dont l'un implique l'autre.(...) 3. soit on se réfère directement à une hiérarchie et on dit que la sorte Fe est "inférieure à" ou "fille de" la sorte Métal. 1, record 2, French, - pr%C3%A9dicat%20unaire
Record 2, Spanish
Record 2, Textual support, Spanish
Record 3 - internal organization data 1992-10-30
Record 3, English
Record 3, Subject field(s)
- Mathematics
Record 3, Main entry term, English
- combinatory logic
1, record 3, English, combinatory%20logic
correct
Record 3, Abbreviations, English
Record 3, Synonyms, English
Record 3, Textual support, English
Record number: 3, Textual support number: 1 DEF
A branch of symbolic logic that deals esp. with the notion of substitution and the eliminability of variables in favor of special function symbols. 1, record 3, English, - combinatory%20logic
Record 3, French
Record 3, Domaine(s)
- Mathématiques
Record 3, Main entry term, French
- logique combinatoire
1, record 3, French, logique%20combinatoire
correct, feminine noun
Record 3, Abbreviations, French
Record 3, Synonyms, French
Record 3, Textual support, French
Record number: 3, Textual support number: 1 DEF
Théorie logique due à H. B. Curry, et fondée sur l'élimination complète des variables et des connecteurs à l'exception d’une notation pour désigner l'application d’une fonction unaire à son argument. 1, record 3, French, - logique%20combinatoire
Record 3, Spanish
Record 3, Textual support, Spanish
Record 4 - internal organization data 1989-12-07
Record 4, English
Record 4, Subject field(s)
- Artificial Intelligence
Record 4, Main entry term, English
- clause
1, record 4, English, clause
correct
Record 4, Abbreviations, English
Record 4, Synonyms, English
Record 4, Textual support, English
Record 4, French
Record 4, Domaine(s)
- Intelligence artificielle
Record 4, Main entry term, French
- clause
1, record 4, French, clause
correct, feminine noun
Record 4, Abbreviations, French
Record 4, Synonyms, French
Record 4, Textual support, French
Record number: 4, Textual support number: 1 DEF
Disjonction de littéraux dans un énoncé exprimé sous forme normale conjonctive. Une clause "pure" ne contient pas des littéraux répétés. 1, record 4, French, - clause
Record number: 4, Textual support number: 1 CONT
clause centrale, clause concrète, clause de bord, clause d’entrée, clause de sortie, clause parente, clause résolvante, clause vide, transformation en clauses 1, record 4, French, - clause
Record number: 4, Textual support number: 1 OBS
Une clause unaire positive, réduite à un seul littéral positif, représente un "fait" ou conclusion ne dépendant d’aucune hypothèse. 1, record 4, French, - clause
Record 4, Spanish
Record 4, Textual support, Spanish
Record 5 - internal organization data 1989-12-05
Record 5, English
Record 5, Subject field(s)
- Artificial Intelligence
Record 5, Main entry term, English
- zero-adic
1, record 5, English, zero%2Dadic
correct
Record 5, Abbreviations, English
Record 5, Synonyms, English
Record 5, Textual support, English
Record 5, French
Record 5, Domaine(s)
- Intelligence artificielle
Record 5, Main entry term, French
- Mullaire
1, record 5, French, Mullaire
correct
Record 5, Abbreviations, French
Record 5, Synonyms, French
Record 5, Textual support, French
Record number: 5, Textual support number: 1 DEF
Qualifie un opérateur à zéro paramètre. 1, record 5, French, - Mullaire
Record number: 5, Textual support number: 1 OBS
Construit par analogie à unaire, binaire, ternaire, etc. 1, record 5, French, - Mullaire
Record 5, Spanish
Record 5, Textual support, Spanish
Copyright notice for the TERMIUM Plus® data bank
© Public Services and Procurement Canada, 2026
TERMIUM Plus®, the Government of Canada's terminology and linguistic data bank
A product of the Translation Bureau
Features
GCtranslate (available on the Government of Canada network only)
Use this artificial intelligence prototype to translate Government of Canada content up to and including Protected B. Available to employees of selected departments and agencies only.
Writing tools
The Language Portal’s writing tools have a new look! Easy to consult, they give you access to a wealth of information that will help you write better in English and French.
Glossaries and vocabularies
Access Translation Bureau glossaries and vocabularies.
- Date Modified: