Predicate Calculus - KIF
Knowledge Base - Collection of sentences
Sentence - Expression denoting a statement
Term - Expression denoting an object
Objects always in the conceptualization
- Words
- Complex numbers
- All finite lists of objects
- All sets of objects
- ^ (bottom)