Copyright © 2002 Cycorp
•Why use logic?
•CycL Syntax
•Collections and Individuals (#$isa and #$genls)
•Microtheories
Foundations of Knowledge Representation in Cyc
This section covers two concepts fundamental to the Cyc ontology: collections and individuals.  We’ll also cover two fundamental predicates related to these concepts: #$isa and #$genls.