|Reference: Chapter 13 of Allen|
To outline a representation of the facts conveyed by NL text, based
on first-order predicate calculus, and to describe how quantifiers can
be avoided in this notation by replacing existentially quantified
variables by Skolem constants and Skolem functions, and then
assuming all remaining variables are universally quantified.
knowledge representation language,
- Knowledge Representation Languages
- Representing quantification in a KRL
- Free variables for "forall"
- Skolem constants and Skolem functions for "exists"