Copyright © 2002 Cycorp
•
Why use logic?
•
CycL Syntax
•
Collections and Individuals
(#$isa and #$genls)
•
Microtheories
Foundations of Knowledge
Representation in Cyc
This is a continuation of the tutorial in the Foundations of Knowledge Representation in Cyc.
This section covers the Syntax of CycL.
