Foundations of Knowledge Representation in Cyc

Syntax: Constants

Syntax: Formulas

Syntax: Sentences

Syntax: Non-atomic Terms

Well-formedness: Arity

Well-Formedness: Argument Type

Complex Formulas

Logical Connectives

Variables and Quantifiers (1)

Quantifiers

Quantifiers

Implicit Universal Quantification

Pop Quiz #1

Pop Quiz #1

Pop Quiz #2

Pop Quiz #2

Pop Quiz #3

Pop Quiz #3

Pop Quiz #4

Pop Quiz #4

Denotational Functions

Non-atomic Terms

Why Use NATs?

Reifiable Functions and NARTS

Summary