•Define Above using transitivity of On
•“There’s a/there’s no
block on A.”
•“All blocks have red
letters.”
•Need for properties,
relationships, and ways to generalize
information compactly
•Practical
applications: mathematical theorem proving,
common-sense reasoning (CYC image database),
circuit/program design/verification
