Go backward to Syntax of Atomic FormulasGo up to TopGo forward to Semantics of Atomic Formulas |

"Bill Clinton is a better president than his predecessor".

isBetterPresident(Bill Clinton, Predecessor(Bill Clinton))

- Function constants:
- Object constant "Bill Clinton".
- Unary constant "Predecessor".

- Predicate constants:
- Binary constant "isBetterPresident".

Author: Wolfgang Schreiner

Last Modification: October 6, 1999