Go backward to Predicate ConstantsGo up to TopGo forward to Natural Language Atomic Formulas |

*Definition:* *Atomic Formula*

wherepc(t_{0}, ...,t_{n-1})

*Example:*

- "1 is positive";
- 2 <= sqrt(
`x`+3); - 2 | 5;
- "Thomas is the father of Susanne";
- "Susanne is a child of Thomas and of Birgit".

Author: Wolfgang Schreiner

Last Modification: October 6, 1999