TERMIUM Plus®

The Government of Canada’s terminology and linguistic data bank.

UNARY PREDICATE [1 record]

Record 1 1993-05-20

English

Subject field(s)
  • Artificial Intelligence
CONT

Frames that represents classes in FRL translate into unary predicates in logic.

French

Domaine(s)
  • Intelligence artificielle
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.

Spanish

Save record 1

Copyright notice for the TERMIUM Plus® data bank

© Public Services and Procurement Canada, 2024
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: