Other References Abbreviations in Cyc Documentation Index CycL Syntax Document Cyc Vocabulary Glossary KB Browser Reference

Vocabulary Inference Rule Rule-writing exercises Formula Quantification Logical Connective #$LogicalConnective #$implies Atomic Formula Ground Atomic Formula Predicates vs Functions #$Predicate Predicate Function #$Function-Denotational #$and #$or Relation Truth Maintenance Queries as ASK's #$True

Handbook References

Related Lessons Next Tutorial Table of Contents Why Use Logic? Basics of Predicates and Functions Fundamental Expression Types