SUO-KIF

Description

  • "=>" for implication
  • "<=>" bi-implication
  • "forall" for universal quantification, i.e., every
  • "exists" for existential quantification, ie. at least one
  • by convention, relations are written with an initial lowercase, and functions, non-relational instances and classes are written with inital caps

Backlinks