Foundations of Knowledge Representation in Cyc
	• Why use logic? • CycL Syntax • Collections and Individuals (#$isa and #$genls) • Microtheories