Overview of Cyc
History
Cyc Knowledge Base Overview
CycL representation language
Details of CycL
More Details of CycL
Final Details of CycL
Important features of the KB
Cyc Inference Engine
Applications of Cyc
Upper Cyc Ontology
Predicate usage in Upper Cyc
Pro's and Con's of Cyc
Bibliography
Author: Tom O'Hara TPO
E-mail: tomohara@cs.nmsu.edu