previous up next
Go backward to Predicate Constants
Go up to Top
Go forward to Natural Language Atomic Formulas
RISC-Linz logo

Syntax of Atomic Formulas

Definition: Atomic Formula

pc(t0, ..., tn-1)
where pc is a predicate constant of arity n and t0, ..., tn-1 are terms.


Author: Wolfgang Schreiner
Last Modification: October 6, 1999

previous up next