13.2 A Representation based on FOPC
- The KR language used has much in common with the logical form language.
- The terms of the language include
- constants, like John1,
- function applications, like father(John1), and
- variables, like x and y.
- Note that the logical form language did not use constants - everything was
expressed in terms of discourse variables to keep the representation