Home / Glossary / Atomic formula

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 predicate, and the remaining elements are the arguments to the predicate. Atomic formulas use no logical connectives. See also ground atomic formula. In CycL atomic formulas may have variables, constants, or other terms as arguments to the CycL predicate. The collection of atomic formulas is represented in Cyc as #$CycLAtomicSentence.