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

Vocabulary Argument #$arg[N]genl #$arg[N]Isa Arity #$arity Artifact Assertion Binary Predicate Collection #$Collection Collection-denoting functions CycL CycL Formulas #$Function-Denotational Disjoint #$disjointWith Disjunction #$Event Function #$Function-Denotational Functions vs. Predicates Geography #$GroupFn Individual #$individual #$IndividualDenotingFunction Inference (KB) Knowledge Base NARTS (NATs) Nonatomic terms #$Predicate Predicate #$resultGenl #$resultIsa Spec #$TransportViaFn Unary functions Well-formedness

Handbook References

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