Knowledge Systems Laboratory, Stanford
University
8
KBs, Sentences,
Terms, Words
uKnowledge
Base – Collection of
sentences
uSentence – Expression denoting a
statement
uTerm – Expression denoting an
object
uWords
8Constant
>Word not beginning with “?” or “@”
E.g., Fred, Block-A,
Justice
8Individual
Variable
>Word beginning with “?”
E.g, ?x, ?The-First-Murderer
8Sequence
Variable
>Word beginning with “@”
E.g, @x, @The-Other-Murderers