by Angie Lopez | Jan 17, 2020
This is a training module on Justification Templates. Introduction and Overview Justification Templates are used as an alternative to proof views, for cases where we know in advance which inference answers will need to be justified and how their justifications should...
by Angie Lopez | Jan 17, 2020
Return to Documentation home. Transitivity and #$TransitiveBinaryPredicate What is transitivity? In abstract formal terms, relation R is transitive if Rab and Rbc entails Rac. More concretely, ancestors is a transitive...
by Angie Lopez | Jan 16, 2020
This reference document explains the notions of an evaluatable predicate and an evaluatable function. More specifically, it covers: The definition of an evaluatable function (#$EvaluatableFunction) and evaluatable predicate (#$EvaluatablePredicate) in...
by Angie Lopez | Jan 15, 2020
This is a training module on using the inference browser. Introduction Some people think of navigating a Cyc inference via the “Examine” tool like reading tea leaves: some folks are really good at it, but in the end it’s more magic than anything else. Despite the...
by Angie Lopez | Jan 15, 2020
This training module covers set and list construction and manipulation in CycL. By the end of this module, you will understand the basic differences between sets and lists in CycL understand the basic vocabulary used to denote sets and lists in CycL be able to...
