SUO-KIF
- related: Sumo KIF-Vampire
- simplified version of original Knowledge Interchange Format
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