Search Results
AI Overview
A ground atomic formula (GAF) in the Cyc knowledge base is a basic CycL statement formatted as a list
(predicate arg1 arg2 ... argn) where all arguments are constant terms with zero free variables. It has no logical connectives or variables.Structure and Rules
- No Variables: Every argument must be a specific, named constant or ground term.
- Predicate-First: The first element in the parenthesis is always a relation or predicate.
Examples in CycL
(isa BillClinton Person)— Asserts that Bill Clinton is an instance of a person.(capitalCity France Paris)— Asserts that Paris is the capital city of France.
If you would like, I can provide:
- More examples of non-ground atomic formulas (with variables)
- How GAFs relate to Cyc assertions and truth values
- Details on CycL syntax rules
![](data:image/svg+xml,<svg xmlns="http://www.w3.org/2000/svg" width="16" height="16"><rect fill-opacity="0"/></svg>)
AI can make mistakes, so double-check responses
Transcribing…
Web results
Ground atomic formula - Cyc
cyc.com
https://cyc.com › archives › glossary › ground-atomic-f...
cyc.com
https://cyc.com › archives › glossary › ground-atomic-f...
A ground atomic formula or GAF (rhymes with “staff”) is a Cyc formula of the form (predicate arg1 [arg2 ...argn]) , where the arguments are all terms of any ...
Atomic formula - Cyc
cyc.com
https://cyc.com › archives › glossary › atomic-formula
cyc.com
https://cyc.com › archives › glossary › atomic-formula
12 Apr 2021 — Atomic formulas use no logical connectives. See also ground atomic formula. In CycL atomic formulas may have variables, constants, or other ...Read more
People also ask
Web results
Ground Atom (First-Order Logic)
lukasl.dev
https://notes.lukasl.dev › Knowledge › Ground-Atom-(...
lukasl.dev
https://notes.lukasl.dev › Knowledge › Ground-Atom-(...
2 Jun 2026 — A ground atom is an atomic formula P(t1 ,...,tn ) where every ti is a ground term. Intuition A ground formula has no variables, so its truth ...
Ground Atom - Jaxon AI
jaxon.ai
https://jaxon.ai › glossary › ground-atom
jaxon.ai
https://jaxon.ai › glossary › ground-atom
In the context of logic, a ground atom is an atomic formula where all of its argument terms are ground terms.
Ground expression
Wikipedia
https://en.wikipedia.org › wiki › Ground_expression
Wikipedia
https://en.wikipedia.org › wiki › Ground_expression
A ground predicate, ground atom or ground literal is an atomic formula all of whose argument terms are ground terms.
Grounding Formulas with Complex Terms
Yale University
https://www.cs.yale.edu › pubs › CanadianAI11
Yale University
https://www.cs.yale.edu › pubs › CanadianAI11
PDF
by A AavaniCited by 10 — Given a finite domain, grounding is the the process of creating a variable- free first-order formula equivalent to a first-order sentence.
12 pages
Atomic Formula - GM-RKB - Gabor Melli
gabormelli.com
https://www.gabormelli.com › RKB › Atomic_Formula
gabormelli.com
https://www.gabormelli.com › RKB › Atomic_Formula
17 Aug 2021 — See also ground atomic formula. In CycL atomic formulas may have variables, constants, or other terms as arguments to the CycL predicate.Read more
Calculi for Basic Atomic Logics
Archive ouverte HAL
https://hal.science › file › AtomicMolecularLogic...
Archive ouverte HAL
https://hal.science › file › AtomicMolecularLogic...
PDF
by G Aucher2024Cited by 4 — Atomic logics are based on Dunn's gaggle theory and generalize modal logic and the Lambek calculus. a formula of a basic atomic logic based on ...
48 pages
Proof Relevant Corecursive Resolution - Lirias - KU Leuven
KU Leuven
https://lirias.kuleuven.be › retrieve
KU Leuven
https://lirias.kuleuven.be › retrieve
PDF
... (atomic formulas) to a set of fresh variables. Anti-unification allows us to extract the common pattern from different ground atomic formulas. Definition 10 ...
People also search for