Go backward to Syntax of Atomic Formulas Go up to Top Go forward to Semantics of Atomic Formulas

Natural Language 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".