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

Vocabulary #$Agent Argument Arity #$arity Atomic formula Collection #$Collection CycL CycL Formulas CycL Syntax Expression Function #$Function-Denotational Functions vs. Predicates #$genls Geography (NATs) Nonatomic terms #$Predicate Predicate Relation Term #$TruthFunction Truth maintenance system

Handbook References

Related Lessons Next Tutorial Table of Contents Arity Argument types Collections and Individuals CycL Syntax