TERMIUM Plus®

From: Translation Bureau

On social media

Consult the Government of Canada’s terminology data bank.

PROOF RULE [8 records]

Record 1 2015-08-11

English

Subject field(s)
  • Practice and Procedural Law
  • Law of Evidence
CONT

The Task Force recommends legislative reform of the character evidence rule in criminal cases in the following respects :(1) character of a complainant in a sexual case;(2) putting an accused's character in issue;(3) proof of other offences pursuant to sections 317 and 318 of the Criminal Code; and(4) character of the victim in offences other than sexual offences.

French

Domaine(s)
  • Droit judiciaire
  • Droit de la preuve

Spanish

Save record 1

Record 2 2005-11-08

English

Subject field(s)
  • Software
  • School Equipment
  • Plane Geometry
CONT

The geometry tutor(Anderson, Boyle, & Yoost, 1985) is built on the same basic design as the Lisp tutor. The student's activity in that case is to construct a geometry proof by successively applying geometric theorems, and the tutor compares his steps to a large knowledge base consisting of both correct and incorrect problem-solving rules. The tutor intervenes when the student applies an incorrect rule, i. e., makes illegal or useless moves in the space of possible inferences.

French

Domaine(s)
  • Logiciels
  • Matériel et équipement scolaires
  • Géométrie plane

Spanish

Save record 2

Record 3 2005-10-24

English

Subject field(s)
  • Law of Evidence
  • Special-Language Phraseology
CONT

... an explicit dialogue often has implicit elements. Sometimes these implicit elements are about the allocation of the burden of proof, sometimes about the precise form of a rule used in an argument and sometimes about both.

French

Domaine(s)
  • Droit de la preuve
  • Phraséologie des langues de spécialité
CONT

[ ... ] l'attribution du fardeau de la preuve à l'une ou l'autre partie est un élément essentiel. Ce fardeau n'est pas toujours nécessairement lourd -- il varie en fonction de chaque cas -- et il se peut qu'il n'incombe pas à une partie pour tous les points de l'affaire; il peut passer d'une partie à l'autre. [ ... ] Suivant la règle bien établie en matière civile, ce fardeau incombe au demandeur. Celui qui réclame l'exécution d'une obligation doit la prouver.

Spanish

Save record 3

Record 4 1993-07-09

English

Subject field(s)
  • Statutes and Regulations (Rail Transport)
  • Freight Service (Rail Transport)
DEF

A rule in the Uniform Freight Classification(U. S. A.) containing requirements for construction of fibre barrels, drums, pails or grease proof/water proof tubs.

French

Domaine(s)
  • Législation et réglementation (Transport par rail)
  • Trafic marchandises (Transport par rail)
DEF

Règle de l'«Uniform Freight Classification» (É.-U.) comprenant les prescriptions de fabrication des récipients en carton (tonneaux, fûts et seaux) ainsi que des tubes en carton imperméables à la graisse et à l'eau.

Spanish

Save record 4

Record 5 1993-07-09

English

Subject field(s)
  • Statutes and Regulations (Rail Transport)
  • Freight Service (Rail Transport)
DEF

A rule in the Canadian Freight Classification containing requirements for construction of fibre barrels, drums, pails or grease proof/water proof tubs.

French

Domaine(s)
  • Législation et réglementation (Transport par rail)
  • Trafic marchandises (Transport par rail)
DEF

Règle de la Classification canadienne des marchandises comprenant les prescriptions de fabrication des récipients en carton (tonneaux, fûts et seaux) ainsi que des tubes en carton imperméables à la graisse et à l'eau.

Spanish

Save record 5

Record 6 1989-07-23

English

Subject field(s)
  • Artificial Intelligence
  • Software
  • Mathematics
CONT

The resolution proof method repeatedly selects pairs of clauses which can be resolved and derives new resolvents by the resolution rule until the empty clause is derived.

French

Domaine(s)
  • Intelligence artificielle
  • Logiciels
  • Mathématiques
OBS

Voir preuve par résolution, réputation par résolution.

Spanish

Save record 6

Record 7 1988-04-20

English

Subject field(s)
  • Artificial Intelligence
CONT

the Press System will be implicitly applying a rewrite rule to an expression, the result being the binding of RHS. This constitutes a step in the object-level search. As the meta-level inference continues(top-down) continues, it experiments with different object-level steps(bottom-up) and if successful finds a proof or solution at the object-level. By this technique each object-level decision can be based on an arbitrary amount of inference at the meta-level.

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 7

Record 8 1987-03-05

English

Subject field(s)
  • Law of the Sea
  • War and Peace (International Law)
CONT

Liability to capture. It was Lord Stowell who introduced in prize law the rule that forfeiture of the neutral vessel can only follow upon proof of knowledge by the shipowner of the contraband nature of the cargo. The true test of liability to capture was, in Lord Stowell' s view, the state of mind of the neutral claimant :... The Declaration of London elected to rest the principle of confiscation not on the knowledge of the owner, but on the relative proportion of contraband to the whole cargo. The ship is involved in all cases where she carries contraband goods which either in value, weight, quantity or freight exceed half of the whole cargo...

French

Domaine(s)
  • Droit de la mer
  • Guerre et paix (Droit international)
DEF

Extension du caractère confiscable : a) du navire ennemi aux marchandises neutres qu'il transporte et des marchandises ennemies au navire neutre qui les transporte ainsi qu'aux marchandises neutres transportées par celui-ci, d'après d'anciennes ordonnances françaises (1538, 1543, 1584); b) d'articles de contrebande de guerre aux autres marchandises appartenant au même propriétaire et transportées sur le même navire, d'après une doctrine traditionnelle en matière de prises, consacrée par l'Art. 42 de la Déclaration de Londres du 26 février 1909.

Spanish

Save record 8

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: