previous up next
Go backward to Explicit Predicate Definitions
Go up to Top
Go forward to Examples
RISC-Linz logo

Natural Language

A predicate definition in natural language is usually expressed as

x is (called) a P, if ...,
introducing the unary predicate P(x), or
x and y are P, if ...
introducing the binary predicate P(x, y), or
x is a P of y, if ...
which also introduces P(x, y).

Not necessarily formal syntax.

Author: Wolfgang Schreiner
Last Modification: October 14, 1999

previous up next