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

Vocabulary #$and #$argsGenl #$arg[N]genl #$argsIsa #$arg[N]Isa #$arg1Isa Argument Arity #$arity Assertion Collection #$Collection #$comment (Logical) Connectives CycL CycL Formulas #$forAll Denotational functions #$implies Individual #$individual #$LogicalConnective Logical Connective NARTS (NATs) Nonatomic terms #$not #$or #$performedBy #$Predicate Predicate Predicates vs. Functions Types of predicates Quantification #$Quantifier Quantifier Quantity Vocabulary Queries as ASKs Reification There exists #$thereExists #$thereExistsAtLeast #$thereExistsExactly #$TruthFunction Truth maintenance system Variables #$VariableArityRelation Well-formedness

Handbook References

Related Lessons Previous Exercise: CycL Translations Next Tutorial Table of Contents Argument types Arity Collections and Individuals