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

Vocabulary Assertion Collection #$Collection #$CyclicalIntervalGroupType Dates #$ExistingObjectType #$followingIntervalType Function #$Function-Denotational Functions vs. Predicates #$Event #$ExistingStuffType Expression #$intersectsIntervalType #$Predicate Predicate Predicates vs. Functions Types of predicates Quantification #$Quantifier Quantifier Quantity Vocabulary Relation #$Relationship #$startsAfterStartingOf #$subsumedByIntervalType #$subsumesIntervalType #$TemporallyDisjointIntervalType #$TemporalObjectType #$TemporalStuffType #$TemporalThing Time Representation Time vocabulary Time Exercises #$TimeInterval

Handbook References

Related Lessons Previous Next Tutorial Table of Contents Collections and Individuals Events