Copyright © 2002 Cycorp
•
Why use logic?
•
CycL Syntax
•
Collections and Individuals
(#$isa and #$genls)
•
Microtheories
Foundations of Knowledge
Representation in Cyc
This section is a continuation of the tutorial on foundations of knowledge representation in Cyc.
Our final topic: microtheories.
