TERMIUM Plus®
The Government of Canada’s terminology and linguistic data bank.
VARIABLE UNIVERSELLE [5 records]
Record 1 - internal organization data 2024-05-09
Record 1, English
Record 1, Subject field(s)
- Artificial Intelligence
Record 1, Main entry term, English
- inference rule
1, record 1, English, inference%20rule
correct
Record 1, Abbreviations, English
Record 1, Synonyms, English
- rule of inference 2, record 1, English, rule%20of%20inference
correct
Record 1, Textual support, English
Record number: 1, Textual support number: 1 DEF
A rule that produces new assertions from old, either by the application of strict logical principles or by more imperfect, plausible methods. 3, record 1, English, - inference%20rule
Record number: 1, Textual support number: 1 CONT
The inference rules include generalization rules. Their application to descriptions is constrained by problem background knowledge. 3, record 1, English, - inference%20rule
Record number: 1, Textual support number: 2 CONT
forward inference rule. 4, record 1, English, - inference%20rule
Record number: 1, Textual support number: 3 CONT
To teach the geography of Africa we would need to change only the entries in our semantic network, the structure of the network and the rules of inference remaining largely unchanged. 5, record 1, English, - inference%20rule
Record 1, French
Record 1, Domaine(s)
- Intelligence artificielle
Record 1, Main entry term, French
- règle d’inférence
1, record 1, French, r%C3%A8gle%20d%26rsquo%3Binf%C3%A9rence
correct
Record 1, Abbreviations, French
Record 1, Synonyms, French
- règle d’inférences 2, record 1, French, r%C3%A8gle%20d%26rsquo%3Binf%C3%A9rences
correct, feminine noun
Record 1, Textual support, French
Record number: 1, Textual support number: 1 DEF
Règle qui permet de créer de nouvelles assertions à partir d’assertions déjà existantes; les deux règles principales sont le modus ponens [...] et la "spécialisation universelle" consistant à remplacer une variable quantifiée par une constante. 2, record 1, French, - r%C3%A8gle%20d%26rsquo%3Binf%C3%A9rence
Record number: 1, Textual support number: 1 CONT
On peut distinguer des stratégies qui sont principalement inductives, déductives, abductives ou analogiques selon la nature des règles d’inférence appliquées. 3, record 1, French, - r%C3%A8gle%20d%26rsquo%3Binf%C3%A9rence
Record 1, Spanish
Record 1, Textual support, Spanish
Record 2 - internal organization data 2004-09-27
Record 2, English
Record 2, Subject field(s)
- Life Insurance
Record 2, Main entry term, English
- variable universal life insurance
1, record 2, English, variable%20universal%20life%20insurance
correct
Record 2, Abbreviations, English
- VUL insurance 2, record 2, English, VUL%20insurance
correct
Record 2, Synonyms, English
Record 2, Textual support, English
Record number: 2, Textual support number: 1 CONT
Variable universal life insurance combines the flexibility of a universal life insurance with the investment account features of a variable life insurance. 3, record 2, English, - variable%20universal%20life%20insurance
Record 2, Key term(s)
- variable universal life-insurance
Record 2, French
Record 2, Domaine(s)
- Assurance sur la vie
Record 2, Main entry term, French
- assurance-vie universelle variable
1, record 2, French, assurance%2Dvie%20universelle%20variable
proposal, feminine noun
Record 2, Abbreviations, French
Record 2, Synonyms, French
Record 2, Textual support, French
Record 2, Spanish
Record 2, Textual support, Spanish
Record 3 - internal organization data 1992-02-12
Record 3, English
Record 3, Subject field(s)
- Tools and Equipment (Textile Industries)
- Textiles: Preparation and Processing
Record 3, Main entry term, English
- pile processing machinery
1, record 3, English, pile%20processing%20machinery
correct
Record 3, Abbreviations, English
Record 3, Synonyms, English
Record 3, Textual support, English
Record 3, French
Record 3, Domaine(s)
- Outillage et équipement (Industries du textile)
- Apprêt et traitements divers (Textiles)
Record 3, Main entry term, French
- matériel de traitement de poil
1, record 3, French, mat%C3%A9riel%20de%20traitement%20de%20poil
correct, masculine noun
Record 3, Abbreviations, French
Record 3, Synonyms, French
Record 3, Textual support, French
Record number: 3, Textual support number: 1 OBS
Tondeuse universelle(...) Programmable, cette machine peut en toute sécurité tondre des hauteurs de fibres de 0, 5 à 60 m/mn suivant une largeur de table de 1 800 à 3 200 mm. Vitesse variable de 4 à 22 m/mn. Machine combinant brossage et tonte(...) Machine à gaufrer(...) Installation de brossage, battage, nettoyage et dépoussiérage sur les deux faces d’un tissu. Construction en trois largeurs de travail : 1 600 mm, 2 000 mm et 2 400 mm. La machine peut être équipée d’une installation d’ionisation. Dispositif de brossage du velours avec dépoussiérage continu. 1, record 3, French, - mat%C3%A9riel%20de%20traitement%20de%20poil
Record 3, Spanish
Record 3, Textual support, Spanish
Record 4 - internal organization data 1989-12-08
Record 4, English
Record 4, Subject field(s)
- Artificial Intelligence
Record 4, Main entry term, English
- predicate calculus
1, record 4, English, predicate%20calculus
correct
Record 4, Abbreviations, English
Record 4, Synonyms, English
Record 4, Textual support, English
Record number: 4, Textual support number: 1 DEF
An extension of propositional calculus. Each elementary unit in predicate calculus is called an object. Statements about objects are called predicates. 2, record 4, English, - predicate%20calculus
Record number: 4, Textual support number: 2 DEF
Branch of symbolic logic that would represent that proposition (=Lilian is the mother of Leslie) by a predicate MOTHER applied to the two individuals: MOTHER (Lillian, Leslie). 3, record 4, English, - predicate%20calculus
Record 4, French
Record 4, Domaine(s)
- Intelligence artificielle
Record 4, Main entry term, French
- calcul des prédicats
1, record 4, French, calcul%20des%20pr%C3%A9dicats
correct, masculine noun
Record 4, Abbreviations, French
Record 4, Synonyms, French
Record 4, Textual support, French
Record number: 4, Textual support number: 1 DEF
(...) une extension du calcul des propositions. Il comporte en plus les notions de prédicats et de symboles de quantification universelle et d’existentialité. Son intérêt principal par rapport au calcul des propositions est l'introduction de la notion de variable. 2, record 4, French, - calcul%20des%20pr%C3%A9dicats
Record number: 4, Textual support number: 1 OBS
Aussi appelé logique prédicative 3, record 4, French, - calcul%20des%20pr%C3%A9dicats
Record 4, Spanish
Record 4, Textual support, Spanish
Record 5 - internal organization data 1987-02-16
Record 5, English
Record 5, Subject field(s)
- Artificial Intelligence
Record 5, Main entry term, English
- universal variable
1, record 5, English, universal%20variable
correct
Record 5, Abbreviations, English
Record 5, Synonyms, English
Record 5, French
Record 5, Domaine(s)
- Intelligence artificielle
Record 5, Main entry term, French
- variable universelle
1, record 5, French, variable%20universelle
correct, feminine noun
Record 5, Abbreviations, French
Record 5, Synonyms, French
Record 5, Textual support, French
Record 5, Spanish
Record 5, Textual support, Spanish
Copyright notice for the TERMIUM Plus® data bank
© Public Services and Procurement Canada, 2025
TERMIUM Plus®, the Government of Canada's terminology and linguistic data bank
A product of the Translation Bureau
Features
Language Portal of Canada
Access a collection of Canadian resources on all aspects of English and French, including quizzes.
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: