Go backward to Predicate Constants
Go up to Top
Go forward to Natural Language Atomic Formulas

Syntax of Atomic Formulas

Definition: Atomic Formula

pc(t₀, ..., t_n-1)

where pc is a predicate constant of arity n and t₀, ..., t_n-1 are terms.

Example:

Author: Wolfgang Schreiner
Last Modification: October 6, 1999