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

Vocabulary Argument Assertion CycL CycL Formulas #$Event #$individual Inference (IBTs) Information-bearing things Information (NL) Natural Language Cyc-NL Documentation Ontology (PITs) Propositional content Relation #$Taxonomic Biological Taxonomy #$TemporalThing #$Thing

Handbook References

Related Lessons Previous Next Tutorial Table of Contents Why Cyc uses logic