TERMIUM Plus®
From: Translation Bureau
On social media
Consult the Government of Canada’s terminology data bank.
EQUATIONAL [17 records]
Record 1 - internal organization data 2026-01-08
Record 1, English
Record 1, Subject field(s)
- Logic (Philosophy)
- Mathematics
- Artificial Intelligence
Record 1, Main entry term, English
- equational logic
1, record 1, English, equational%20logic
correct
Record 1, Abbreviations, English
Record 1, Synonyms, English
Record 1, Textual support, English
Record number: 1, Textual support number: 1 CONT
The concepts that can be expressed by means of equations and the kinds of proofs that may be devised using equations are central concerns of equational logic. 2, record 1, English, - equational%20logic
Record 1, French
Record 1, Domaine(s)
- Logique (Philosophie)
- Mathématiques
- Intelligence artificielle
Record 1, Main entry term, French
- logique équationnelle
1, record 1, French, logique%20%C3%A9quationnelle
correct, feminine noun
Record 1, Abbreviations, French
Record 1, Synonyms, French
Record 1, Textual support, French
Record number: 1, Textual support number: 1 OBS
Dans cette logique, les axiomes sont des équations, et les théorèmes sont déduits des axiomes par une règle d'inférence très simple, appelée le remplacement d'égaux par des égaux. 2, record 1, French, - logique%20%C3%A9quationnelle
Record 1, Spanish
Record 1, Textual support, Spanish
Record 2 - internal organization data 2024-05-09
Record 2, English
Record 2, Subject field(s)
- Artificial Intelligence
Record 2, Main entry term, English
- equational term
1, record 2, English, equational%20term
correct
Record 2, Abbreviations, English
Record 2, Synonyms, English
Record 2, French
Record 2, Domaine(s)
- Intelligence artificielle
Record 2, Main entry term, French
- terme équationnel
1, record 2, French, terme%20%C3%A9quationnel
correct, masculine 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 2024-05-09
Record 3, English
Record 3, Subject field(s)
- Artificial Intelligence
Record 3, Main entry term, English
- equational formalism
1, record 3, English, equational%20formalism
correct
Record 3, Abbreviations, English
Record 3, Synonyms, English
Record 3, French
Record 3, Domaine(s)
- Intelligence artificielle
Record 3, Main entry term, French
- formalisme équationnel
1, record 3, French, formalisme%20%C3%A9quationnel
correct, masculine noun
Record 3, Abbreviations, French
Record 3, Synonyms, French
Record 3, Textual support, French
Record 3, Spanish
Record 3, Textual support, Spanish
Record 4 - internal organization data 2024-05-09
Record 4, English
Record 4, Subject field(s)
- Artificial Intelligence
Record 4, Main entry term, English
- equational approach
1, record 4, English, equational%20approach
correct
Record 4, Abbreviations, English
Record 4, Synonyms, English
Record 4, French
Record 4, Domaine(s)
- Intelligence artificielle
Record 4, Main entry term, French
- approche équationnelle
1, record 4, French, approche%20%C3%A9quationnelle
correct, feminine noun
Record 4, Abbreviations, French
Record 4, Synonyms, French
Record 4, Textual support, French
Record 4, Spanish
Record 4, Textual support, Spanish
Record 5 - internal organization data 2024-05-09
Record 5, English
Record 5, Subject field(s)
- Artificial Intelligence
Record 5, Main entry term, English
- equational specification
1, record 5, English, equational%20specification
correct
Record 5, Abbreviations, English
Record 5, Synonyms, English
Record 5, French
Record 5, Domaine(s)
- Intelligence artificielle
Record 5, Main entry term, French
- spécification équationnelle
1, record 5, French, sp%C3%A9cification%20%C3%A9quationnelle
correct, feminine noun
Record 5, Abbreviations, French
Record 5, Synonyms, French
Record 5, Textual support, French
Record 5, Spanish
Record 5, Textual support, Spanish
Record 6 - internal organization data 2003-04-30
Record 6, English
Record 6, Subject field(s)
- Genetics
Record 6, Main entry term, English
- equational division
1, record 6, English, equational%20division
correct
Record 6, Abbreviations, English
Record 6, Synonyms, English
- homeotypic division 2, record 6, English, homeotypic%20division
correct
- first meiotic division 1, record 6, English, first%20meiotic%20division
correct
Record 6, Textual support, English
Record number: 6, Textual support number: 1 DEF
A nuclear division in which daughter chromosomes separate from each other, as in ordinary somatic cell division. 1, record 6, English, - equational%20division
Record number: 6, Textual support number: 1 OBS
In classical descriptions, based on the number of chromosomes distinguishable with the use of a microscope, a first reductional meiotic division and a second equational one are referred to. On the contrary, in more recent and more current descriptions based on the quantitative analysis of DNA the first division is the so called equational division (2N-2N) and the second division is the so called reductional one (2N-N). 1, record 6, English, - equational%20division
Record 6, French
Record 6, Domaine(s)
- Génétique
Record 6, Main entry term, French
- division équationnelle
1, record 6, French, division%20%C3%A9quationnelle
correct, feminine noun
Record 6, Abbreviations, French
Record 6, Synonyms, French
- division homéotypique 2, record 6, French, division%20hom%C3%A9otypique
correct, feminine noun
- première division méiotique 1, record 6, French, premi%C3%A8re%20division%20m%C3%A9iotique
correct, feminine noun
Record 6, Textual support, French
Record number: 6, Textual support number: 1 DEF
Toute division cellulaire qui conduit à la formation de 2 cellules filles ayant le même nombre de chromosomes que la cellule mère. 1, record 6, French, - division%20%C3%A9quationnelle
Record number: 6, Textual support number: 1 CONT
La deuxième division méiotique dite équationnelle permet à l'oocyte ou spermatocyte de deuxième ordre de répartir ses n chromosomes devenus 2n chromosomes entre ses 2 cellules filles. 1, record 6, French, - division%20%C3%A9quationnelle
Record 6, Spanish
Record 6, Campo(s) temático(s)
- Genética
Record 6, Main entry term, Spanish
- división homeotípica
1, record 6, Spanish, divisi%C3%B3n%20homeot%C3%ADpica
correct, feminine noun
Record 6, Abbreviations, Spanish
Record 6, Synonyms, Spanish
- división celular somática 1, record 6, Spanish, divisi%C3%B3n%20celular%20som%C3%A1tica
correct, feminine noun
Record 6, Textual support, Spanish
Record 7 - internal organization data 2000-05-17
Record 7, English
Record 7, Subject field(s)
- Genetics
Record 7, Main entry term, English
- somatic mitosis
1, record 7, English, somatic%20mitosis
correct
Record 7, Abbreviations, English
Record 7, Synonyms, English
- equational division 2, record 7, English, equational%20division
correct
Record 7, Textual support, English
Record number: 7, Textual support number: 1 DEF
The process by which the daughter nuclei [of a nucleus during mitosis] are identical, quantitatively and qualitatively. 1, record 7, English, - somatic%20mitosis
Record 7, French
Record 7, Domaine(s)
- Génétique
Record 7, Main entry term, French
- mitose somatique
1, record 7, French, mitose%20somatique
correct, feminine noun
Record 7, Abbreviations, French
Record 7, Synonyms, French
- mitose équationnelle 1, record 7, French, mitose%20%C3%A9quationnelle
correct, feminine noun
Record 7, Textual support, French
Record number: 7, Textual support number: 1 DEF
Mitose se produisant dans toutes les cellules de l'organisme, à l'exception des cellules sexuelles, et dans laquelle le nombre des chromosomes des cellules filles est égal à celui de la cellule mère. 2, record 7, French, - mitose%20somatique
Record 7, Spanish
Record 7, Textual support, Spanish
Record 8 - internal organization data 1989-12-05
Record 8, English
Record 8, Subject field(s)
- Artificial Intelligence
Record 8, Main entry term, English
- equational
1, record 8, English, equational
correct
Record 8, Abbreviations, English
Record 8, Synonyms, English
Record 8, Textual support, English
Record 8, French
Record 8, Domaine(s)
- Intelligence artificielle
Record 8, Main entry term, French
- équationnel
1, record 8, French, %C3%A9quationnel
correct
Record 8, Abbreviations, French
Record 8, Synonyms, French
Record 8, Textual support, French
Record number: 8, Textual support number: 1 DEF
Qui s'obtient par remplacement d'égaux. 1, record 8, French, - %C3%A9quationnel
Record 8, Spanish
Record 8, Textual support, Spanish
Record 9 - internal organization data 1989-03-01
Record 9, English
Record 9, Subject field(s)
- Artificial Intelligence
Record 9, Main entry term, English
- equational language
1, record 9, English, equational%20language
correct
Record 9, Abbreviations, English
- EqL 2, record 9, English, EqL
correct
Record 9, Synonyms, English
Record 9, French
Record 9, Domaine(s)
- Intelligence artificielle
Record 9, Main entry term, French
- langage équationnel
1, record 9, French, langage%20%C3%A9quationnel
correct, masculine noun
Record 9, Abbreviations, French
Record 9, Synonyms, French
Record 9, Textual support, French
Record 9, Spanish
Record 9, Textual support, Spanish
Record 10 - internal organization data 1988-01-27
Record 10, English
Record 10, Subject field(s)
- Artificial Intelligence
Record 10, Main entry term, English
- equational theorem-proving
1, record 10, English, equational%20theorem%2Dproving
correct
Record 10, Abbreviations, English
Record 10, Synonyms, English
Record 10, French
Record 10, Domaine(s)
- Intelligence artificielle
Record 10, Main entry term, French
- démonstration de théorèmes équationnels
1, record 10, French, d%C3%A9monstration%20de%20th%C3%A9or%C3%A8mes%20%C3%A9quationnels
correct, feminine noun
Record 10, Abbreviations, French
Record 10, Synonyms, French
Record 10, Textual support, French
Record 10, Spanish
Record 10, Textual support, Spanish
Record 11 - internal organization data 1987-05-04
Record 11, English
Record 11, Subject field(s)
- Artificial Intelligence
Record 11, Main entry term, English
- equational proof
1, record 11, English, equational%20proof
correct
Record 11, Abbreviations, English
Record 11, Synonyms, English
Record 11, French
Record 11, Domaine(s)
- Intelligence artificielle
Record 11, Main entry term, French
- preuve équationnelle
1, record 11, French, preuve%20%C3%A9quationnelle
correct, feminine noun
Record 11, Abbreviations, French
Record 11, Synonyms, French
Record 11, Textual support, French
Record 11, Spanish
Record 11, Textual support, Spanish
Record 12 - internal organization data 1986-10-31
Record 12, English
Record 12, Subject field(s)
- Artificial Intelligence
Record 12, Main entry term, English
- equational rule
1, record 12, English, equational%20rule
proposal
Record 12, Abbreviations, English
Record 12, Synonyms, English
Record 12, French
Record 12, Domaine(s)
- Intelligence artificielle
Record 12, Main entry term, French
- règle équationnelle
1, record 12, French, r%C3%A8gle%20%C3%A9quationnelle
correct, feminine noun
Record 12, Abbreviations, French
Record 12, Synonyms, French
Record 12, Textual support, French
Record 12, Spanish
Record 12, Textual support, Spanish
Record 13 - internal organization data 1986-05-16
Record 13, English
Record 13, Subject field(s)
- Artificial Intelligence
Record 13, Main entry term, English
- equational rewriting
1, record 13, English, equational%20rewriting
proposal
Record 13, Abbreviations, English
Record 13, Synonyms, English
Record 13, French
Record 13, Domaine(s)
- Intelligence artificielle
Record 13, Main entry term, French
- réécriture équationnelle
1, record 13, French, r%C3%A9%C3%A9criture%20%C3%A9quationnelle
correct, feminine noun
Record 13, Abbreviations, French
Record 13, Synonyms, French
Record 13, Textual support, French
Record 13, Spanish
Record 13, Textual support, Spanish
Record 14 - internal organization data 1986-04-14
Record 14, English
Record 14, Subject field(s)
- Artificial Intelligence
Record 14, Main entry term, English
- equational axiom
1, record 14, English, equational%20axiom
proposal
Record 14, Abbreviations, English
Record 14, Synonyms, English
Record 14, French
Record 14, Domaine(s)
- Intelligence artificielle
Record 14, Main entry term, French
- axiome équationnel
1, record 14, French, axiome%20%C3%A9quationnel
correct, masculine noun
Record 14, Abbreviations, French
Record 14, Synonyms, French
Record 14, Textual support, French
Record 14, Spanish
Record 14, Textual support, Spanish
Record 15 - internal organization data 1986-04-14
Record 15, English
Record 15, Subject field(s)
- Artificial Intelligence
Record 15, Main entry term, English
- equational theorem
1, record 15, English, equational%20theorem
proposal
Record 15, Abbreviations, English
Record 15, Synonyms, English
Record 15, Textual support, English
Record 15, French
Record 15, Domaine(s)
- Intelligence artificielle
Record 15, Main entry term, French
- théorème équationnel
1, record 15, French, th%C3%A9or%C3%A8me%20%C3%A9quationnel
correct, masculine noun
Record 15, Abbreviations, French
Record 15, Synonyms, French
Record 15, Textual support, French
Record number: 15, Textual support number: 1 DEF
Un théorème qui peut s'obtenir par des remplacements d'égaux. 1, record 15, French, - th%C3%A9or%C3%A8me%20%C3%A9quationnel
Record 15, Spanish
Record 15, Textual support, Spanish
Record 16 - internal organization data 1986-04-14
Record 16, English
Record 16, Subject field(s)
- Artificial Intelligence
Record 16, Main entry term, English
- equational reasoning
1, record 16, English, equational%20reasoning
proposal
Record 16, Abbreviations, English
Record 16, Synonyms, English
Record 16, French
Record 16, Domaine(s)
- Intelligence artificielle
Record 16, Main entry term, French
- raisonnement équationnel
1, record 16, French, raisonnement%20%C3%A9quationnel
correct, masculine noun
Record 16, Abbreviations, French
Record 16, Synonyms, French
Record 16, Textual support, French
Record 16, Spanish
Record 16, Textual support, Spanish
Record 17 - internal organization data 1986-03-14
Record 17, English
Record 17, Subject field(s)
- Artificial Intelligence
Record 17, Main entry term, English
- equational theory
1, record 17, English, equational%20theory
correct
Record 17, Abbreviations, English
Record 17, Synonyms, English
Record 17, French
Record 17, Domaine(s)
- Intelligence artificielle
Record 17, Main entry term, French
- théorie équationnelle
1, record 17, French, th%C3%A9orie%20%C3%A9quationnelle
correct, feminine noun
Record 17, Abbreviations, French
Record 17, Synonyms, French
Record 17, Textual support, French
Record 17, Spanish
Record 17, 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: