Text Elements
An atomic formula or atom is simply a predicate applied to a tuple of terms; that is, an atomic formula is a formula of the form P (t1 ,…, tn) for P a predicate, and the tn terms.
Embedded files
f6863ae40a6885859861a7f6d6b1a66d3370e080: terms (FOL) cacc825c02478d9f10c1d9043722020f91f11ea6: predicates (FOL)