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