Robuta

Sponsor of the Day: Jerkmate
https://cyc.com/archives/glossary/formula/ Formula - Cyc Apr 20, 2021 - In CycL, a formula, represented in the Cyc Knowledge Base by #$CycLFormula, is a type of term that consists of a CycL expression that denotes a relation (e.g.... formula cyc https://cyc.com/archives/glossary/well-formed-formula/ Well-Formed Formula - Cyc Apr 20, 2021 - In CycL, a well-formed formula or WFF (pronounced well formedformula cyc https://cyc.com/archives/glossary/ground-atomic-formula/ Ground atomic formula - Cyc Apr 20, 2021 - A ground atomic formula or GAF (rhymes with formula cycgroundatomic https://cyc.com/archives/glossary/atomic-formula/ Atomic formula - Cyc Jul 11, 2022 - An atomic formula is an expression in CycL of the following form: a list with opening and closing parentheses such that the first element of the list is a CycL... formula cycatomic