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.